講義

• ソフトウェア科学特論
  • Knuth先生の『TAOCP 7.2.2.2 Satisfiability』を読む
• Tamlab勉強内容
• Coprisによる制約プログラミング入門

• Maple
  • Maple入門
• Mathematica
  • Mathematica入門
• Prolog
  • Prologプログラミング入門
• 数理論理学特論 (2019)
• 言語工学 (2019)
• プログラミング言語論及び演習
  • Project Eulerに挑戦
  • Javaプログラミング入門
  • Lispプログラミング入門
  • Scalaプログラミング入門
  • リスト処理の例: 多項式計算
• Scalaと命題論理