https://twitter.com/kinaba のログ (twilog の方が便利です。)
| LOIS https://t.co/Ud9HgMWDEw 論文読んだり遊んだりしてた。面白い。C++のライブラリとして実装されてるんだけど、無限集合を定義して普通にその上の全要素をforループで回るようなコードが書けて、だけど、その無限の実行を有限時間で終わらせて帰ってくる。 | |
| @kinaba （※"普通"と書いたけどifとwhileはIfとWhileというマクロで書かなきゃいけなかったりで完全に普通ではないが、まあだいたい。） | |
| 実装としては、無限の実行を全部し終わったとしたらどうなるか、というのをちゃんと意味論定義して定めておいて、計算結果は内部で意味論に従った論理式で表現して持って、必要なところでSMTソルバ等にぶん投げて解く（ことで有限で終わらせる。） | |
| たしかに今や2016年なのだし今時のプログラミング言語は無限回ループするコードくらい平然と有限時間で計算し終わって欲しい、というのが当たり前であって、そんな心をすっかり忘れていた。思い出せてよかった | |
| 来年のPOPLの論文 https://t.co/Lfie7QOI2i 自分にとって面白いかそうでもないか、ある程度読まないとわからんな、っていう論文が多いので久々にエアPOPLでも開催して全部読んだら楽しそうかもしれん | |
| エア○○○○（○○○○には研究会議名が入る）とは、その会議が開催される日になったら、採択された各論文が発表されてるはずのタイミングに合わせて猛然と論文を読みそしてエア実況する暇つぶしである。 | |
| @nabesan_go 停止しないプログラムは決して書かないという方向でいきましょう |