ログイン
会員登録
論計舎代表blog
13
本
論計舎代表かわいのblogという位置付けである予定です。業務や日常生活の中で思ったこと・感じたことを記していく所属ですので、お代はいりませんがお捻りは歓迎でございます。とは言い条…
もっと読む
フォローする
運営しているクリエイター
かわい しん@論計舎
記事
月別
ハッシュタグ
フォローしませんか?
フォローする
シェア
引用して記事を書く
#自然演繹
「自然演繹100本ノック」をシークエント計算で解こう
自然演繹100本ノックという教材を公開しています。論計舎 web shopより無料にてDLいただけます…
かわい しん@論計舎
11か月前
6