MLの課題を。確かにコンパイルが通れば、ほぼ故障なく動いてくれる。こんなことは初めてかも。

数理論理学と同様、こちらも雲行きが怪しくなる。いわゆる証明のお話でかなり抽象度が高い。 抽象度が高いというのは、様々な場合を考えてそれをある形に置き換え、お話をするため、その置き換えが頭の中で瞬時にできないと戸惑ってしまう。とても簡単なお話…

前回のシステムソフトウエア特論の授業で、プログラム課題と次回のクイズ予告があり、俄然忙しくなる。というか、いままでが他のM1に較べて適当すぎたか。