id:yojik

投稿一覧(最新100件)

症例報告を超えて歴史を紐解いていくスタイル > “尿道カテーテルの歴史について調べてみると,金属製のものや自験例のようなねぎなどが用いられていた時代もあった”
Qcon基調講演で出てた「ロボットが東大に入れるかプロジェクト」の一部(数学部門)。自然言語の問題文を仕様記述言語→一階述語論理形式と変換していって最後ソルバーで解くという超絶技術だった。想像つかん…
“他研究室の学生に、当研究室の装置を壊されるという、予期せぬ事態に直面し、当初計画よりも遅れている状況”