望月講演: "The skeletal Lean code that we wrote for
this portion of IUT constituted a remarkably successful
case of the use of Lean as a communication tool"
3.11.5⇒3.12の"skeletal Lean code"を実際に書きました
量にして70行ありますがまだ他人に見せられる段階にありません