• はてなブックマーク
  • 暮らし
  • http://hiratch.net/blog/archives/2007/01/000146.html
  • Twitterでシェア
  • Facebookでシェア

http://hiratch.net/blog/archives/2007/01/000146.html

暮らし カテゴリーの変更を依頼 記事元:hiratch.net
適切な情報に変更
8users がブックマーク コメント 4
    共有

    • 記事へのコメント4件

    • 注目コメント
    • 新着コメント
    その他
    kanbayashi
    俺の頭では理解しきれていないのだけど、楽しそうな話

    その他
    sshi
    prologとは違うの？

    その他
    NOV1975
    最後の点。「全て」なら表現できそうな気もするけど、有限個だったらどうなるんだろう。いずれにしても何らかの集合が返るのは避けられそうにないかなあ。門外漢なんで適当な発言。

    その他
    mind
    プログラムの意味を時間的に逆転させた意味論。 つまり、任意の出力に対して、(仮にあれば)それを満たす入力を一つ得るよう な意味論。

    その他

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

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

    関連記事

    http://hiratch.net/blog/archives/2007/01/000146.html

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

    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

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

    いま人気の記事

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

    いま人気の記事 - 暮らし

    いま人気の記事 - 暮らしをもっと読む

    新着記事 - 暮らし

    新着記事 - 暮らしをもっと読む

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

    いま人気の記事 - 企業メディア

    企業メディアをもっと読む

    はてなブックマーク

    公式Twitter

    はてなのサービス

    • App Storeからダウンロード
    • Google Playで手に入れよう
    Copyright © 2005-2025 Hatena. All Rights Reserved.