検証的なアンテナ

すべて | ツール | 個人 | 組織、企業、団体 | 日記 | 理論 | メタ情報

おとなりアンテナ | おすすめページ

  1. 2019/08/23 08:21:41 にわとり小屋でのプログラミング日記含むアンテナおとなりページ

    TPPmark-11th.docx
    11TPP (Theorem Proving amd Provers) 研究集会 TPPmark11 命題論理式の標準形定義し、それがいわゆる正規形とよぶに十分な要求を満たしていることを証明するのが今回の問題です。 問題 命題論理式の全体が作る集合(あるいは型)を定義してください。 二つの命題論理式が同値である、という関係定義してください…
    docs.g

  2. 2019/08/22 14:39:49 檜山正幸のキマイラ飼育記含むアンテナおとなりページ

    2019-08-22
    リアルバグ
    日常
    分かりにくい写真(↓)だけど、このブログを表示しているコンピュータディスプレイの上に蜘蛛が這っている様子です。
    蜘蛛クモ〉は生物学的に昆虫ではありませんが、ムシと呼んでもよさそう。画面上にバグが出たわけだけど、海里箸僕は、思わずマウスポインタで追い払おうとしました。蜘蛛全然動きませんでしたね、手で追い払いました。
    m-hiyama 2019-08-

  3. 2019/08/15 02:04:36 Game Scripting Memo含むアンテナおとなりページ

    逆転裁判』らしさが生まれ秘密! “逆転裁判スクリプトシステムによる実演を交えた3Dアドベンチャーの作り方”【CEDEC 2015】 - ファミ通.com
    2015年8月26日28日の3日間、パシフィコ横浜にて開催される、日本最大級ゲーム開発者向けカンファレンスCEDEC 2015”。人気アドベンチャーシリーズ逆転裁判』における、スクリプト作成方法が紹介された。その模様をお届けしよう

  4. 2019/05/20 13:36:59 sumiiの日記含むアンテナおとなりページ

    この広告は、90日以上更新していないブログに表示しています

  5. 2019/05/14 00:03:27 仕様検証グループ - Software Abstractions含むアンテナおとなりページ

    Software Abstractions: Logic, Language, and Analysis
    出版社/メーカー: The MIT Press
    発売日: 2006/03/24
    コメントを書く

  6. 2019/05/13 18:40:13 仕様検証グループ - tk80の日記含むアンテナおとなりページ

    コメントを書く
    コメントを書く
    コメントを書く
    Junior2007/07/16 11:13http://8bea2928d3fce086e6bc56d19534cd55-t.zjdicn.org <a href=”http://8bea2928d3fce086e6bc56d19534cd55-h.zjdicn.org”>8bea2928d3fce086e6bc56d19534cd55

  7. 2019/05/13 17:31:28 仕様検証グループ - TrueLogic 仕事日記含むアンテナおとなりページ

    Stateモナドを使って信号器を書いて見た.ログの内容を伝搬(追記)させるには,bindに手を入れるしかないのかな?
    putStrLn $ show $ runState move Green
    putStrLn $ show $ runState move Yellow
    実行結果
    $ ghc traffic-signal
    $ ./traffic-signal
    (”Red==>Green”,G

  8. 2019/01/01 04:54:51 d.y.d.含むアンテナおとなりページ

    22:47 18/12/31
    競技プログラミング20年になった
    1998年SuperCon ’98に参加したのが始めだったので、今年で20年になったことになります。「コンテスト風景」のリンクを辿ると20年前の私の写真があります若い…。というわけで、なんとなく記憶をたどりつつメモを残してみようかと思いました。当時は情報オリンピック(IOI)に日本は出ていなかったので(1997〓2004の間休

  9. 2014/05/07 21:27:13 ヒビルテ含むアンテナおとなりページ

    本日ツッコミ(全2件) [ツッコミを入れる]
    ψ さかい [おお。知らなかったです。ありがとうございます!]
    Tags: haskell machine-learning
    Tags: haskell machine-learning optimization
    Tags: haskell machine-learning optimization
    かい (05-07)
    metaphusika (