PC
Haskellでは再帰的に定義された関数は遅延評価で計算される。 この遅延評価はHaskellの売りの一つであるが、これが時には仇となる。たとえば、優雅な実装例で知られる次のフィボナッチ数の実装は遅く、メモリの消費量も多い。 fib n = fibs !! n fibs = 1:1:…
たまたま図書館で見つけた本でまあまあ面白かった。600ページの大著。 創業期から2005年くらいまでの話が書いてある。インテルはゴードン・ムーアが1968年に設立した会社で、半導体メモリを主力製品としていた。このことを僕は知らなかった。ムーアは半導体…
拡散方程式をHaskellで書いてみた。拡散方程式の陽解法にあるCのプログラムをHaskellに書き直した。diffusion.hs import qualified Data.Vector.Unboxed as D nmax :: Double nmax = 200 dt :: Double dt = 1.0 / 100000.0 dx :: Double dx = 1.0 / nmax a :…
拡散方程式をHaskellで書いてみた。拡散方程式の陽解法にあるCのプログラムをHaskellに書き直した。diffusion.hs nmax :: Double nmax = 20 n :: Integer n = 20000 dt = 1.0 / 10000.0 dx = 1.0 / nmax a = dt / dx / dx -- initial data u_init = [2.0 * (…
アメリカのスパコンの政策 国費の無駄遣いスパコン「京」を再検証する スパコン支援について次の方向性が示されていると言う。コンピュータ・ベンダーによる商用ハードウェアの開発や「産業界の活性化」を目的とした機器購入に対する出資は、HPCCからは直接…
数値計算をmany coreの計算機で行うと、ほとんどの数値計算では、演算器の計算速度に対して、メモリからのデータ転送が追いつかずに計算資源が無駄になる。僕はこの手の問題の解決の一つに、解く方程式系を相対論化するというのがあると思う。相対論の重要な…
メールサーバーの設定を行った。(2014年9月7日再編集)OS Ubuntu 12.04各種設定の意味はこれを参考にすると分かる。 Ubuntu 14.04 : MAILサーバー インストールと設定 : Server World ただし、やり方はなるべく手動の設定が少ない以下のやり方にした。送受信…
日本語が読めない時がある。その時は以下のようにすると良い。Acrobat readerの日本語版のインストール sudo apt-get install adobereader-jpnjpnをインストールすると日本語フォントもインストールされる。これで大体はOK.しかしながら、msgothic.ttcを扱う…
ubuntuのバージョンが上がる度に設定方法が微妙に変わって毎度苦労します。 さて、日本語で使えるようにする方法です。http://www.int.otaru-uc.ac.jp/lyx-howto/install/linuxにあるようにbabelのjapaneseオプションをインストールします。 cd /usr/share/t…
ATIのドライバーのインストール。追加のドライバーで、FGRXグラフィックスドライバーを選択。 (リリースアップデート後は選ばない) 参考 11.10におけるビデオカードの増設 /ete/X11/xorg.conf を Section "Screen" Identifier "Default Screen" Monitor "Con…
VMware-Workstation 8が出たのでアップグレードしてみた。前のバージョンを削除 sudo vmware-installer -u vmware-player新しいのをインストール sudo sh VMware-Workstation-Full-8.0.0-471780.x86_64.bundleVmplayerの動作が機敏になった。 Workstationの…
設定方法のメモlyx2.0のメニューから。 文章→設定→言語→日本語 この時日本語CJKと日本語の両方があるけど、日本語の方を選択。 文章→設定→出力→出力形式→PDF(dvipdfm) として、lyxの目玉をクリックして完了。lyxの目玉のマークをクリックするとdviが作られる…
Lyx 2.0のインストールの仕方 レポジトリがあるのでそれを加えてupdateとupgradeをする。 sudo add-apt-repository ppa:lopeztobal/maths apt-get update && apt-get upgrade 参考 http://linuxmusica.com/lyx-2-0-beta-1-en-ubuntu-maverick/ubuntu標準の1.…
kernelのversionが新しくなった関係でvmplayerが起動しない。参考 url reid.ai: VMware vmmon compilation issues on 64-bit kernel 2.6.35 修正方法は以下の通り cd /tmp tar xvf /usr/lib/vmware/modules/source/vmmon.tar -C /tmp perl -pi -e 's,_range,…
論文を書くのにlyxを使っていた。英語だとsynapticからlyxをインストールすれば何も設定しなくて使えたけど、日本語だと少々設定が必要。 1 jsarticleクラスのインストール apt-get install okumura-clsfiles 2 クラスをデフォルトのarticleからjsarticleに…
C++闇の軍団様より プログラミングの魔導書 〜Programmers' Grimoire〜 Vol.1 「Construct the World, C++」 献本感謝！層圏トポス勉強会の広告を載させてもらった上に本まで送っていただきありがとうございます。この本のタイトルと執筆者のリストを見たと…
注 探索手数の考察が間違ってたので、修正しました。(2010/5/1) コンピュータと女流棋士による戦争が勃発する。 情報処理学会が将棋連盟に挑戦状 米長会長、「いい度胸」と受けて立つ - ITmedia NEWS 情報処理学会の白鳥会長 「漸くにして名人に伍する力あり…
やっぱ、Port Forwardingは必要。昔、Fedora coreを使ってたころはterminalから適当にコマンドを打ってやっていたが、そんなのは面倒。ボタンをポチッとやってPort Forwardしたい。UbuntuでもPuttyは使えた。それとFire FoxのアドオンとしてFoxyproxyを使っ…
いろいろ試した結果。Ubuntu 10.04 α2がよいことが分かった。DVDを見る。引用 Medibuntuのレポジトリを追加。 DVDの再生に必要なlibdvdcss2パッケージ、各種バイナリコーデックを含むパッケージをinstall。手順 リポジトリの追加sudo wget http://www.medibu…
コンピューターを換装した。 前までは CPU AMD64 OS windows2000 Suse Linux で5年くらい使ってた。ほとんどWindows2000を使ってた。 さすがに調子悪くなってきたのと、Win2000対応のソフトがなくなりいよいよyoutubeもみれなくなるので、換装することにした…
５年間使ってたLavie LL900BDが流石に調子悪くなってきたので、ノートパソコンを買った。特にこだわりはなくコストパフォーマンスが良ければ何でも良かった。価格ドットコムで調べるとLenovoのG550がよく売れているらしい。 価格.com - Lenovo G550 2958GCJ …
サークルKCS(慶應義塾電子計算機研究会)が50周年を迎えて、何か大きなイベントをするみたい。http://www.db.ics.keio.ac.jp/kcs-ob/top.htmlKCS(慶應義塾電子計算機研究会)は歴史が古くて、もともとは理工学部が学部生にコンピューターが使える機会を作るた…
CPS変換って何？って聞いたら、まともにコード書く人なら誰でも知っていると言われた。プログラマーではないし、まともでもないので、参考文献を教えてもらった。 http://practical-scheme.net/docs/cont-j.html CPS（継続渡し方式）変換で裏返る理由 - 檜山…
最近、Haskellを勉強してみようかと思うときがある。関数型言語はこれが味噌なんだろう。白石さんを問い詰める会で聞いたことと、ヒヤマセミナースノーグローブとゲーデルとマトリックス - hiroki_fの日記で聞いたことのつながりが見えてきた。 なぜ関数プロ…
金曜日に本郷に行って、その帰りに渋谷に行った。ヤマダ電気があったので、なんとなく寄ってみたら、EeePCが19800円で売ってた。ちょうど、カバンのなかに入れられるパソコンをなんとなくほしいとおもっていたので、購入。amazonで価格を確認すると39800円だ…
学部一年生の頃、コンピュータサークルで大学の学園祭に何を出すかで議論になったことがあった。一年生 O:Lan cableを売ろうぜ。 A:凝ったプログラムを書いて、適正検査みたいのをやろう。などなどの意見があった。 そこに先輩が来て、 先輩:ちょー、学園祭…
たぶんハードウェアがダメな模様。(OSは入れ替えてるし、HDDも定期的に新しくしている)我慢できなくなったら新しくするかも。たぶん、Ubuntuになる予定。Firefoxに見捨てられ、Ituneにはとっくに見捨てられ、Updateのできないソフトが増えたWindows2000はも…
眠い‥*1映画マトリックスは好きな映画の一つだ。 主人公ネオの生きていた世界は実はコンピューターの中だったという話。ネオは飴玉をなめて、コンピューターの外の世界に出ることができた。コンピューターの外部の世界を出ることに成功したネオは、マトリッ…
1月24日 ヒヤマセミナーに行って来た。 return0さんのまとめ：Diary?::2009-01-24 檜山さんの補足: セミナー補足：関数コードの実行エンジン - 檜山正幸のキマイラ飼育記 セミナー補足：報告記事とか後悔とか独り言とか - 檜山正幸のキマイラ飼育記 セミナー…
無駄に１Ｔのハードディスクを買ってしまったので、これを機会に家で使っているパソコンをUbuntuにしようかと思ったけど、マザーボードが逝かれていてダメだった。ということで、新しいハードディスクをNTFSでフォーマットして使うことにした。今使ってるパ…
