最近の検索
検索オプション
型による制約の明示がプログラムを単純にするイメージ、たとえば言語とオートマトンに関する基礎知識などがあると容易に想像できたりするんだけど、結局そういう領域に来たいならナビだけするから移動は自分でやってくれ (つまり勉強してくれ) ということになるわな……
知識の提示くらいならまあまあ簡単にできるが、直観やありがたさの実感みたいなのは受け手の素養が十分育ってないとどうしようもねえんだワ。記号的な理解で納得できないならもっと基礎を勉強してくれとしか
型による制約の明示がプログラムを単純にするイメージ、たとえば言語とオートマトンに関する基礎知識などがあると容易に想像できたりするんだけど、結局そういう領域に来たいならナビだけするから移動は自分でやってくれ (つまり勉強してくれ) ということになるわな……
知識の提示くらいならまあまあ簡単にできるが、直観やありがたさの実感みたいなのは受け手の素養が十分育ってないとどうしようもねえんだワ。記号的な理解で納得できないならもっと基礎を勉強してくれとしか