（この記事はDvorak Advent Calendarの一環として書かれました） いきなりですが、僕はキーボードをこんな配列で使っています。 そう、kinesisです。101キーボードに焼き直すとこんな感じだと思います。 RAKDAO配列 という名前をつけています。まあ自分専用…

Haskell Advent Calendarに拙文を書いたことで、いけがみさん, やまもとさんなどから教えてもらったので、ghcのwarningについて調べてみました。まず、warningの一覧はghcのドキュメントの中にあって、和訳も整備されています。フラグ早見表というのもありま…

Chapter 1. Motivations あれは、今から86万4000秒前の出来事だったか・・・ xxxx様 新規利用申請を承認しました。 アカウント名は 10IKA101 です。(つд⊂)ｺﾞｼｺﾞｼ→（；ﾟ Дﾟ） …！？ 10IKA101神は言っている・・・ Functional Ikamusume Advent Calendarに参加…

研究者は大変です。世界で戦っていくにはぜひとも毎日 今日出た論文のチェック 英語 この２つののトレーニングが欠かせません、これ結構時間くってしまいますよね・・・そこで、この2つが同時に、しかもながら勉強でできてしまうという超画期的なライフハッ…

(この記事はHaskell Advent Calendar jp 2010のために書かれました) 要旨 絶対にバグが出ない言語などというものは 無く、理不尽な挙動を前にして 途方にくれる時もある。 それを乗り越える為には、確固 たる信念と洞察、そして (1)deriving Show (2)print (…

C++や、それ風の言語で書いていると徒労感に襲われる時ってありませんか。マクロはほとんど使用禁止みたいなもんだし、そもそも文字列を繋ぐ程度の能力しかありません。テンプレートはコンテナとか作ってるぶんにはいいのですが、少々凝ったことをしだすと関…

やけくそにでかい実数を適当な精度で扱えるライブラリを作ってみた。 きっかけは小数小野小町算のツイート。うん、屁理屈なんだ、すまない。 でもどんくらいでっかい数がでてくるものか、興味があったんだ。バグとかあったら教えてください。 追記：案の定バ…

はやぶさの地球帰還の興奮さめやらぬ昨今ですがいかがお過ごしでしょうか。６月１３日はオンラインで各種生中継が行われ翌日の朝刊はどこも１面記事ではやぶさの帰還を報じていました。生中継は大興奮でしたし、テレビや新聞の高解像度で転送された動画・写…

ってあります？ Haskellでテスト駆動開発とかどうやるんだろ。C++でいうgoogletestみたいなのってあるのかな。思いついて、darcsのレポジトリを覗いてみたが・・・http://allmydata.org/trac/darcs-2/browser/testsシェルスクリプトがいっぱいある。テスト自…

Haskellで、同じ型クラスだけど違う型のオブジェクトを、一つのリストとかにツッコんでその型クラスの関数に関してはmapとかできるようにしたいというのは、よくある願いだと思う。ていうかMonadiusつくった時にはそうする方法を知らんかったので仕方なく型…

c++の標準ライブラリって、結構考えて作ってあるから、もし理由があるなら知りたいんですが。 ファイル名などの文字列を扱うには、char*よりstringの方が便利ですから、 ifstreamにファイル名指定する時にも、stringが直接渡せればいいと思うのですけれども。…

看板をかけたらしい http://www.nagasaki-u.ac.jp/info/p_release/2010/20100507a.pdfニュースになっている http://www.nagasaki-np.co.jp/kiji/20100511/09.shtmlそしてマキーノ先生がフォローしている http://www.artcompsci.org/~makino/journal/journal-…

http://www.kyoto-u.ac.jp/ja/news_data/h/h1/news5/2010/100423_2.htm５月中旬から京都・仙台・東京・名古屋・福岡などで説明会があります。 興味のある方、俺は５年間じっくり難題に取り組みたい（が社会がそれを許してはくれない）んだーという方は、ぜひ…

プレイナーヘキサキューブとは、６つの立方体を平面上で繋ぎ合わせてできる立体のこと。別の言い方をすると厚みが１のヘクソミノ。全部で３５通りある。ジャグラー小田原の箱詰めパズル天国というサイトの記事で、美しい立体問題や、あまつさえ未解決問題が…

いま、こういう問題にぶつかっている。1マスが1cmの方眼紙があったとして、そのマスをいくつか塗って作られた図形があるとする。で、それを幅1cmのテープで重複無く、すきまなく覆いたいとする。テープは１ロールあって、長さは十分、で、1cmの倍数のところ…

ですのでこういう研究をしようと思います研究計画書 pdf研究計画書 english pdf内定式トーク pdf上述のように、この研究がうまくいくと、将来的には、シミュレーションコードを直接人間が書くのはださいということになり、シミュレートしたい方程式をもとに…

みんなの研究計画がとても野心的なので紹介したいのだが、研究計画発表会で使ったスライドとかはまだうpされてないっぽい。もしかしたら、特許等からみで公開するとまずい研究をしている人もいるかもね。 そこでそういう事情に配慮して正確なところがわから…

脳特集以外のトピックが赤外線天文学と系外惑星のハビタブルゾーンと地球磁気圏（オーロラ）とかだったので俺得、いやむしろ全俺が泣いた 脳特集ですが、チャネルロドプシンとかいうのを遺伝子工学により神経細胞に追加すると、ふつうの光で、高い空間分解能…

これに行ってきました http://www2.yukawa.kyoto-u.ac.jp/~gcoesymp/2009/index.ja.htmlいろいろあったのですが、端的に言うと物理はフロンティアが狭まりつつある・・・そんな風に考えていた時期が私にもありました、という感想。フロンティアはじつは前進…

http://www.kyoto-u.ac.jp/ja/news_data/h/h1/news7/2009/100127_2.htm改めまして。来年度より助教として研究にいそしみます。皆様これからも、いろいろ教えてください。よろしくお願いします！

そろそろ僕の年の近い友達が２７歳になるころなので言っておきます 子供のころ、このことに気づいたんですが何故かずっと忘れていて今思い出しました ２７歳というのは人生の中でほぼたった一度の重要な機会が訪れる年です 重要と言うのは人類文化的にみてと…

理論懇親会というのは理論天文学／宇宙物理学者のあつまりで年一度集会がある。 今年のテーマは２０１０年代の理論天文学ということで、次の１０年で可能にしようとしているいろんな観測の計画のことが聞けた。宇宙ヤバイということで、やっぱり地球より宇宙…

１年くらい日記を更新していなかったが、これではいかんと常々思っていましたので再開。Preferred Infrastructure社の社内セミナーで上記のタイトルで発表してきました。 セミナーサイト http://preferred.jp/internal_seminar.html ネット中継録画 http://w…

e-Mobileを買ったもののUSBケーブルでつなぐのがめんどくさいという怠惰な理由から電車の中では使ってないのであった。むしろゼミ中に疑問点をしらべたりWikiにまとめたりといった行動が自由にできるようになったのが大きい。 電車の中では本や論文などいく…

イー・モバイルのブロードバンドケータイを買った。これで地上にいる間たいていネットにつながる。これまでメールを読むのも時間がもったいなくましてや日記をや、という感覚だったが通学中にこれらが済ませられれば便利かもしれない。

http://exth.net/~ohshima/wordpress/2007/10/31/11/

http://www.uchida.ac/centos/5/hosoku/system/text_login/index.html

にあたって参考にしたもの

ドルが安かったので買いました。公式サイトに載ってない情報で判明したことがいくつかあるんで買うかどうか迷ってる人は参考にしてください。 送料は60ドル程度 Qwerty/Dvorak切り替えはマップ領域が2つあるわけじゃなくて、切り替え時に大々的にリマップを…

Haskell Hackathon 2008に参加してきました。結果的に12時間+αで、Template Instantiationが実装できて、関数型言語がどう動いているのかの理解の着実な第一歩を進められたので大満足です。企画＆参加の皆様ありがとうございました！Haskellがどう動いている…