たぶん、ほとんど知られていませんが、私は昔、各種OSにおける時差の扱いについて調べるチームを結成したことがあります。そのチームは、誤ったデータを修正したり欠けたデータを追加したりの貢献をして、目的を達成して解散したのですが、実用的には問題な…

SLACS 2010 - 記号論理と情報科学研究集会で発表してきました。専門分野から離れた、ほのぼのとした研究です。SLACSのSLとは関係ないし、CSとの関係は数式処理システムを駆使したことだけですが、そこそこ楽しんでもらえた様子です。SLACSの、そういう発表が…