最近、Haskellを勉強してみようかと思うときがある。関数型言語はこれが味噌なんだろう。白石さんを問い詰める会で聞いたことと、ヒヤマセミナースノーグローブとゲーデルとマトリックス - hiroki_fの日記で聞いたことのつながりが見えてきた。 なぜ関数プロ…

Workshop on Quantum Foundations for Young Researchers - From Mathematical Physics to Experimental Physics - に行ってきた。面白かった。人が集まる場所で議論をすると理解が早く進む。ボブクックのkindergaden quantum mechanicsの論文を知っている人…