この記事のポイント ・圏論（Category Theory）は「対象同士の関係」を中心に揮える現代数学の言語 ・集合・群・位相・DB・関数型プログラミングを統一フレームワークで記述できる ・論理と圏論の「カリー・Howard対応」はコンピュータ科学の基盤 ・最低限の用語（対象・法・関手・モノイド）を表で整理 圏論とは …
2020年6月17日
個別講義や集団講義、また法人・団体向けの研修を行うスペース紹介です。遠人に在住の方や自宅で講義を受けたい方はオンライン講座をご用意しております。よくある質問はこちら
気軽にお問い合わせいただけます。
月曜定休日 13:00 ~ 21:00
フォームに記載の上お問い合わせください。
