英会話レッスンではアニメ、音楽や漫画の話をしたり住んでいる市の話をしたりなどしている。 Why do you like math? といったことを結構聞かれるのでBecause math needs only pens, paper and our brains. などと答えている。好きな数学者は誰であるかの質問…

この半月は研究はあまり進まず。しかしオンライン英会話レッスンを始めたり、絵を描くのを始めたりした。 1月17日。ソフトウェア基礎論特論のレポートのためにプログラムを組んだ。LTLのモデル検査をするためのオートマトンを作ってそれをGraphvizで出力する…