Google Plus のバックアップ
2011
2012
2013
2014
2015
2016
- 20160101 - なんか、 Google Play で映画レンタル1本無料みたいなクーポンが来て
- 20160101 - 今年のおせちは、ちょっといいおせちを注文してみたっ!
- 20160101 - 今年の川崎大師のおみくじは第五七番の吉。 「あれっ?」と思ったら、なんと去年_
- 20160105 - 「Windows上でWixおよびWixEditを使ったインストーラ作成」 ht
- 20160105 - おみくじの方は昨年という同じという不思議な感じだったけれど、新春たなくじは「健
- 20160108 - GurobiやCPLEXのIIS(Irreducible Infeasible
- 20160109 - 今更ながらAWSを使い始めている。 とりあえず「AWSアカウント作ったらこれだ
- 20160109 - 失敗から学ぶ データ分析グループの チームマネジメント変遷 http_ww
- 20160111 - #レアジョブ のレッスンで、フィリピンでは Google Maps よりも
- 20160111 - A Brown-Palsberg self-interpreter for G
- 20160111 - Haskellで使えるSMT-LIB2のパーサやプリンタのライブラリ、 自分の
- 20160111 - SMT-LIB 2.5 は Z3 などが元々導入していた declare-fu
- 20160111 - SMT-LIB2の(線形)算術では除算は全域的で、ゼロ除算結果は単にunspe
- 20160111 - TeslaCrypt(vvvウイルス)によって暗号化されたファイルの復号手順メ
- 20160111 - 増井さんの「IoT時代のユーザインタフェース」 https_www.you
- 20160111 - 電力自由化がはじまると安い電気料金プランが選べなくなるという話 http_
- 20160113 - Let_s encrypt https_github.com_letsen
- 20160114 - Haskellで書かれたSATソルバ mios https_github_
- 20160114 - 圏論プログラミング言語CPLの処理系のバージョン0.0.8をリリース http
- 20160117 - iPhoneのバッテリーが死亡気味なのに加えて、Macbook Airのバッテ
- 20160119 - Courseraで2_22からガロア理論のコースが始まる。 https_w
- 20160120 - “RCOにおける機械学習と次世代量子情報処理技術「量子アニーリング」” の資料
- 20160120 - 自作SMTソルバでここ数日ずっと悩んでいたバグ、 theory combina
- 20160125 - I_m announcing the release of the toyso
- 20160125 - 自作ソルバ集のtoysolverの0.4.0をリリース。 _これはSAT, S
- 20160126 - LINEARITYなんてワークショップがあるんや…… http_www.c
- 20160127 - 「OneDrive ストレージ 無料プラン 期間限定キャンペーンについて」の件
- 20160128 - githubがひとたび落ちると、色々なものが間接的にgithubに依存していた
- 20160129 - UDACITYのTensorFlowでディープラーニングを学ぶという Deep
- 20160129 - あと、今晩はこれを聴きに行ってみる予定。 TMLS #1, Deep lear
- 20160131 - AlphaGoの論文に “the introduction of MCTS,_
- 20160131 - Failure Of Unique Factorization https_
- 20160201 - Sepration Logic ソルバのコンペの SL-COMP http_
- 20160201 - Wikipediaの最大事後確率 https_ja.wikipedia.o
- 20160202 - QBFソルバを書いている。 SATはいわば論理式 ∃X1 ∃X2 … ∃Xn_
- 20160202 - no-frills 〜 という表現を知った。 https_en.wikip
- 20160204 - サーバのモニタリング用に Telegraf, Influxdb, Chrono
- 20160206 - GHC-8.0 で ($) の型が変わってる件、 全然知らなくて驚いたんだけど
- 20160214 - Fuzzy Maximum Satisfiability http_arx
- 20160215 - NIPS2015 の Jeff Dean らによるチュートリアル Large-
- 20160217 - SMT-COMP 2016 の情報が出てた。 https_sourcefo
- 20160217 - The Bug That Ate Thursday _ bit-player_
- 20160218 - RCOのコーディング試験の出題例の「相手の思考を推理する」 https_w
- 20160218 - The Deadlock Empire http_deadlockemp
- 20160218 - ほえー、 +Runkeeper がASICSに買収されることになったのか。
- 20160218 - 組織にテストを書く文化を根付かせる戦略と戦術 http_www.slide
- 20160222 - Courseraのガロア理論のコース、始まった! https_www.co
- 20160222 - Survey Propagation http_arxiv.org_abs
- 20160224 - Is Factoring Really In BQP_ Really_ htt
- 20160225 - Courseraのガロア理論のコース、とりあえず第一週の講義ビデオを観て、クイ
- 20160225 - ヒトがつくる「培養肉」は正義か悪か。SFの世界を現実にする、日本の若き研究者
- 20160227 - WEpodが公道を走る初の無人自動車に https_blogs.nvidi
- 20160227 - 「最近よく聞くQuorumは過半数(多数決)よりも一般的でパワフルな概念だった
- 20160228 - 楕円曲線入門 トーラスと楕円曲線のつながり http_www.slides
- 20160302 - OpenCL C 2.0 でclangのblocks構文が使えるようになってい
- 20160303 - HaskellのOpenCLライブラリ http_hackage.hask
- 20160306 - Courseraのガロア理論のコースの第二週は、 stem field, sp
- 20160312 - Complete Problems of Propositional Logi
- 20160312 - 超要約 Stan Reference https_rstudio-pubs
- 20160321 - Stability as a foundation of machine le
- 20160323 - Haskellで処理時間を測るために、 CPU時間についてはSystem.CP
- 20160324 - 来週はせっかく近くだし SCSS2016 http_www.i-eos.c
- 20160401 - Courseraのガロア理論のコース、〆切をだいぶ過ぎてようやく Graded
- 20160401 - Escaping from Saddle Points http_www_
- 20160401 - Max-SAT Evaluation 2016 http_maxsat.i
- 20160401 - 就職して9年が過ぎる - 兼雑記_ http_shinh.hatenabl
- 20160406 - Courseraのガロア理論のコース、ようやく5週目のビデオ全部見てクイズをな
- 20160406 - Pseudo-Boolean Competition 2016 (PB16)_
- 20160410 - あれ_ Let_s Encrypt の証明書先日更新したはずなのに、また L
- 20160410 - そういえば、「某持株会は奨励金がn_付くので、 もし一年間で単元株買って即売却
- 20160414 - 記号計算の国際会議SCSS2016の予稿集が公開されていた。 http_e
- 20160421 - 二部グラフ(A⊎B,E) _A_B_の最大重み付きマッチングといったときに
- 20160424 - やっと iPhone SE をゲット。 iPhone 5s が死亡してから色々
- 20160426 - 給料日だったが、今月からちょっと減ってる。 これからもっと減ると思うと悲しいね
- 20160430 - SMT-COMP 2016 の日程他がいつの間にか公開されていた。 http
- 20160501 - Google Code Jam 2016 Round 1B 落ちたー😇 (
- 20160502 - Google Capture The Flag https_capture
- 20160502 - Pseudo-Boolean Competition 2016 http_
- 20160502 - The Path to Luma http_www.thepathtolu
- 20160504 - Google Play のゴールデンウィーク・セールで映画1本50_ OFFで
- 20160505 - Breizh Cafe Creperie でよく流れている音楽、気になっていた
- 20160505 - ZFで振舞が証明できないチューリング機械がたったの7918状態で。 すげぇ。_
- 20160506 - 2013年10月からずっと使っていた Misfit Shine を3月半ばに紛
- 20160506 - Haskell製ツール集。 色々あるんだねぇ。 https_github_
- 20160506 - iPhoneが死んでいたのでしばらく #Ingress もほとんどやっていなか
- 20160506 - みずがめ座η流星群LIVE中継 http_weathernews.jp_e
- 20160507 - Gmail・Hotmail・Yahoo!などから2億7200万件のメールアドレ
- 20160507 - ソフトバンクからIIJmioに乗り換えることにしたので、 http_i.s
- 20160508 - というわけで、ソフトバンクからIIJmioへの移行完了。移行中に使えなくなる期
- 20160508 - ゴールデンウィークまとめ_ 今年のゴールデンウィークは生活のメンテナンス的なこ
- 20160510 - Interview with Stephen Brookes and Pete
- 20160511 - 「2015年度決算は5月12日14時に発表予定です」 http_www.t
- 20160513 - 最適化一口話 http_optimizationtanabe.hatena
- 20160515 - IBM Quantum Experience http_www.resea
- 20160515 - git-submodule を初めて使った。 昔 https_github
- 20160516 - IBM Quantum Experience http_www.resea
- 20160517 - Courseraのガロア理論のコースを May 16 – Jul 25 のセッ
- 20160517 - SMT-COMP 2016 http_smtcomp.sourceforg
- 20160521 - 本日は DEC CON CTF 2016 Qualifiers_https_
- 20160528 - MIPCL http_www.mipcl-cpp.appspot.com_
- 20160529 - SMT-LIB 2.5 http_smtlib.cs.uiowa.edu_
- 20160601 - C言語検証器 #VeriFast 入門 第0回に申し込みました! #fpiot
- 20160601 - Introduction to Computer Science and Pr
- 20160602 - 先週はMIP2016なんてワークショップやってたのね。_2016 Mixed
- 20160613 - Motion Stills – Create beautiful GIFs f
- 20160617 - Haskellで関数の正格性に関するテストを書く際にはChasingBotto
- 20160617 - 最近、MacbookAirのkernel_taskが暴走してCPUを使い切られ
- 20160619 - 24_ Solitary という Tony Almeida の短いビデオクリッ
- 20160621 - プロキシ下でsubmoduleがgitプロトコルを使っている場合には git_
- 20160622 - バッグの重さは不安の表れである。 https_note.mu_fumike
- 20160622 - プログラム検証・プログラム合成のVS3とかをやっていた Saurabh Sri
- 20160623 - レビューに関わらせていただいた『グッド・マス ギークのための数・論理・計算機科
- 20160628 - The real numbers in homotopy type theor
- 20160629 - Courseraの旧プラットフォームのコンテンツが消えてしまうということで、と
- 20160630 - 今年も半分終わり。 後半もがんばるぞい。
- 20160705 - これはひどいw Tokyo Anomaly Intel_ Cluster I
- 20160706 - Pseudo-Boolean Competition 2016 http_
- 20160707 - 国際会議SAT2016の予稿集、7月一杯はフリーでダウンロードできるとのこと。
- 20160708 - FireEye IR体験 http_www.macnica.net_fir
- 20160712 - そういえば、SMTソルバのコンペである SMT-COMP 2016 http_
- 20160714 - IoT推進ラボ・経産省主催の The 2nd Big Data Analysi
- 20160714 - だいぶ遅くなってしまったが、先日のMNCTF2016のwriteupを書いた。
- 20160714 - 3分でわかる多項分布とディリクレ分布 http_www.slideshar
- 20160715 - Haskellで書かれたnano-smt https_github.com
- 20160716 - #NLPRIME 乗った〜 #Ingress
- 20160716 - honto のパワーキューブ風グミゲット
- 20160716 - エリア間の移動にタクシー使ったりしてたので、あんまり歩いていないかと思いきや、
- 20160716 - 取材の背景にちょっと映ってた(笑 #Ingress_
- 20160716 - 投稿
- 20160716 - 超人ネイガーと記念撮影! #Ingress
- 20160717 - INGRESS:TOKYO ANOMALY ComicWalker http_
- 20160718 - Macnica Networks DAY 2016 のGithubのブースでも
- 20160719 - あああ。 bifunctors-5.4でTHを使うようになったせいでSafeで
- 20160721 - DAシンポジウムのナンバーリンクソルバのコンペ http_www.sig-
- 20160721 - 制御システムセキュリティ - 東芝研究開発センター_https_youtu
- 20160726 - Pokémon GO のルアーユニットで釣れているのは、 どう見てもポケモンで
- 20160726 - Pokémon GO まだ全然初心者で Ingressの方がゲームとしては面白
- 20160726 - 進捗をプログレスバーで表示するPythonライブラリのtqdm https_
- 20160731 - Statistical errors_ P values, the _gold
- 20160801 - DeepMath https_arxiv.org_abs_1606.044
- 20160801 - Ostagram http_ostagram.ru_ という chaine
- 20160801 - 今回のTrend Micro CTF 2016 オンライン予選で唯一解けた D
- 20160802 - OS X El Capitan でHaskellのOpenCLパッケージ ht
- 20160808 - #PokemonGO 、しあわせタマゴを使った状態でまとめて進化せたりしたりし
- 20160808 - Now You See Me がHuluにあがっていたので観た。 http_
- 20160809 - eldesh さんの Infer Introduction http_d_
- 20160815 - ナンバーリンクの http_bach.istc.kobe-u.ac.jp_
- 20160816 - What is a Formal Proof_ https_golem.p
- 20160818 - DAシンポジウムのナンバーリンクのナンバーリンクの3D拡張問題 http_
- 20160823 - PB制約のソーティングネットワークへのエンコードを書いた。 ソーティングネット
- 20160826 - Dirichlet Processes_ A gentle tutorial_
- 20160826 - 食わず嫌いをしていたdplyrを初めて使ったが、なかなか便利ね。 #rstat
- 20160829 - Haskellでデータフレーム的なものを実現するFramesのチュートリアル_
- 20160831 - CMUのConstructive LogicのコースのProof Irrele
- 20160905 - How Hard, Really, is SAT_ _ Gödel_s Los
- 20160908 - http_rhiever.github.io_tpot_ TPOT is_
- 20160908 - 仮想センシング技術 https_www.youtube.com_watch
- 20160913 - Practical Probabilistic Programming wit
- 20160914 - 最近色々と一杯一杯だ。 なんとかのりきらないと……
- 20160916 - #PokemonGO 、なんかポケストップも隠れているポケモンも一切表示されな
- 20160918 - Haskell Day 2016 での自分の発表「SAT_SMT solvin
- 20160918 - なんかカエルが沢山。かわいいぞ。
- 20160918 - 奈良の滞在先に着いた。 今回AirBnBを初めて使ったけど、良さそう。 他の部
- 20160919 - Lunchbox #ICFP2016
- 20160919 - Welcome Reception #ICFP2016_
- 20160919 - free T-shirt from Jane Street! #ICFP201
- 20160920 - A typhoon is approaching to the #ICFP20
- 20160920 - Functional Geekery https_www.function
- 20160920 - 雨がひどくなってきた…… #ICFP2016
- 20160922 - 今日はFHPCと Industrial Reception に参加して、これで
- 20160923 - せっかく奈良に一週間滞在するので連作ミッションに初挑戦してみるかと思って、 「
- 20160923 - ニョロゾを相棒にして飴が貯まったので進化させたら、 トータル距離は保存されるも
- 20160923 - 春日大社、ポケモンが無限に湧いてキリがない……
- 20160924 - 奈良を歩き回った結果UPVが4723に。 9_1に4392だったので、なんとか
- 20160929 - 先日の Haskell Day 2016 でのhirataraさんのチュートリ
- 20161003 - そういえば、8月に受けたTOEIC(IP)の結果が返ってきていて、スコアは92
- 20161004 - MSのクラウドベースバグ検知サービス「Project Springfield」
- 20161004 - インタビュー:Ethereum Dev 平井 洋一氏「イーサリアムの可能性と、
- 20161005 - GHCのJavascriptバックエンドGHCJSの作者Luiteさんのトーク
- 20161005 - Guess the Programming Language http_t
- 20161005 - Machine Learning Yearning http_www.ml
- 20161005 - Wordさんが「ベイズ」に表記揺れを指摘してくるから何かと思ったら、「揺らぎ(
- 20161006 - 昨日は http_www.toshiba-clip.com_detail_
- 20161010 - #HITCON #CTF 2016 -- RegExpert, ROP, mo
- 20161011 - A proof theory for model checking http_
- 20161012 - Via Lux Adventure メダルきてたー。 奈良で頑張ったかいがあっ
- 20161012 - こないだ初めてバリウムを飲んだ生活習慣病検診の結果のお知らせがきたが、 慢性胃
- 20161013 - 「プログラムに埋め込まれた業務仕様を自動抽出する技術、富士通研が開発」 htt
- 20161021 - 10_17(月)-20(木)はプログラムの解析や検証に関わる技術を扱う国際会議
- 20161025 - CODE BLUE 2016 - 機械学習でWebアプリケーションの脆弱性を見
- 20161025 - メモ_ 国際学会で萌えキャラプレゼンしてスタンディングオベーションになった話_
- 20161026 - Z3の証明の読み方が分かったので、とりあえず簡単な例の証明を証明図として描いて
- 20161027 - Z3の証明の可視化の続き。proof.styの証明図よりもGraphVizで可
- 20161027 - 電王・Ponanza開発者が語る、理由がわからないけどスゴイ“怠惰な並列化”_
- 20161028 - #ICFP2016 の Datafun_ A Functional Datal
- 20161028 - #PokemonGo のハロウィンキャンペーン🎃👻のおかげでゲンガーとガラ
- 20161029 - Z3の証明の可視化の実験コードはとりあえず https_github.co
- 20161031 - Learning to Protect Communications with
- 20161031 - 預金が下ろせなくなる? 国の借金1000兆円を国民に負担させた「預金封鎖」とは
- 20161105 - Aegis Nova Tokyo の XM Stat Tracer Repor
- 20161108 - OptionalがSerializableではない話と使い方まとめ http
- 20161108 - しまった。今日は Cloudera World Tokyo 2016 http
- 20161115 - 先日の Reactive Research Seminar #1 の資料が公開
- 20161117 - ベトベターの飴が集まって、ベトベトンげっと。 #PokemonGo
- 20161120 - I_ve reached level 16 as an #Ingress ag
- 20161128 - Springerでサイバーマンデーのセールをやっているというので何か買おうと思
- 20161207 - そういえば、こないだランニングしているときにメタモンを初めて捕まえた。 ジムで
- 20161208 - GitHubで自動生成コードをDiffに表示しない方法 http_qiit
- 20161215 - #SECCON 2016 Online CTF で取り組んだ Retrospe
- 20161219 - Amazonに Pokémon GO Plus が入荷していたので、夫婦で二人
- 20161219 - だいぶ遅くなりましたが、Haskell Advent Calendar の16
- 20161223 - 天皇陛下∩( ・ω・)∩ばんじゃーい
- 20161229 - いつの間にかCP10の可愛いクリスマスピカチュウが捕まっていた。 しかもトップ
- 20161231 - Google Map さん、気が早いですよ〜
- 20161231 - さすが(_)江ノ島水族館、ゼニガメが同時に三匹も! #PokemonGo
2017
2018