いずれ消滅する太陽系からの人間の知性脱出。萩谷 昌己教授 Masami Hagiya 専門は理論計算機科学。京都大学時代にKyoto Common Lispを開発。現在は、分子コンピューティング(さらに分子ロボティクス)の研究も進めている。

hamamuratakuohamamuratakuo のブックマーク 2021/07/06 11:16

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

東大 理学部情報科学科/大学院情報理工学系研究科|情報科学科NAVIgation

    コンピュータの基礎原理を考えたチューリング、「嘘つきのパラドックス」でおなじみの論理学をプログラムの検証に使う話、いずれ消滅する太陽系からの人間の知性脱出。ふらりと部屋を訪れた理論計算機科学の専門...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう