import qualified Data.Map as Map class MyFunctor f where myFmap :: (a -> b) -> f a -> f b instance (Ord k) => MyFunctor (Map.Map k) where myFmap f = Map.fromList.map (\(k, v) -> (k, f v)).Map.toList

SystemC Japan 2014が近くなってきましたね。僕は家のPCにSystemCをインストールして、はじめてカウンターをつくってみたよ。ディレクトリ構成はこんなかんじ。 ./Makefile ./src/counter.h ./src/counter.cpp ./testbench/tb.h ./testbench/tb.cpp ./testbe…

GHC7.6.3とHaskell Platformをソースからビルドしてインストールしてみた。 いくつかひっかかったところがある。 GHC7.6.3のビルドでlibgmp.so.3が無いといわれたり、Haskell Platformのビルドで、ファイルが無いといわれたりした。 インストールする前に以…

エルミート演算子の固有ベクトルは、縮退しているものも含めて、完全系をなす。任意のが以下のように展開できる。 完全系をなすとは、以下が成り立つことである。 [tex:\sum_{a}\sum_{l=1}^{m_{a}}|a, l>=\sum_{l=1}^{m_{a}}] ここで [tex:Tr\hat{P}(a)|\psi…

守倉正博編著「OHM大学テキスト 通信方式」で勉強している。今日の勉強のまとめを書いてみる。 周期の複素信号は以下のフーリエ級数で表せる。 ここでは偶数次の信号と奇数次の信号の和で書ける。 , はそれぞれ以下の性質をもつ。 これらの式より、以下が成…

僕が「Perlって楽しいな」と感じたのは、再帰的にファイルを置換するスクリプトを書いたときだった。 こんなかんじに、実行する。 ソースは以下。 use strict; use warnings; use File::Find; my $top_dir; my $previous; my $next; if(@ARGV != 3){ die "Us…

import Data.Array -- MatrixとVectorの定義 type Matrix a = Array (Int, Int) a type Vector a = Array Int a -- リストからMatrixをつくる makeMatrix :: [[a]] -> Matrix a makeMatrix xs = listArray ((1, 1), (m, n)) $ concat xs where m = length xs…

import Data.Array type Matrix a = Array (Int, Int) a makeMatrix :: [[a]] -> Matrix a makeMatrix xs = listArray ((1, 1), (m, n)) $ concat xs where m = length xs n = length $ head xs swapRows :: Int -> Int -> Matrix a -> Matrix a swapRows i …

以下は導入手順です。 - 1.Google USB DriverをPCにダウンロード&インストール(http://developer.android.com/sdk/win-usb.html) 2.nexusのUSBデバッグをON ->nexusの「設定」->「タブレット情報」に「ビルド番号」という項目がある 「ビルド番号」を7回タッ…

import Numeric -- 1未満の小数を2進数で表す shosuToBin :: Float -> [Int] shosuToBin n = shosuToBin' (n * 10^(keta n)) (keta n) shosuToBin' :: Float -> Int -> [Int] shosuToBin' n i | n == 0 = [] | n*2 >= 10^i = 1:shosuToBin' (n*2 - 10^i) i |…

先ほど、即席焼きそばを食べ終え、今、コーヒーを飲みながら、youtubeでglen gouldのゴールドベルクをかけながらこれを書いている。耳には、昨日購入した、sonyの白いヘッドホンから良質なbachが流れ、私のこころは、17世紀ヨーロッパ、バッハ、ニュートン、…

これの元のやつがほしい。