2013-08-01から1ヶ月間の記事一覧

型理論と型システムは違うらしい

来月末に修論の中間発表というのがあって、ボチボチそれの準備をしている。 だいたい論文でも口頭発表でも最初に「背景」みたいな項目があって、自分のやっている研究というのがどのように重要か、もっと大きな視点から見たときにどのようなポジションに位置…

英語はきちんと読む

これも今日気づいたが、英語の論文の英語を適当にピャーッと読み飛ばしていると結局理解できていない。日常的なリーディングではそういう読み方が正しいときもあるのだが、論文はどちらかというと一言一句きちんと読んで、自分で説明できるぐらい理解しない…

科学する態度

どうも自分は(少なくともここ10年ぐらいは)「何となくわかったような気持ちになってはいそれでおしまい」とすることが得意で、そのせいで非常に軽薄な議論しかできない身体になってしまっていたようである*1。いまこうやって大学院に舞い戻って情報科学を…