最近札幌で勉強会が多発しています。 札幌でIT革命が・・・！！ 9/27 CLR/Hコミュニティローンチ もう終わっちゃったけどね。 CLR/Hで開催しました。2月に続いて今年2回目。 Microsoftのジニアス平井氏、グレープシティの八巻氏、CLR/Hのナオキさんが登壇。 …

長いブランクがありましたが（汗）、最近数理論理学の勉強を再開。（少しずつしかやってないけど・・・） これまで読んでいた本は命題論理しか扱ってなかったのですが、今読んでる本は述語論理と集合論も取り扱ってるので初対面の彼らにやや苦戦中。理解力の…

http://d.hatena.ne.jp/uskz/20080918/p2 久しぶりにHaskellのqsortを見た。 最初は http://d.hatena.ne.jp/Nobuhisa/20070826/1188075244#c1188200644 で同じく梶本さんに教えていただいたり。（もう1年も経つのか・・・！） 当時は全く意味不明の文字列に…

AppDomain.UnloadによるスレッドのAbortと、抹殺されるスレッドの最後の抵抗（finally）によってCannotUnloadAppDomainExceptionが発生するまで。 親アプリケーション public void Test1() { string childPath = "(子アプリのパス)"; AppDomain domain = App…

XML宣言がXDocument（XElement）のsaveメソッドを読んだときにしか追加されない（オブジェクト自体に追加されるわけではなく、保存されたファイルに追加される）ので、結局StringBuilderでXMLを書いています。XDocumentの方から宣言を設定もしくは取得するプ…

論理包含 同値 論理積 論理和 否定 全称 存在 ゲンツェン ⊃ ⊃⊂ & ∨ ¬ ∀x ∃x ラッセル ⊃ ≡ ・ ∨ 〜 (x) (∃x) ヒルベルト → 〜 & v ￣ (x) (Ex) ライプニッツ 不明 不明 ・ + 不明 Πx Σx

F#とPHP(Phalanger)のVS2008 Shellを使った開発環境。 Microsoft Download Center: Windows, Office, Xbox & More http://www.php-compiler.net/doku.php?id=core%3aphp-in-vs2008 最近PC触ってなかったのでさっき.NET3.5とVS2008のSP1を適用しました。時間…

未知のぬるぽが発生する前に、変数にnullが代入された時点で検出する。 というのをふと思いついたので書いてみたけど、使えるかな・・・（あまり利用場面が思い浮かばない）。 何か頭が働かないので（眠いだけ？）、余分なコードが含まれているかもしれませ…

影山龍一郎らは、成体になってから生じたすべての神経細胞が蛍光タンパク質を合成するようマウスを遺伝子改変し、1年以上にわたって蛍光を放つ神経細胞の数を記録し、この問題に取り組んだ。この間、嗅球（嗅覚に重要）の一定の層にあるほぼすべての神経細胞…