形式手法をきっかけに、純粋数学の勉強を続けています。 位相空間とか、ルベーグ積分とか。とかとか。「数学を勉強していっても、関数型プログラミングには関係ないよ。」 「形式手法と純粋数学が直接結びつくわけじゃない。」 「プログラミングに応用されて…

研修のコースウェア、テキストは重要です。それはわかります。 だけど辞典のように完璧に作ろうとすると、結局受講者のためにはならないよね。 最終的に信頼できるのは一次情報でしょう。規格、原典、バイブル。それを読めるようにサポートするのが研修コン…

みなさんのまわりの「信頼できる」エンジニアは、コンピュータをどう操作してますか? 新人研修を終えたあと、「新人が使えない」と言われる原因の一つに、研修を終えた後もPCの操作は素人と同じ、というのがあるんじゃないだろうか。全部マウスでいちいち操…