2010年10月12日のツイート
@kururu_goedel: @igaris 官僚が書いているんでしょう。
2010-10-12 23:06:28 via Seesmic Desktop to @igaris
@kururu_goedel: @kinaba いつもすみません。目を通してみます。
2010-10-12 22:12:39 via Seesmic Desktop to @kinaba
@kururu_goedel: @kinaba なるほど。ありがとうございます。どこかでアブストラクトかスライドか手に入りますかね?こういう知っていることを違う角度からみているものはとてもためになるので。
2010-10-12 21:55:54 via Seesmic Desktop to @kinaba
@kururu_goedel: @kinaba 無限ゲームの決定性が量化子の列の拡張とかすげー集合論なんですが。 URL
@kururu_goedel: あー、やっぱりそうなんですね。ありがとうございます。QT @metaphusika: 結構その筋では有名な人ですよ。学位論文も本になったし。
@kururu_goedel: McCarthy 91 functionできた。全然ゴルフになってないけど。
@kururu_goedel: 形式手法をウリウリするとき用に。なんかIntelで形式的検証をやっている人らしい> URL
@kururu_goedel: ディスグラフィアかぁ
@kururu_goedel: おとこふぃーばー、おんなふぃーばー