記事へのコメント2

    • 注目コメント
    • 新着コメント
    dhrname
    dhrname 自然数列のゲーデル数は、「コンピュータサイエンス大学講座24 計算論 - 計算可能性とラムダ計算」(高橋正子、1991年、ISBN 978-4-7649-0184-1、p24-25)を参照のこと

    2022/07/06 リンク

    その他
    labunix
    labunix 1のゲーテル数。第一級オブジェクト言語、関数型プログラミング。キーワードはこれで充分かな?

    2011/07/27 リンク

    その他

    注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

    アプリのスクリーンショット
    いまの話題をアプリでチェック!
    • バナー広告なし
    • ミュート機能あり
    • ダークモード搭載
    アプリをダウンロード

    関連記事

    ゲーデル数 - Wikipedia

    ゲーデル数(ゲーデルすう、英: Gödel number)は、数理論理学において何らかの形式言語のそれぞれの記...

    ブックマークしたユーザー

    • dhrname2022/07/06 dhrname
    • ROYGB2022/07/06 ROYGB
    • okumuraa12022/03/14 okumuraa1
    • issyurn2020/01/13 issyurn
    • wh11e7rue2018/10/16 wh11e7rue
    • KatagiriSo2016/06/06 KatagiriSo
    • yife2013/02/25 yife
    • labunix2011/07/27 labunix
    • lieutar2008/02/26 lieutar
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

    同じサイトの新着をもっと読む

    いま人気の記事

    いま人気の記事をもっと読む

    いま人気の記事 - テクノロジー

    いま人気の記事 - テクノロジーをもっと読む

    新着記事 - テクノロジー

    新着記事 - テクノロジーをもっと読む

    同時期にブックマークされた記事