証明するとは一体何なのか
at SCI
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このスレッドのURL
■項目テキスト
1:ご冗談でしょう?名無しさん 17/03/18 04:21:04.61 KruA+gZl.net 人間が証明したと思っているだけじゃないのか 2:ご冗談でしょう?名無しさん 17/03/18 09:31:00.61 .net 暗号理論的には一方向関数と乱数関数を使ったもろもろのテクニック。 3:ご冗談でしょう?名無しさん 17/03/18 09:32:22.89 .net いわゆる数学の証明自体も検証の方が簡単なのでそれらの一種には違いない。 4:ご冗談でしょう?名無しさん 17/03/18 09:33:34.94 .net ハッシュ関数なんかも鳩ノ巣原理のハッシュテーブルに紐づけするのに使う代表的な一方向関数だし。 5:ご冗談でしょう?名無しさん 17/03/18 09:34:44.47 .net 個人的にはオラクルと乱数関数の違いの方が分からない。 6:ご冗談でしょう?名無しさん 17/03/18 09:37:56.09 .net 数学での証明と言ったら数学基礎論の主要な対象だが 数学基礎論にはゲーム理論っぽい言い換えがだいたい存在してるが個人的にはそれらが成立する背景には混合戦略で無自覚に使われる乱数関数の存在があると思ってる。
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック!
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
2489日前に更新/5388 Bytes
担当:undef