@iHdkz

201Contributions

47
Posts 1
Followees 12
Followers

Following Organizations

No Organizations you are following

Following tags(12)See all

tmux Gentoo lean 不完全性定理構造化 ChatGPT JavaScript VBA Python オブジェクト指向 Haskell Scheme

Contributions

article is Liked

普遍代数・Lawvere理論の用語調べ（その１）

article is Stocked

【翻訳】Lean定理証明機（システム記述）

article is Stocked

P.Aczelの構成的ツェルメロ＝フレンケル集合論（CZF）

article is Liked

P.Aczelの構成的ツェルメロ＝フレンケル集合論（CZF）

article is Liked

【翻訳】計算機科学における圏論利用のためのマニフェスト（カテゴリカル・マニフェスト）

article is Liked

定理証明支援系の証明ができる原理とは？

posted an article

Geminiを用いた構成的型理論の勉強（その１）

article is Liked

構造化プログラミングとは、だいたい段階的詳細化法のことだ。

article is Stocked

構造化プログラミングとは、だいたい段階的詳細化法のことだ。

article is Liked

【翻訳】ツェルメロの選択公理の100年：何が問題だったのか？