Zennta

ログイン会員登録

検索後で読むお気に入りお気に入りグループ

履歴

履歴がありません

Qiita一覧

Zenn一覧

お問い合わせフォーム利用規約プライバシーポリシー

記事がありません

1
2

数学的真理は証明できるのか？: 一階述語論理の完全性の重要さ

数理論理学

数学基礎論

完全性定理

Inductive型における帰納原理とは何か？

ペアノの公理

自然数を定義するペアノの公理から再帰関数が定義できることを証明する

ペアノの公理

再帰呼び出し

リストのconsの型をA -> list A -> list AではなくA -> list (list A) -> list Aにした型をHaskellとCoq/SSReflectで定義したい

自然数の交換法則の証明

半環による掛け算の定義 in Maude

掛け算の順序

電源が付かない・BIOSが起動しないPC（AT互換）の修理

SNatで書く型レベル自然数(base-4.18.0.0)

プログラミングを覚えたいという方へ

プログラミング入門

未経験エンジニア

プログラミング学習

プログラミング初心者

1＋1＝2を証明する

ゲーデルの不完全性定理の形式証明を読む

チューリング完全ってなんなのさ

計算機科学

チューリングマシン

チューリング完全

TypeScriptで型レベル演算

型レベルプログラミング

【計算と哲学】計算機が数学より先だったら (SF風)

計算と哲学

Coqで累積的帰納法/course of values induction

チャーチ数でビット単位 XOR してみよう

ラムダ計算

関数型プログラミング

ビット演算

数体系の特徴

「ビット演算」の集合論的な定義を考える

ビット演算

関数だけを使って自然数（チャーチ数）が定義できる

ラムダ計算

自然数ジェネレータ

アルゴリズム

ジェネレータ

Coq上で論理学を展開するとは？

データ構造で切り取る世界

データ構造とアルゴリズム

自然数を作る in 日本語プログラミング言語「プロデル」

『Software Foundations vol.1』レビュー

関数型プログラミング

ペアノの公理の後者をうっかり２つに増やすと実数になっちゃう説

不完全性定理を勉強したら数学の景色が変わった

「ならば」と数学

直観主義論理を理解した（してない）

C++のコンパイル時に型を使った自然数で1+1==2を確かめる

テンプレートメタプログラミング

ペアノの公理

「ゲーテル・不完全性定理」吉永良正　ブルーバックス　が　不完全燃焼（自分）。参考文献一覧を作成中

不完全性定理

名古屋のIoTは名古屋のOSで

小川メソッド

1
2