マガジンのカバー画像

論計舎代表blog

13
論計舎代表かわいのblogという位置付けである予定です。業務や日常生活の中で思ったこと・感じたことを記していく所属ですので、お代はいりませんがお捻りは歓迎でございます。とは言い条… もっと読む
運営しているクリエイター

#シークエント計算

「自然演繹100本ノック」をシークエント計算で解こう

自然演繹100本ノックという教材を公開しています。論計舎 web shopより無料にてDLいただけます…