ぱーそんのアンテナ

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

  1. 2019/08/24 12:38:00 まめめも含むアンテナおとなりページ

    *5:シングルスレッド理由としては、性能の低い計算機でも動かせること、バグの元であるマルチスレッドプログラミングユーザに課さないこと、元々の想定ユースケースではシングルスレッド問題なかったこと、などが考えられます。なお、WebWorker のような拡張を使うとマルチスレッドができますが、これは置いておきます
    *6:”Promise” については、付録 A で簡単に説明します。
    *7:

  2. 2019/08/24 11:51:37 にわとり小屋でのプログラミング日記含むアンテナおとなりページ

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

  3. 2019/08/24 11:48:28 まぁ、そんなもんでしょう。含むアンテナおとなりページ

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

  4. 2019/08/24 11:42:35 Lambda the Ultimate | Programming Languages Weblog含むアンテナおとなりページ

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

  5. 2019/08/23 19:15:04 Open Tech Press含むアンテナおとなりページ

    Linux Foundationデータ安全に処理できる環境構築を目指す「Confidential Computing Consortium(CCC)」を発表
    2019年8月23日17:00
    The Linux Foundation8月21日米国時間)、セキュアなコンピューティング環境を構築することを目指す新プロジェクトConfidential Computing Consortium(C

  6. 2019/08/22 22:26:52 みずぴー日記含むアンテナおとなりページ

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

  7. 2019/08/22 09:16:42 soutaroにっき含むアンテナおとなりページ

    17-18 May

  8. 2019/08/20 03:01:58 いろきゅう.jp含むアンテナおとなりページ

    2019-08-19
    C96 お疲れ様でした!(本番リリース)& 参加感想
    『一体いつから文章が書き終わっていると錯覚していた?
    なん…だと…?
    ……すいません orz(大反省
    いやーというか、今回色々ありすぎで取り上げるべき事項が多すぎるにもかかわらず、夏→冬なので申込期間が超短く書き終わらねぇ… 終わらねぇよ…!! …という事で、とりあえず準備会様へ固定したURLをお送りすべく記事エントリ

  9. 2019/08/19 20:00:37 chokudaiの日記(仮)含むアンテナおとなりページ

    AtCoder業務直結型プログラミングコンテスト標準著作権等取扱規約およびガイドラインについて
    先日から開催されていた、「ヤマト運輸プログラミングコンテスト」が無事終了しました。とてもレベルの高い良いコンテストとなったのですが、多くの方から、「著作権譲渡について」のコメントを多くいただきました。
    それを受けて、AtCoderでは、コンテスト著作権等の取り扱いに関する標準規約作成いたしましたの

  10. 2019/08/18 04:48:30 takuto_hの日記含むアンテナおとなりページ

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

  11. 2019/08/15 13:35:32 keigoiの日記含むアンテナおとなりページ

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

  12. 2019/08/15 11:01:59 ここにタイトルを入力|含むアンテナおとなりページ

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

  13. 2019/08/14 01:19:13 言語ゲーム含むアンテナおとなりページ

    2019-08-13
    Maker Faire Tokyo 2019 「からくり計算器」ご報告
    工作
    からくり計算器 (MFTokyo2019)
    「1 たす 0 は何でしょうか? 1 です。」
    「へー!」
    「1 たす 1 は何でしょうか? 2 です! これを 2 進数でイチゼロと書きます。」
    「ほー!!!」
    先日の Maker Faire Tokyo 2019 の「からくり計算器」ブースで繰り返し行

  14. 2019/08/09 10:15:20 Onion開発再開しつつある日記含むアンテナおとなりページ

    2019-08-09
    Fortressお話(あるいは、2007年1月とあるWeb日記
    昨日、内輪でチャットしているときに、ふと、学部生〓修士時代自分Web日記tDiary)を見てみたくなって、色々発掘してたら、面白いものが出てきてので、張り付けていこうと思いますほとんどが駄文なので、なんか考古学的に(?)意味があるやつだけ載せる予定です)。で、今日載せるのはFortressの話。当時

  15. 2019/08/08 12:39:32 はじめてのにき(い)含むアンテナおとなりページ

    2019-08-08
    _ 光推論
    https://engineer.fabcross.jp/archeive/190729_smart-glass.html
    だいぶ前にもなんか見たけど、 mnist できるようになってた。こういうの楽しいよねえ
    (09:59)
    _ alphastar on ladder
    https://news.blizzard.com/en-us/starcraft2/2293

  16. 2019/08/08 09:49:43 日記を書く[・ _ゝ・]はやみずさん含むアンテナおとなりページ

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

  17. 2019/08/06 06:57:16 メモ用紙の裏含むアンテナおとなりページ

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

  18. 2019/08/05 03:25:46 mad日記含むアンテナおとなりページ

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

  19. 2019/08/04 07:31:53 Gemmaの日記含むアンテナおとなりページ

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

  20. 2019/07/18 22:31:59 にゃあさんの戯言日記含むアンテナおとなりページ

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

  21. 2019/07/15 15:31:16 lethevert is a programmer含むアンテナおとなりページ

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

  22. 2019/07/15 12:34:23 h_sakuraiの日記含むアンテナおとなりページ

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

  23. 2019/07/15 06:53:32 はてなダイアリー - 匣の向こう側 - あまりに.NETな含むアンテナおとなりページ

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

  24. 2019/07/12 22:08:31 くるるの数学ノート含むアンテナおとなりページ

    スマートフォン用の表示で見る
    kururu_goedel’s diary
    この広告は、90日以上更新していないブログに表示しています
    2018-12-26
    えっ、別に集合論勉強なんてしなくてもどんどん質問してくださっていいんですよ。例えばスクールデイズで一番好きなのはどのキャラですかとか。
    ask.fmに書いた回答が見られなくなっているので、こちらにサルベージしておきますネタバレ注意。

  25. 2019/07/12 20:35:59 机の上が汚いSEが書く日記含むアンテナおとなりページ

    スマートフォン用の表示で見る
    2017-05-15
    vSAN 6.6 Configuration Assist
    Virtualization
    The vMotion network connectivity test (Cluster > Monitor > vSAN > Health > Network) reports ping failures if the vMotion stack is

  26. 2019/07/12 19:03:26 togeの日記含むアンテナおとなりページ

    スマートフォン用の表示で見る
    toge's diary
    コンピュータ関連の趣味をつらつらと。
    この広告は、90日以上更新していないブログに表示しています
    2016-01-18
    既存PDFPoDoFoで変換
    C++
    PDFを生成するライブラリではなくて、PDFのパーザが必要になるのですがC++でやるには何がいいんですかね〜。
    今回は、ざっと探して最初に見つかったPoDoFoを使おうと思

  27. 2019/07/12 17:57:41 つれづれなるままに含むアンテナおとなりページ

    ユーザー登録
    日本語
    表示言語を選択
    日本語
    English
    English (UK)
    Français
    Italiano
    Español
    Deutsch
    ログイン
    ユーザー登録
    ログイン
    次回から自動的ログイン
    もしくは
    パスワードを忘れた方はパスワードの再設定を行ってください。
    うまくログインできない方はお問い合わせをご覧いただきCookieの設定をご確認ください。
    はじめての方はこちら

  28. 2019/07/10 21:59:20 更新履歴兼雑記含むアンテナおとなりページ

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

  29. 2019/07/07 11:57:10 ひげぽん OSとか作っちゃうかMona-含むアンテナおとなりページ

    2019-07-07
    最近読書「三体」他
    とにかく安里素晴らしかった。早く続きが読みたい。ワクワクが止まらない系。
    higepon 2019-07-07 09:40
    最近読書「三体」他
    Tweet
    Remove all ads
    Read more
    Write a comment
    最近読書「三体」他

  30. 2019/06/27 18:06:21 Oh, you `re no (fun _ → more)含むアンテナおとなりページ

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

  31. 2019/06/21 10:04:22 okamoto7の日記含むアンテナおとなりページ

    2019-06-21
    数学セミナー2019年7月
    数学セミナー 2019年 07 月号 [雑誌]
    出版社/メーカー: 日本評論社
    発売日: 2019/06/12
    メディア: 雑誌

    グラハム数に関して記事を書きましたが,焦点はラムゼー理論にあります.他の記事もとても面白いです.ぜひご覧ください.

    okamoto7 2019-06-21 09:00
    数学セミナー2019年7月
    Tweet

  32. 2019/05/29 15:50:35 Cozy Ozy含むアンテナおとなりページ

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

  33. 2019/05/29 01:14:39 ヤドカリデンキ商会(第一倉庫)含むアンテナおとなりページ

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

  34. 2019/05/28 15:27:21 kurimuraの日記含むアンテナおとなりページ

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

  35. 2019/05/28 00:08:14 純粋関数型雑記帳含むアンテナおとなりページ

    2019-05-27
    SECCON Beginners CTF 2019 writeup
    Beginners CTF 2019
    2891 points 24th place
    初心者向けらしいので出てみた。Webが解けなさすぎるっぽいのでなんとかしたい。
    Web: [warmup] Ramen
    なぜかラーメン店員を検索できるWebページに隠されたフラグを探す。名前の部分文字列でヒットするので、SQL

  36. 2019/05/23 22:06:06 やねうらお−よっちゃんイカを買いに行ったついでに家を買う男含むアンテナおとなりページ

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

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

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

  38. 2019/05/14 19:27:56 ほどけない問題など在りはしない含むアンテナおとなりページ

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

  39. 2019/05/14 17:10:51 TCC は素晴らしい含むアンテナおとなりページ

    指定のページが見つかりません。
    URLをもう一度お確かめ下さい。
    新しいブログサービスはてなブログ」を始めてみませんか?
    はてなブログは、はてなが新しくオープンしたモダンシンプルブログサービスです。 これからブログをはじめる方は、ぜひはてなブログをご利用ください。
    ブログを開設する
    Copyright (C) 2001-2019 hatena. All Rights Reserved.

  40. 2019/05/14 02:05:36 interlude含むアンテナおとなりページ

    Copyright (C) 2001-2019 hatena. All Rights Reserved.

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

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

  42. 2019/05/13 19:30:33 もろこしヘッド含むアンテナおとなりページ

    指定のページが見つかりません。
    URLをもう一度お確かめ下さい。
    新しいブログサービスはてなブログ」を始めてみませんか?
    はてなブログは、はてなが新しくオープンしたモダンシンプルブログサービスです。 これからブログをはじめる方は、ぜひはてなブログをご利用ください。
    ブログを開設する
    Copyright (C) 2001-2019 hatena. All Rights Reserved.

  43. 2019/05/13 16:24:02 古橋貞之の日記含むアンテナおとなりページ

    スマートフォン用の表示で見る
    Blog by Sadayuki Furuhashi
    Treasure Data MessagePack Embulk Fluentd @twitter
    この広告は、90日以上更新していないブログに表示しています
    2017-08-10
    MessagePackフォーマット仕様Timestamp型を追加
    MessagePackフォーマット仕様Pull Request

  44. 2019/05/09 13:41:19 星一の日記含むアンテナおとなりページ

    for Smartphone
    Sorry
    Sorry, this blog is not currently available.
    Hatena Blog
    Hatena Blog
    What is Hatena Blog?
    Hatena Blog Pro
    App
    Theme store
    Seasonal Topic
    Group
    Celebrity Blogs
    はてなブログの目指す場所
    今週のお題
    U

  45. 2019/04/23 01:09:15 早いとこ読みたい本含むアンテナおとなりページ

    スマートフォン用の表示で見る
    Entries are not found
    お探しの記事は見つかりませんでした。
    プロフィール
    id:ranha
    読者です 読者をやめる 読者になる 読者になる
    検索
    リンク
    はてなブログ
    ブログをはじめる
    週刊はてなブログ
    はてなブログPro
    最新記事
    以下のような催しをインターネットでやります
    クラッシュなんとか2
    クラッシュなんとか
    クラッシュシリーズn弾
    アレ

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

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

  47. 2018/07/26 16:20:46 結城浩のはてな日記含むアンテナおとなりページ

    Twitter / @zakudansyaku
    Twitter / @takemaster2009
    児童小銃 - 「はてなブログライター」を作りました
    Twitter / @AHaseve
    Twitter / @nekomimi33
    Twitter / @nekomimi33
    Twitter / @GabbingDog
    Twitter / @a_park

  48. 2018/07/24 21:29:22 Greenbear Diary含むアンテナおとなりページ

    配色アイデア手帖 めくって見つけ...
    SBクリエイティブ
    新品 ¥1,780
    ポイント 50pt
    ゼロから作るDeep Learning ―Pytho...
    斎藤 康毅
    新品 ¥3,672
    ポイント 111pt
    AI vs. 教科書が読めない子...
    東洋経済新報社
    新品 ¥1,500
    ポイント 42pt
    独学プログラマー Python言語の基本...
    コーリー・アル...
    新品 ¥2,376

  49. 2016/06/22 05:45:22 blog - Flightless wing含むアンテナおとなりページ

    名前:
    blog/2009-07-25
    WindowsManager †
    会社の先輩に「海竜麁阿呂覆い\(^o^)/」と言われたので
    ウィンドウ移動のコードを書きなおしてみました.
    window.scm
    misc.scm
    ウィンドウを下に動かすときにも,衝突するようになりました.
    名前:
    blog/2009-07-11
    i7買ったけど動かない †
    最近Penti

  50. 2015/06/07 10:03:48 PRoxy Diary含むアンテナおとなりページ

    Forbidden
    You don’t have permission to access /~oxy/d/on this server.
    Apache/2.4.10 (Debian) Server at mono.kmc.gr.jp Port 80

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

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

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

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

  53. 2012/04/17 10:31:35 ニートの世紀含むアンテナおとなりページ

    posted in programming by niha | 7,719 Comments
    posted in C++ by niha | 7,264 Comments
    posted in screen by niha | 8,125 Comments
    posted in C++ by niha | 9,797 Comments
    posted in C++ by niha | 3,086 Com