にわとり小屋のアンテナ RSS OPML

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

  1. 2019/05/19 19:12:18 ラムダ計算とは - はてなキーワード含むアンテナおとなりページ

    λ計算の関連ニュース 2019-05-19 19:12

  2. 2019/05/19 17:01:08 Coqとは - はてなキーワード [Coq]含むアンテナおとなりページ

    新品 le coq sportif Douce Mode ストレッチジャージジャケット 定価27,000円 Mサイズ FGN ルコック メンズ品質
    価格 1,201円
    le coq sportif GOLF ルコック ゴルフホワイトライロゴ刺繍 チェック柄 パイピングデザイン ストレッチ ゴルフ パンツ グレー 82
    価格 2,100円
    ★お洒落♪送料185円!le coq sport

  3. 2019/05/19 15:44:36 検証的なアンテナ含むアンテナおとなりページ

    2019/05/19 13:14:43 VAULT a programming language for reliable systems
    Surface Pro 6
    Surface Laptop 2
    Surface Go

  4. 2019/05/19 12:38:21 まぁ、そんなもんでしょう。含むアンテナおとなりページ

    Lockfree list by Kumazaki Hiroki 110009 views
    できる!並列・並行プログラミング by Preferred Networks 36303 views

  5. 2019/05/18 04:14:59 予定は未定Blog版含むアンテナおとなりページ

    第1回継続勉強会 (2018/12/04 19:00〜)
    継続について勉強する会です。 当面は、浅井先生shift/resetプログラミング入門( http://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/main-j.pdf )を丁寧に理解しながら読んでいきます関数型プログラミング言語の簡単な知識を前提とします。 全6回を予定しています。 直近の予定は

  6. 2019/05/18 00:48:05 みずぴー日記含むアンテナおとなりページ

    Slackから始めるChatOps by Yuto Suzuki 2069 views

  7. 2019/05/17 11:43:25 keigoiの日記含むアンテナおとなりページ

    スマートフォン用の表示で見る
    制御の逆転 〜 OchaCaml限定継続でイベンドハンドラをダイレクトスタイルで書く
    継続
    OchaCamlで限定継続/answer type modificationを勉強する - keigoiの日

  8. 2019/05/17 08:06:27 にわとり小屋でのプログラミング日記含むアンテナおとなりページ

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

  9. 2019/05/16 13:46:26 檜山正幸のキマイラ飼育記含むアンテナおとなりページ

    2019-05-16
    たぶん若い人には通じない言葉: 「ネットニュース
    日常
    昔話をしていて、「… というポストネットニュースで読んでね、それで ……」みたいなことを言ってしまったのだけど、これはたぶん、若い人には伝わらない。
    今、「ネットニュース」といえば、Yahoo!ニュースGoogleニューススマートニュースなどを意味するでしょう。昔のネットニュースについては:
    Wikipedia

  10. 2019/05/14 23:29:40 soutaroにっき含むアンテナおとなりページ

    2018-07-30
    Siderで使っているTSLintの設定
    今のところこんなんです。
    {
    "extends": [
    "tslint:latest",
    "tslint-immutable"
    ],
    "rules": {
    "array-type": false,
    "arrow-parens&

  11. 2019/05/14 22:36:19 Oh, you `re no (fun _ → more)含むアンテナおとなりページ

    スマートフォン用の表示で見る
    camlspotter’s blog
    camlspotter 2016-05-14 04:13
    バグレポート
    Tweet
    広告非表示にする
    もっと読む
    コメントを書く
    Haskell Emacs
    "Insert ¥" ++ ++ ¥""
    (interactive "p")
    (insert "¥" ++

  12. 2019/05/14 22:17:22 Gemmaの日記含むアンテナおとなりページ

    スマートフォン用の表示で見る
    コード書き初め一二三
    JavaScript 1.8 の新機€FD; 式クロージャ
    Gemma 2011-01-04 12:09
    コード書き初め一二三
    Tweet
    広告非表示にする
    もっと読む
    ICFPc2010参戦記
    &#x5

  13. 2019/05/14 19:03:55 純粋関数型雑記帳含むアンテナおとなりページ

    スマートフォン用の表示で見る
    2019-04-07
    Google Code Jam 2019 Qualification Round
    せっかくなので記録付けてみようと思います
    Foregone Solution
    10表記で’4’を一つ以上含む数N(<=10100)が与えられるので、N=A+Bなる’4’を含まない数A、Bに分解せよ、という問題
    Nのうち’4’の桁を’3’にしたものをA、’

  14. 2019/05/14 17:44:29 菊やんの雑記帳 kikxさんの記事。Coq関連の話題など。含むアンテナおとなりページ

    スマートフォン用の表示で見る
    2015-03-02

    TLE
    kikx 2015-03-02 01:40
    TLE 2015 だった。最初は 2/7 にやるよ!って書いてあったような気がするんだけど、いつのま…
    Tweet
    広告非表示にする
    もっと読む
    2013-08-12
    [ICFPC] ICFPC 2013 の記録
    最初のソルバは「xor, and, shift」だけの問題を解ける簡単なのを

  15. 2019/05/14 04:44:46 らくがきえんじん含むアンテナおとなりページ

    スマートフォン用の表示で見る

    syd_syd 2020-12-31 00:00
    アカウントに移動しました。
    Tweet
    広告非表示にする
    もっと読む
    コメントを書く
    セッションon Haskell
    syd_syd 2009-06-22 00:00
    セッションon Haskell
    Tweet
    広告非表示にする
    もっと読む
    コメントを書く
    A full implementation

  16. 2019/05/13 22:27:22 zyxwvの日記含むアンテナおとなりページ

    スマートフォン用の表示で見る
    zyxwvの日記
    2010-10-08
    Agda で挿入ソートする
    Agda
    概要
    Agda2 で挿入ソート関数定義して、それがほんとにリストソートすることを証明してみました。試すには Agda の標準ライブラリ(The Agda Wiki - Standard Library)が必要です。
    冗長な証明になっている可能性は大いにありますAgda のサンプルコード

  17. 2019/05/13 19:43:20 yoriyukiの日記含むアンテナおとなりページ

    スマートフォン用の表示で見る
    Forbidden
    https://yoriyuki.hatenadiary.org/ は非公開に設定されています
    はてなブログ
    はてなブログとは
    はてなブログPro
    アプリ
    テーマ ストア
    旬のトピック
    グループ
    著名人ブログ
    はてなブログの目指す場所
    今週のお題
    機能変更・お知らせ・ヘルプ
    はてなブログ開発ブログ
    週刊はてなブログ
    ヘルプ
    障害情報
    お問い合わせ

  18. 2019/05/13 18:36:25 Yet Another Ranha含むアンテナおとなりページ

    スマートフォン用の表示で見る
    ranha 2013-02-17 10:07
    以下のような催しをインターネットでやります
    Tweet
    広告非表示にする
    もっと読む
    コメントを書く
    ranha 2012-08-17 10:11
    クラッシュなんとか2
    Tweet
    広告非表示にする
    もっと読む
    コメントを書く
    ranha 2012-08-10 01:04
    クラッシュなんとか
    Tweet
    広告非表示

  19. 2019/04/24 05:25:56 toyosystem [CSNagoya][toyoshiさんの日記]含むアンテナおとなりページ

    このドメインを購入
    ドメイン jamboree.jp は 499 USDで売り出し中です!
    jamboree.jp
    おすすめリンク
    This webpage was generated by the domain owner using Sedo Domain Parking. Disclaimer: Sedo maintains no relationship with third party

  20. 2019/03/29 08:57:43 Coq’Art Home page 含むアンテナおとなりページ

    Some chapters from the book
    Table of contents
    A brief overview
    Infinite Objects and Proofs
    Foundations of Inductive Types

  21. 2019/02/20 08:09:57 sumiiの日記含むアンテナおとなりページ

    スマートフォン用の表示で見る
    sumiiブログ
    再帰」の説明の一例(プログラミング初心者向け)
    追記:n<0の場合は気にするな。
    sumii 2012-10-04 00:00
    再帰」の説明の一例(プログラミング初心者向け)
    Tweet
    広告非表示にする
    もっと読む
    コメントを書く
    帰納法と余帰納法の何がどう双対なのか(初等的に)
    高校で習うはずの)数学的帰納法をはじめとする帰納法(ind

  22. 2019/02/16 17:33:25 Lightweight Language Spirit含むアンテナおとなりページ

    [login]
    Lightweight Language Spirit
    情報
    開催のお知らせ
    チケット発売情報
    セッション内容(発表資料)
    チケット追加販売のお知らせ
    取材をご希望の方へ
    チャット
    ブログ
    LL魂ブログ
    2007-08-23 LL公式サイト回線障害が復旧しました
    2007-08-23 LL魂公式サイト回線障害が起こっています
    2007-08-09 発表資料公開しました
    200

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

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

  24. 2018/12/21 07:25:11 Practical Scheme ShiroKawai Gauche Scheme Lisp 関数型言語含むアンテナおとなりページ

    Gauche - Current version 0.9.7 (2018/12/20)

  25. 2018/09/12 17:53:27 Ocsigen含むアンテナおとなりページ

    Who does Ocsigen?
    Site under construction. Please use http://ocsigen.org for now.
    Who does Ocsigen?

  26. 2018/07/13 10:33:19 The Caml language: Home含むアンテナおとなりページ

    2018/07OCaml 4.07.0 released
    2018/02OCaml 4.06.1 released

  27. 2017/08/21 17:16:53 404 Blog Not Found含むアンテナおとなりページ

    Posted by dankogai at 09:00 │Comments(1) │VALU

  28. 2017/03/23 01:40:00 有限会社ITプランニング(IT Planning Inc.)含むアンテナおとなりページ

    誠に恐縮ですが
    有限会社ITプランニング2017年3月をもちまして休業させていただいております

  29. 2015/08/30 11:54:18 Twitter #Coq含むアンテナおとなりページ

    Follow Tumblr.
    Posted by tumblrbot
    Follow the blogs you窶况e been hearing about. Share the things that you love.
    Get started

  30. 2015/06/01 02:08:47 Linux > Mac > Windows含むアンテナおとなりページ

    超えられない壁
    スポンサーサイト
    上記の広告は1ヶ月以上更新のないブログに表示されています
    新しい記事を書く事で広告が消せます
    スポンサー広告 :
    このページのトップ
    ブログ移転
    過去記事をすべて FC2 から はてな移転しました.
    スポンサーサイト
    未分類 :
    コメント 2 :
    トラックバック 1
    このページのトップ
    ホーム
    このページのトップ
    プロフィール
    最近Arch

  31. 2015/02/21 05:17:29 KW含むアンテナおとなりページ

    探偵トラブル
    探偵って資格がいらないそうです。警察への届出が必要なだけで
    誰でもいつでも開業することができるみたいです。
    からこそ、いざ探偵に依頼をするときは慎重に選ばなければならないですよね。
    消費者センターに寄せられている事例はこんな感じです。
    契約通りの調査をせずに報告書もない。
    調査過程調査員が逮捕された。
    調査内容と事実が異なっている
    などなど。
    資格がいらないので誰でも開

  32. 2014/09/04 11:27:25 yoshihiro503の日記 - ocaml-nagoyaグループ含むアンテナおとなりページ

    2014-09-04 (Thu)Scalaで新しいパスワードをつくる
    [Scala]Scalaで新しいパスワードをつくる
    11:27 |
    次の文字を含むランダム文字列を生成する。
    大文字アルファベット
    小文字アルファベット
    数字
    記号: ` ~ ! @ # $ % ^ & * ( ) _ - + = { } [ ] ¥ | : ; ” ’ < > , . ? /
    def makePa

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

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

  34. 2014/01/05 10:34:19 ホワット・ア・ワンダフル・ワールド 含むアンテナおとなりページ

    上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます

  35. 2013/06/12 07:39:19 Twitter含むアンテナおとなりページ

    The Twitter REST API v1 is no longer active. Please migrate to API v1.1. https://dev.twitter.com/docs/api/1.1/overview.

  36. 2009/02/19 00:15:44 Cocorico!FrontPage - Cocorico!含むアンテナおとなりページ

    Gone
    The requested resource
    /cocorico/coqwiki
    is no longer available on this server and there is no forwarding address.Please remove all references to this resource.

  37. 2009/01/06 04:49:56 The Coq-club 2008 Archive by Thread Coq-club mailing list含むアンテナおとなりページ

    Messages: 943