解析 琴葉茜と 証明体系の等価性
メニュー
×
TOP
ランキング一覧
ショートランキング
ニコランWEBとは
募集について
1000回記念企画
My9niconico
このページをXでシェア
基本情報
通常
解説・講座
視聴ステータスについて
×
通常
ログインなし視聴可
非公開
視聴不可
削除
視聴不可
権利者削除
視聴不可
デバイス制限
ログイン及び設定必要
有料
購入後視聴可
P限定
プレミアム会員視聴可
会員限定
チャンネル加入後視聴可
11:18
琴葉茜と 証明体系の等価性
投稿日時
2024/09/22 15:02
バージョン
ニコニコ(Re:turn)
投稿者
◆mEiZUgAIKE
リアルタイムデータ
数値
再生数
446
コメント数
12
マイリスト数
4
いいね数
24
累計広告
12,700
期間中広告
0
タグ
数学
VOICEROID解説
VOICEROIDファンの数学サイド
ニコニコ動画講座
科学
第3回理工サイド交流祭
論理学
琴葉茜
A.I.VOICE
一階述語論理
ソフトウェアトーク解説
🔍 ニコニコで検索
📊 ニコランWEBで検索
📖 大百科記事を見る
💬 大百科掲示板を見る
説明文
前回定義したLKが、参考文献通りのLKと等価な証明体系であることを示します。
第3回ソフトウェアトーク理工サイド交流祭参加動画です。
前:
sm43229064
関連リンク
ニコニ広告
ニコニコモンズ
ギフト
高画質サムネ
ニコチャート
ニコログ
シリーズ解析
X 検索
コメント解析
コメント解析はボタンを押すと読み込みます
コメント解析を読み込む
ニコラン的プロフィール
この動画(sm44131836)はニコランのランキング履歴がありません。
ニコニコ動画で見る