記事へのコメント1

    • 注目コメント
    • 新着コメント
    dhrname
    dhrname 「タイプ理論の起源と発展」(池田真治、伊藤遼、久木田水生) >λ 計算の体系と単純タイプ理論とが結びついて、型付き λ 計算(typed λ calculus)の理論が創始

    2019/11/04 リンク

    その他

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

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

    関連記事

    https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/151121/1/ronso38_S49_type.pdf

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

    • non_1172022/01/14 non_117
    • motchang2021/04/24 motchang
    • dhrname2019/11/04 dhrname
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

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

    いま人気の記事

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

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

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

    新着記事 - テクノロジー

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

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