osiireのアンテナ RSS OPML

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

  1. 2019/06/25 04:24:59 komamitsu.log含むアンテナおとなりページ

    [db tech showcase Tokyo 2015] E35: ... by datastaxjp 6766 views

  2. 2019/06/25 03:47:02 soutaroにっき含むアンテナおとなりページ

    17-18 May

  3. 2019/06/25 03:07:57 programming含むアンテナおとなりページ

    HomePopular
    879
    7 hours ago
    879
    541 comments
    72
    u/Tuscen
    2 hours ago
    Raspberry Pi 4
    72
    20 comments
    104
    u/MrValdez
    5 hours ago
    How Mario 64 was solved using parallel universes - Super Mario 64 Tool-Ass

  4. 2019/06/25 02:56:27 スラッシュドット・ジャパン: アレゲなニュースと雑談サイト含むアンテナおとなりページ

    東京五輪チケット詐欺メールにご注意を 12
    コロプラが取引先にゲームへの課金を依頼しランキング操作を図ったことが発覚 49
    第三者によるツイートが「マリカー」が「マリオカート」の略称として使われていた証拠の1つとして採用される 12
    CrystalDiskInfo公式応援キャラクター水晶雫」のイラスト、洗体マッサージ店で使われる 33
    スパコン「京」運用終了後は廃棄。維持費の高さが再利用の障害

  5. 2019/06/25 02:33:10 Lambda the Ultimate | Programming Languages Weblog含むアンテナおとなりページ

    By Z-Bo at 2019-03-05 17:12 | Functional | Implementation | Meta-Programming | 1 comment | other blogs | 15879 reads
    By naasking at 2018-07-26 19:42 | Implementation | Type Theory | 1 comment | other

  6. 2019/06/25 01:36:34 まぁ、そんなもんでしょう。含むアンテナおとなりページ

    できる!並列・並行プログラミング by Preferred Networks 36579 views

  7. 2019/06/25 01:25:58 みずぴー日記含むアンテナおとなりページ

    Gallinaによる証明駆動開発の魅力 by Hiroki Mizuno 6075 views

  8. 2019/06/25 01:24:09 kamonama@Blogger含むアンテナおとなりページ

    QtC++GUIプログラミング by seanchas_t 47068 views
    PyQtではじめるGUIプログラミング by Ransui Iso 310164 views

  9. 2019/06/25 00:33:02 にわとり小屋でのプログラミング日記含むアンテナおとなりページ

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

  10. 2019/06/24 03:10:03 たけをの日記@天竺から帰ってきたよ含むアンテナおとなりページ

    An elementary introduction to information geometry
    We describe the fundamental differential-geometric structures of information manifolds, state the fundamental theorem of information geometry, and il

  11. 2019/06/21 02:17:31 檜山正幸のキマイラ飼育記含むアンテナおとなりページ

    例えば、「25歳の男性と30歳の男性婚姻届受理する」と、「coim(r)⊆maleOver18 ∧ im(r)⊆femaleOver16」という制約論理式を満たせなくなります

  12. 2019/06/16 16:13:09 すえひろがりっっっっ!含むアンテナおとなりページ

    2019-06-16
    Redmine プラグインで controllerload すると別のプラグインに影響がある
    Module#prepend での本体ヘルパーを上書き
    従来 Redmineプラグイン本体の動作を変えたい場合は alias_method_chain を使いましょうということになっていた。Redmine 4 系から Rails 5.x ベースとなって alias_me

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

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

  14. 2019/05/19 16:26:10 Y.FUJITA::NOTEPAD::YPSILON含むアンテナおとなりページ

    スマートフォン用の表示で見る
    fujita-y 2012-02-15 16:40
    WordPressブログ作ってみた
    Tweet
    広告非表示にする
    もっと読む
    コメントを書く
    fujita-y 2011-09-13 15:45
    Pinball Tristan - Mac App Store版のテスト
    Tweet
    広告非表示にする
    もっと読む
    コメントを書く
    2011-09-13
    fujit

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

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

  16. 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 "¥" ++

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

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

  18. 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

  19. 2019/05/14 01:51:02 大島芳樹のカリフォルニア日記含むアンテナおとなりページ

    スマートフォン用の表示で見る
    squeakerブログ
    この広告は、90日以上更新していないブログに表示しています
    2018-11-17
    Adaptive MSDF
    私がSqueak仲間に入れてもらったきっかけの一つは、ビットマップテキストしかなかったSqueakを改良して、TrueTypeフォントを使ったテキストが使えるようにしたことではないかと思っているわけではあります
    最近3Dグラフ

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

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

  21. 2019/05/13 22:13:07 www.textfile.org含むアンテナおとなりページ

    スマートフォン用の表示で見る
    数学ガールゲーデル不完全性定理アマゾンで予約開始
    textfile 2009-10-02 00:00
    数学ガールゲーデル不完全性定理アマゾンで予約開始
    Tweet
    広告非表示にする
    もっと読む
    コメントを書く
    「書くこと」について書く
    textfile 2009-09-28 00:00
    「書くこと」について書く
    Tweet
    広告非表示にする
    もっと

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

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

  23. 2016/04/01 15:50:49 星の贈り物含むアンテナおとなりページ

    誠に勝手ながら、「フリーティケットシアター」のサービス提供
    2016年3月31日をもちまして終了させていただきました。
    これまで長らくご愛顧を賜り、誠にありがとうございました。

  24. 2015/08/10 07:41:52 Shiro含むアンテナおとなりページ

    2009/02/06 表現の訓練の場
    Last modified : 2015/08/09 21:38:49 UTC

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

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

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

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

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

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

  28. 2010/05/22 04:38:56 ぱきらぽん超跡地含むアンテナおとなりページ

    2010-05-21
    ■[酔っぱらっているときに書いたこと]
    一発系の研究ネタ自分ではやらないことにしているので、誰かやっとくれ。
    テーマTwitter クライアントのための情報流解析」
    概要Twitter における行動には情報を発信するための手段ツイート)、公式RT非公式RTなどの情報拡散するための手段、@userid を用いたユーザへのレスポンス存在する。それと同時に、Twitt