桜武

@skrtk98

99Contributions
53
Posts1
Followees1
Followers

設計・AI活用・個人開発について書いているSIer出身のITエンジニアです。 リーダー、ITコンサル、フロントエンドからバックエンドまでの開発、詳細設計・実装・テスト・運用保守を経験。 Python / C# / Rust / TypeScript / Lean に関心があります。 数学科大学院修士卒。高次圏論・豊穣圏論を研究していました。

Site/Bloghttps://sites.google.com/view/skrtk98

Following Organizations(3)See all

microsoftqiita-incibm

Contributions

stock list is Liked

Pythonで一階述語論理をたどる

article is Stocked

一階述語論理の意味論をPythonの構文木から考える：モデルと証明論の接続

article is Stocked

一階述語論理の定理をPythonで追う：モーダスポネンスと背理法

article is Stocked

一階述語論理の証明列をPythonで検査する：公理と推論規則の実装

article is Stocked

一階述語論理の論理公理とΣ-公理系をPythonで表す

posted an article

一階述語論理の意味論をPythonの構文木から考える：モデルと証明論の接続

posted an article

一階述語論理の定理をPythonで追う：モーダスポネンスと背理法

posted an article

一階述語論理の証明列をPythonで検査する：公理と推論規則の実装

posted an article

一階述語論理の論理公理とΣ-公理系をPythonで表す

article is Stocked

一階述語論理の代入をPythonで実装する：全称閉包と変数捕獲を避ける置換