「1+1ができない子と線形論理」で、リソースに敏感な態度を紹介したのですけど、リソースに敏感になるためには、リソースの勘定ができないといけません。ごく普通の計算式のなかに、どのくらい計算リソースが含まれているか勘定する練習をしてみましょう。こ…

「ロープの結び方、10の基本技」 -- たったの10じゃもの足りない人は： http://katlas.math.toronto.edu/wiki/The_Rolfsen_Knot_Table_Mosaic