Google Plus のバックアップ

• 2011年
• 2012年
• 2013年
• 2014年
• 2015年
• 2016年
• 2017年
• 2018年

2011

• 20110701 - てすてす。
• 20110701 - サークルというのは、「このクラスタからの情報を見たい」という単位で作るのではな
• 20110703 - 投稿
• 20110704 - 投稿
• 20110705 - http_gplus.to_msakai をとってみた。
• 20110705 - 共訳者として翻訳を担当させていただいた『抽象によるソフトウェア設計 ―Allo
• 20110705 - 投稿
• 20110707 - ねもい
• 20110707 - 投稿
• 20110712 - Although SCIP claims to be _An open sou
• 20110712 - I renewed my _Remember The Milk_ Pro Ac
• 20110712 - 投稿
• 20110713 - SAT11 Competition の結果が出ていた。 http_www_
• 20110713 - 投稿
• 20110714 - Chapter 3 _Complete Algorithms_ of Hand
• 20110714 - 投稿
• 20110715 - having itchy eyes_
• 20110715 - 投稿
• 20110716 - Google+って投稿を後から編集する際には、位置情報を追加できないのか……
• 20110716 - The Japanese translation of _Software A
• 20110717 - I implemented a parser for .opb and .wb
• 20110717 - Kohei Suenaga_s talk next week sounds i
• 20110717 - このひとたちたのしそうだな_「AndroidはGoogleにどこまで魂を売れる
• 20110718 - I_m surprised to see a news that tells_
• 20110718 - ううむ。共有された元投稿を編集しても、共有先には反映されないのね。まあ、理解は
• 20110718 - 投稿
• 20110720 - lol
• 20110722 - 投稿
• 20110723 - 平成23年度富士総合火力演習見学当選はがき、きたぁぁぁぁーーーーー！
• 20110723 - 投稿
• 20110724 - I bought a cute Cthulhu comic 『異形たちによると
• 20110724 - I_m participating in HIMA_ #7_ ICFPC 20
• 20110724 - Wow! “Cambridge Journals is celebratin
• 20110724 - _Practical Foundations for Programming_
• 20110724 - finished reading “Unboundedness in Inte
• 20110724 - 帰ったらマックがログイン出来ない状態になっていた。パスワードを入力しても、一瞬
• 20110724 - 投稿(1)
• 20110724 - 投稿
• 20110725 - I noticed that CiteULike started paid p
• 20110725 - Ughh. Yices doen_t allow empty tuple a
• 20110725 - finished reading “Towards Haskell in th
• 20110725 - finished studying _トラベル英語：緊急事態での対処編_ at
• 20110726 - スタート表現論 http_atnd.org_events_18025 のテ
• 20110726 - 素敵だなぁ。
• 20110727 - I can_t send a message on facebook._I t
• 20110727 - I_m reading Japanese translation of “Co
• 20110727 - Mac OS X PonDeLion
• 20110727 - これは便利そう。
• 20110727 - 投稿
• 20110728 - I_m installing IBM ILOG CPLEX Optimizat
• 20110729 - TGIF!
• 20110730 - GONESH No.4 なう。フルーティで甘い香り。
• 20110731 - Because http_myrss.jp_ terminated the
• 20110731 - てすてす
• 20110731 - 久しぶりに泳いできた。4sqのメイヤーを取り返すぞ〜
• 20110803 - I wrote a Alloy model that demonstrate_
• 20110804 - GNU coreutils には timeout コマンドなんてのがあるのね。
• 20110804 - I_m disappointed that Java lacks Ration
• 20110805 - via https_plus.google.com_u_0_1125908
• 20110807 - かっこいい。 via https_plus.google.com_u_0_
• 20110808 - tried macam http_webcam-osx.sourcefor
• 20110808 - スンドゥブうまうま。
• 20110809 - お墓参りなう。
• 20110809 - こういうの一度試してみたい。 via https_plus.google_
• 20110810 - そういえば、こないだ買った『入門Git』に印刷ミス(_)を発見したでござる。初
• 20110812 - I wrote an Alloy model of _Inequational
• 20110813 - イカスミのパエリア。
• 20110814 - formalized Lawvere_s fixed-point theore
• 20110815 - Region Select_ A Game Using Knot Theory
• 20110817 - https_plus.google.com_100215187201873(1)
• 20110817 - https_plus.google.com_100215187201873
• 20110817 - ２週間おきに友達に招待メールを送るかどうか設定する場所。デフォルトはYesで勝
• 20110827 - 「うごく-ID」のiPhoneアプリが出たらしいので、早速買ってみた。 htt
• 20111101 - Google Developer Day 2011 Japan おわり。楽しか
• 20111119 - G.CREW、昔使ってたので、懐かしい。_http_www.itmedi
• 20111119 - VSTTE2012 verification competition で使われ
• 20111231 - 今日は、0655・2355 _年越しをご一緒に スペシャル ですよっと。 ht
• 20111231 - 樽酒。
• 20111231 - 鐘をついて来た

2012

• 20120103 - 新年会なう。
• 20120109 - iPad用のPicasaクライアントの Best Album - Picasa
• 20120112 - http_www.cril.univ-artois.fr_~leberre
• 20120112 - reading chapter 11 “Conflict Analysis”_
• 20120112 - これは便利そう。_via_ https_plus.google.com_s
• 20120115 - wrote a small SAT solver in Haskell bas
• 20120117 - デバッグモードの時だけ出力するprintfっぽい関数を、Text.Printf
• 20120119 - 大抵のブラウザにはダウンロード履歴があるが、アップロード履歴を記録しているブラ
• 20120123 - Increases in solvable SAT problem size_
• 20120123 - libstdc++がLGPLではなくGPLだということに気づいて焦ったが、ちゃ
• 20120123 - used JUnit for the first time. Thanks t
• 20120123 - 「http_dlvr.it とFeedサービスの連携でGoogle+の投稿
• 20120123 - 投稿
• 20120124 - +Larry Tama に教えてもらったCCalをiPhoneに入れてみた。月
• 20120124 - iPhoneのFacebookアプリが、起動した瞬間に落ちるようになってしまっ
• 20120124 - それから、SMTの大会の SMT-COMP 2012 。 http_smt
• 20120124 - イスラム暦が太陰暦というのは知ってたけど、閏月による補正を行わないのか。知らな
• 20120124 - メモ_ 今年の SAT _ Max-SAT _ PB _ QBF の大会の予定
• 20120126 - via https_plus.google.com_u_0_1155357
• 20120126 - ビックバンテスト という言葉があるのね……
• 20120126 - ラグランジュ緩和(Lagrangian_relaxation)を理解した。これ
• 20120126 - 逆転裁判、映画になったのか…… http_www.gyakutensaib
• 20120127 - Haskellのコードを書いてる時はラップトップの小さな画面で全然問題ないけど
• 20120127 - revenue と turnover の違いが良く分からない……
• 20120127 - ダイバーシティを標榜していながら、役員構成とかみると全然多様性がないような会社
• 20120127 - 寒さで筋肉が緊張するのか、肩凝りがひどい……
• 20120128 - “Constraint Integer Programming” http_
• 20120128 - 「奴隷状態に於ける幸福を描いた恐るべき恋愛小説。20世紀エロティック文学の最高
• 20120128 - ＮＨＫ プロフェッショナル 仕事の流儀 第173回 及川卓也（2012年1月2
• 20120129 - GurobiはSOSには対応してるけど、indicator constrain
• 20120129 - VSTTE 2012 Software Verification Compet
• 20120130 - iPhoneでgithubを見ると何故か重くて仕方がない。なんとかならないもの
• 20120130 - 実用期を迎えた関数プログラミング http_sea.jp_p=895 と
• 20120130 - 自分の書いたおぞましいコードにより、SAN値が削られている。
• 20120131 - Cabalで、 -rtsopts に対応しているバージョンのGHCのときだけ、
• 20120131 - 毎週楽しみにしていたiTunes Storeの『今週のシングル(無料)』、ここ
• 20120202 - 今日は「直課」という言葉を初めて知った。
• 20120203 - SATのテクニックを取り入れたSCIP http_scip.zib.de_
• 20120203 - 数理最適化に関する標準的な教科書ってあるのかな。『Combinatorial_
• 20120204 - これから Google Code Jam Japan Top 200 Open
• 20120205 - Google Sites のバックアップを定期的に google-sites-
• 20120205 - Handbook of Combinatorial Optimization_
• 20120205 - readArray _ IOUArray i Int -_ i -_ IO_
• 20120205 - 久しぶりにたなくじを撮れそうだと思ったら、間違えてビデオモードにしてしまってた
• 20120207 - GLPKのAPIのお勉強中。自作のオモチャLPソルバのAPIの参考にする。
• 20120210 - Javaアプレットが含まれるページをChromeで開くと、「Javaプラグイン
• 20120210 - 自転車保険って入った方がいいのかと思ったけど、今入っている保険に限度額1億円の
• 20120211 - GHCのプロファイラの振る舞いが謎い。heap allocation しないよ
• 20120212 - 面白い。
• 20120217 - ずいぶん昔にEvernoteにクリップしたままで放置してた Conor McB
• 20120219 - Alloyはjar一個で配布してるので、JNIのDLLとかはどうしてるのかなぁ
• 20120219 - 今週のたなくじ。「大吉プレミアム」 良いことあるといいなぁ。
• 20120220 - GLPKの自作Haskellバインディング(まだつくり始めたばかり)を、Mac
• 20120221 - Process.destroy() の前に必ずすべてのストリームをcloseす
• 20120222 - MacBook Air をついにポチってしまった…… http_www.a
• 20120222 - SFCでのうちの会社の説明会が2_24(金) 16_00からι12であります。
• 20120223 - PFI Seminar の「Twitter アプリ、Facebook アプリを
• 20120224 - I_m visiting my alma mater Shonan Fujis
• 20120225 - Macのスクリーンをロックする http_wakabamac.blog95
• 20120301 - 面白い。
• 20120304 - こないだの、萩野服部研のスキー合宿のLTでの自己紹介スライド(編集版)を、Sl
• 20120304 - 湯島天神にて。
• 20120305 - algorithmic economics なんて分野があるのか…… http
• 20120306 - Artificial bee colony algorithm というアルゴリ
• 20120306 - C++は常用してないけど、こういう話は面白い。_「C++ではコンストラクタ_デ
• 20120306 - I just bought Gustav. _今更ながら試しに Gumroad
• 20120306 - MacBook Air を使い始めて、さりげなく良いなと思ったのは、MacBo
• 20120306 - via http_radiumsoftware.tumblr.com_po
• 20120306 - 今更ながら Google Cloud Print を試す。 最初、ブラウザであ
• 20120306 - 同感。
• 20120307 - PB2012 の registration site がやっとオープンした。_
• 20120311 - 「博物館に関するデータは学術や科学，その他のデータへのハブになる」
• 20120311 - みすこそ
• 20120311 - 今日のたなくじ。「二度寝凶」
• 20120314 - そういえばということで、Google Code Jam 2012 に登録した。
• 20120315 - 驚いた……
• 20120317 - 1月からBackblaze http_www.backblaze.com_
• 20120317 - 24のシーズン5をHuluで観終わった。 自分は、バウアーやパーマーみたいな
• 20120317 - GODIVA Dark Raspberry_バレンタインデーにチョコを配りまく
• 20120317 - Haskell GHC 7.0.4 on CentOS 5.8_さくらのVP
• 20120317 - MacBook Air (Mac OS X 10.7.3) で試してみようとし
• 20120317 - gcc に --input-charset オプションを指定した場合、 gcc
• 20120317 - via https_plus.google.com_u_0_1179359
• 20120317 - これも今更ながら、 Chrome Remote Desktop BETA ht
• 20120317 - せっかくサーバを借りたので、Yesod http_www.yesodweb
• 20120317 - ときどき、ブログの右側に付いているのを見かける Twitter _Follow
• 20120317 - 研究室のサーバのCGIが復旧しないので、さくらのVPSを借りて、日記「ヒビルテ
• 20120318 - Valgrindみたいなものかな。_「ページ ヒープは、ヒープ関連のバグや破
• 20120318 - カワネズミかわゆい。
• 20120318 - 今日のたなくじは「〈今週のラッキーご飯〉栗ごはん」。 もう栗はシーズンを過ぎて
• 20120318 - 実践！ Rで学ぶ統計解析の基礎 第1回 Rは統計解析のブッシュナイフだ _ h
• 20120319 - Ubuntuのcoreutilsパッケージにtimeoutコマンドが含まれてい
• 20120321 - うさ耳を付けてみた。
• 20120322 - Windows には ulimit みたいにお手軽にプロセスの使用するリソース
• 20120322 - 【再掲】明日、先進的なMIPソルバのSCIPの開発者らによるチュートリアル h
• 20120323 - 第１回 Graph CREST シンポジウム http_blog.goo_
• 20120324 - げ。opencsvのデフォルトの振る舞いってRFC4180と違うのね……
• 20120401 - Two-phase Method と Dual Simplex_単体法(S
• 20120401 - antでUnable to locate tools.jarが出た場合の対処_
• 20120401 - lol
• 20120401 - 今日のたなくじ、「大凶とニアミス」_……
• 20120403 - PBソルバでのLP緩和による下界値計算が、 コストに見合わない場合というのを具
• 20120407 - Haskellで書いたファイル変換プログラムで、 Integerのreadが遅
• 20120407 - 昨夜TVを付けたら、 アイランドという映画をやってて、 つい最後まで観てしまっ
• 20120409 - Church encoding は知ってるけど、 Scott encoding
• 20120409 - IEを起動するたびに出て鬱陶しかったので、これで無効化した。 _ ssvage
• 20120410 - Monoidics が R_D Engineer を募集してる……_http_
• 20120415 - 今日のたなくじ。「1.5倍吉」
• 20120416 - nominal logic って日本語だと何て呼ぶんだろう……
• 20120419 - どれくらいの規模までなら普通の単体法でも問題なくて、どれくらいの規模になると改
• 20120419 - 先日、使用許可をもらったので、 SCIP http_scip.zib.de
• 20120420 - Survey Propagation って実際のところどうなの？
• 20120420 - あるコードのプロファイル結果で、プライオリティキューの操作が非常に大きな比率を
• 20120421 - GHC は -static がデフォルトだと聞いていたけど、LInux でビル
• 20120421 - パラメトリシティが排中律と矛盾するという話、面白い。 https_list
• 20120422 - MIPをGLPKで解く簡単な例。 https_gist.github.co
• 20120423 - MIPLIB2010のgo19 http_miplib.zib.de_mi
• 20120423 - 投稿
• 20120426 - Google Drive が自分のアカウントでも使えるようになっていた。_
• 20120428 - #GCJ Round 1A 2012 終了。_A-Large をミスってて R
• 20120502 - http_www.garbagenews.net_archives_151
• 20120504 - graph automorphism を計算するツール saucy http
• 20120504 - おお、Gurobi v5.0 リリースされたんだ。 http_www.gu
• 20120504 - 投稿
• 20120505 - univalence を仮定するとすべての関数のグラフが等しくなるので、uni
• 20120505 - そういえば、僕は参加しないけど「帰ってきたCoqで圏論の会」 http_a
• 20120506 - #GCJ Round 1C、B Largeが間違ってて、Rank_ 79_
• 20120506 - 今週のたなくじ 「女子限定大吉(男子は小吉)」
• 20120509 - こんなのあったのね。知らなかった。 _buddha _ A declarati
• 20120510 - funsat-0.6.2 http_hackage.haskell.org
• 20120510 - うお、 rarejob 障害発生してるのか……
• 20120513 - rarejobが障害からまだ回復しないようなので、その間に iKnow! Li
• 20120513 - 今週のたなくじ。 『今週のラッキースポット「屋上」』らしい。 屋上に行く機会は
• 20120513 - 整数計画と組合せ最適化の神話。 LP緩和が非有界ならILPも非有界という例の間
• 20120514 - rarejobが休止中なので、その間に iKnow! Live の無料体験レッ
• 20120514 - 次はラングリッチ http_langrich.com_ を試してみるつもり
• 20120515 - mkTextEncoding_ invalid argument (Inval
• 20120520 - 今週のたなくじは「大吉MAX」だった。_
• 20120531 - Buchberger algorithm and integer progra
• 20120531 - Knuth-Bendixは停止性が保証されないので、その多項式環への具体化とみ
• 20120602 - 「If all the solvers you submitted are i
• 20120602 - 「決定不能の会」に対抗して、「決定可能の会」というのはどうか、とふと思った。_
• 20120602 - おお。
• 20120602 - 割り当て問題は行列の Total Unimodularity (完全単模性)_
• 20120603 - Conti-Traverso アルゴリズム を実装中。_負の係数を許すようにす
• 20120603 - きたー
• 20120603 - グレブナー基底を求める Buchberger_s algorithm の超素朴
• 20120603 - 今週のたなくじは「ジャイアント大吉」だった。
• 20120603 - 変数⊆単項式⊆多項式みたいな包含関係にある型の変換を陽に書かずに済むようにした
• 20120604 - 多項式の因数分解アルゴリズムで実装が簡単なのは何だろう。 http_en_
• 20120606 - グレブナー基底を計算するのにRisa_Asirを試してみた。_load(_g
• 20120610 - Hulu で バットマン ビギンズ をそのうち観ようと思っていたら、配信が終了
• 20120612 - Mathematica の根番号ってどういう風にふってるんだろうなぁ。
• 20120614 - Beam search というアルゴリズムを初めて知った…… http_e
• 20120614 - http_www.haskell.org_haskellwiki_Type
• 20120616 - 今日は長谷寺の紫陽花がとても綺麗だった。
• 20120617 - FX や Nutronix Revolution というマルチ商法に僕のアドレ
• 20120617 - LLLアルゴリズムはなんとなく分かったが、これをどう使えば多項式の因数分解がで
• 20120617 - 多項式の因数分解に関する基本的な性質と証明のまとめ。 _Factoring_
• 20120619 - 多項式の実根はスツルムの定理を使って分離したり、色々できるけど、複素数根につい
• 20120620 - PB12の結果が出ていた。_http_www.cril.univ-arto
• 20120628 - MiniZinc Challenge なんてのがあったのね。 毎年開催してる、
• 20120701 - VerifyThis Verification Competition 201
• 20120702 - Haskellで代数的実数の型を実装してみたが、 これをRealクラスのインス
• 20120702 - おお。面白い。
• 20120712 - LPファイルやMPSファイルも変態的なファイルフォーマットだったけど、SDPA
• 20120718 - おお。
• 20120720 - 投稿
• 20120722 - キュウべぇ……_QuBE_ A System for Deciding Qua
• 20120723 - TPP2012 (The 8th Theorem Proving and Pr
• 20120724 - 第二回「範疇文法と証明論」シンポジウム に触発されて、ずっと積ん読だった『日本
• 20120729 - 久しぶりにたなくじ出来た。 「今週のラッキー野菜 ゴーヤー 」 夏はやっぱり
• 20120729 - 数学基礎論サマースクール 2012 「計算可能性とランダムネス」 http_
• 20120807 - Tamarin prover http_www.infsec.ethz.c
• 20120809 - 面白そう。
• 20120813 - Toshiba BookPlace https_www.toshibabo
• 20120815 - あれ、Picasaからメールで共有する機能が消えてしまったのかな。 二三日前に
• 20120816 - 投稿
• 20120819 - こんなのあるんだ……
• 20120819 - 今週の自分のたなくじは「言う吉 言葉で言わないと伝わりません」だった。なるほど
• 20120821 - 奥田先生の 宗教と現代社会 2010 第04回 「イスラームとは」を、iTun
• 20120822 - 職場にインターンシップで中国出身の人が来ているので、 なんとなく触発されて i
• 20120824 - 有料サービスにお金を支払うことを「課金」と呼ぶのが、すごく気持ち悪かったんだけ
• 20120826 - Banerjee test って聞いたことなくて、何かと思ったけど、 http
• 20120826 - Coq Modulo Theories (CoqMT) http_pier
• 20120826 - Googleの二段階認証がいつのまにか日本のキャリアにも対応してたので、設定し
• 20120826 - そういえば、こないだ「ミラーレス一眼」なるものを知ったんだけど、 それって単に
• 20120826 - そういえば、こないだ沖縄に行ったときは、 オスプレイ配備の反対運動だらけなのか
• 20120826 - 今週の自分のたなくじは「即決吉 悩まないですぐ決めると吉」だった。_いつも悩
• 20120829 - 向井先生の最終講義 http_gc.sfc.keio.ac.jp_clas
• 20120829 - 日記更新_ Tseitin encoding と pseudo boolean
• 20120901 - ジェネラルたん を早速パソコンに貼ってみた。 #fpm2012
• 20120902 - Proof Summit 2012 での発表 Omega test and b
• 20120903 - #proofsummit2012 の公開済み資料をまとめてみました。_PART
• 20120903 - 今日のたなくじの結果は「遠くまでおでかけをすると吉」。遠くまで行く予定はないな
• 20120907 - これを読んで Project Tab Manager を試しにインストールして
• 20120907 - 知人が福島の桃を美味そうに食べていた https_twitter.com_
• 20120909 - Evernoteプレミアムパック3年版というのを買ってみた。_通常$45_年の
• 20120909 - http_onyourmark.jp http_onyourmark_
• 20120909 - http_yanok.net_2012_08_post-226.html_
• 20120909 - こないだ沖縄のおみやげに買ってきた黒糖サーターアンダギーの素を使って、サーター
• 20120910 - 今日の自分のたなくじは「今週のラッキーおやつ カステラ」だった。 朝起きて、パ
• 20120910 - 数学基礎論サマースクール2012 http_www2.odn.ne.jp_
• 20120910 - 昨日のrarejobの英会話レッスンの講師は、数学科修士で圏論知ってる人で、量
• 20120911 - そういえば、いつのまにかrarejobのレッスン回数が200回 約100時間を
• 20120912 - ICFP Programming Contest 2012 の最終結果が出てた
• 20120912 - 奥田先生の 宗教と現代社会 2010 第05回 「報われるということ」を、iT
• 20120915 - これは行かねば……
• 20120915 - すやの栗きんとん、美味しすぎる。
• 20120916 - KDrive https_www.kdrive.jp_ に登録してみる。_
• 20120917 - Homotopy type theory のgithubレポジトリ https
• 20120917 - Large-Scale Static Analysis at Mozilla_
• 20120917 - Skypeの発信者番号通知機能 http_www.skype.com_in
• 20120917 - かわゆい……
• 20120917 - インターネットのカタチ を読んでいたら「中国の検閲システムがチリのインターネッ
• 20120917 - 体験スカイダイビングって3万円くらいで出来るもんなんだ。 一回試してみたいかも
• 20120918 - すごい雨……
• 20120920 - すっごーい！
• 20120922 - Partly Cloudy で内側が全部水色になる雨を初めて見た……
• 20120922 - Poset Games are PSPACE-complete http_
• 20120923 - 1年くらい前に、知人にSATソルバの動作を説明しようとして、ちょうど良い資料が
• 20120923 - 今日の自分のたなくじは「朝、空を見ると吉」だった。 いい空だ。
• 20120924 - Comprehensive Analysis of the Android E
• 20120925 - 初代iPadにはiOS6入らないらしいし、 次はNexus7にしようか少し悩み
• 20120927 - むぅ。 iPhoneのiTunesとの同期をアプリの更新中に中断してしまって、
• 20120929 - こないだランニングした際にNike+とRunKeeperを試してみたけれど、ど
• 20120929 - 今日のrarejobの講師の人はMirandaを知っている人だったのでビックリ
• 20120930 - iPhotoをアップデートしようとしたら、ちょっと変なメッセージが出てきた。_
• 20120930 - 今日の自分のたなくじは「シャワーではなく、ゆっくりお風呂が吉」だった。 これは
• 20120930 - 投稿
• 20121002 - 奥田先生の 宗教と現代社会 2010 第06回 「神について考える」を、iTu
• 20121002 - 浜地さんの ICFP Programming Contest についての講演資
• 20121003 - 【ゆる募】 複数のPDFを張り合わせて大きなPDFを作る方法。  (例_ A4
• 20121006 - Tableau_Sequent Duality って面白そうだなぁ。 http
• 20121015 - http_cstheory.blogoverflow.com_2012_0
• 20121017 - Quantifier elimination でなんとなくググったら、 【ぉー
• 20121017 - http_cstheory.blogoverflow.com_2012_0
• 20121018 - CADによる量化子除去のすごく簡単なやつを実装してみて、ようやく実閉体の理論の
• 20121018 - 今年のTPPのお題(TPPmark2012)が公開されていた。 _http_
• 20121020 - http_www.youtube.com_watch_v=Q4gTV4r0
• 20121022 - 『関数プログラミング入門 ―Haskellで学ぶ原理と技法―』  http_
• 20121022 - ローソンで iTunes Card を買うと、おまけのiTunesデジタルコー
• 20121023 - 勉強になる。
• 20121024 - QEPCAD B は6変数くらいでも扱いきれなくなるのか。 もうちょっとはいく
• 20121024 - virtual substitution がよく分からない。 Fourier-
• 20121026 - しょぼいプレゼンをパワポのせいにするな! http_www.slidesh
• 20121028 - The Feit-Thompson Theorem という有限群に関する定理で
• 20121028 - かっこいいなぁ〜〜
• 20121029 - Song of the Complexity Classes http_b
• 20121029 - necomimi http_www.amazon.co.jp_gp_pro
• 20121029 - 僕の今週のラッキーぜいたくは「たきたて新米ごはん」らしい。
• 20121101 - Integral Basis Method のお勉強中。_The Integ
• 20121104 - Wahoo Blue HR Heart Rate Strap http_w
• 20121104 - 今週の自分のたなくじは「ほめ吉 【人のいいところを褒めると吉】」だった。なるほ
• 20121107 - Programming with Narrowing http_corp_
• 20121111 - 昨年のTPPのお題 Uniform Candy Distribution をZ
• 20121112 - ふと、 Branching quantifier とか IF logic とか
• 20121115 - Gurobi のリファレンスマニュアルに間違いを見つけたので報告してみた。 h
• 20121117 - agda-list の Unification assumes injecti
• 20121118 - そういえば、 Google Code Jam 2013 のスケジュールが公開さ
• 20121118 - キャピタルゲインは英語だけど、インカムゲインは和製英語だったのか。 知らなかっ
• 20121123 - 電車の暖房が強すぎて気持ち悪くなることが多い。 弱暖房車もしくは無暖房車が欲し
• 20121125 - Control.Concurrent.STM.TVar の registerD
• 20121125 - 自分の今週のたなくじは「手洗い_うがい が吉」らしい。なるほど。
• 20121216 - 投票は、デフレを肯定している民主党は論外として、他の党でどうするか悩んだけれど
• 20121219 - Google Sync が終了 http_bizmash.jp_artic
• 20121222 - Why Do Airplanes Crash_ Building an Ope
• 20121224 - ちょっと前にHuluで「ターミネーター：サラ・コナー クロニクルズ」を観ていて
• 20121224 - パブロフ https_itunes.apple.com_jp_app_pa
• 20121224 - レアジョブで25日夜のレッスンを予約しようとしたら、全講師が埋まっていて予約で
• 20121224 - レアジョブで友達紹介キャンペーンなるものを今やってて、紹介された人と紹介者にそ
• 20121224 - 天皇陛下∩( ・ω・)∩ばんじゃーい (…昨日つぶやき忘れた)
• 20121226 - ずっと初代iPadを使っていて、次のタブレットをどうしようかと思っていたが、結
• 20121230 - 12_26に注文した Nexus 7 (32GB) が昨日12_29に届いたの
• 20121231 - か、かわゆい・・・
• 20121231 - 新春たなくじは「次々吉〈次々いいことがある〉」だった。 やった！_というか、明

2013

• 20130101 - 最近、Mac mini も Macbook Air も重すぎて仕方なくて悩んで
• 20130102 - Huluで「ターミネーター：サラ・コナー クロニクルズ」を観れなくなってしまっ
• 20130102 - 【緩募】 Android向けのオススメの Google Reader クライア
• 20130103 - _達人出版会が新春お年玉セール2013 http_tatsu-zine.c
• 20130106 - OODAサイクルなるものを知った。 PDCAとは似ているようで違うのね。 ht
• 20130109 - Githubのファイルアップロード機能ってなくなっちゃってたのか。うぐぐ……_
• 20130109 - I just signed up for Computing for Data
• 20130111 - 「Foursquareで記録していてよかったと思う５つの瞬間」 http_
• 20130112 - 奥田先生の 宗教と現代社会 2010 第10回 「アレッポ石鹸は語る」を、iT
• 20130113 - +置地廣場 で売っていた「みつ豆バッグ」というのが Nexus 7 にピッタリ
• 20130113 - Huluでウォーキングデッドのシーズン1を観た。
• 20130113 - ダイオウイカすごい！！_NHKスペシャル｜世界初撮影！深海の超巨大イカ_ht
• 20130114 - こういうの見ると「おぉ〜」って感じる。
• 20130114 - せっかくNexus7買ったし、Androidアプリでも作ってみようかと、 AD
• 20130114 - なんだかiPhoneのボリュームを小さくするボタンが押されていると認識されてい
• 20130114 - やっぱり雪が降るとワクワクするよね。 ということで、雪の中を散策中。_
• 20130114 - パノラマで撮ってみる。
• 20130114 - 古民家。
• 20130115 - Androidのお勉強の続きで、Managing the Activity L
• 20130116 - Courseraの #compdata の二週目のQuizやった。しょうもない
• 20130116 - SDP(半正定値計画)の感覚を知りたくて、最近なんとなく Semidefini
• 20130116 - 今日SFCで「技術・デザイン系学校推薦　企業説明会」というのがあって、自分も企
• 20130117 - こういう風に言ってもらえると、訳者の一人としてとても嬉しい。
• 20130117 - 昨日夜更かしして、Courseraの Computing for Data A
• 20130119 - ASP Competition 2013 のアナウンスが出ていた。参加登録にE
• 20130119 - コース完了！ 恋愛の英語 - iKnow! http_iknow.jp_u
• 20130122 - +Yoshihiro Imai さんの Coq for beginners  
• 20130122 - Android に Kindle のアプリを入れてログインしたら、Amazon
• 20130122 - Courseraの Computing for Data Analysis の(1)
• 20130122 - Courseraの Computing for Data Analysis の
• 20130122 - おお。Gmailって送信前にラベルやスターを付けられたんだ。知らなかったが、こ
• 20130122 - 組み合わせ最適化問題でSDPがLPよりも厳密な下界値(最小化問題の場合)を計算
• 20130123 - I just signed up for Data Analysis #dat
• 20130123 - finally submitted _Programming Assignme
• 20130124 - POPL2013楽しそうだのう。_住井さんが実況してたCopatternsの
• 20130124 - Rは意外と普通の言語だったのでちょっとガッカリしてたけれど、ちょっと変態っぽい
• 20130124 - そういえば、ルピシアの人が講師の紅茶セミナーなるものに昨日参加したが、これは面
• 20130124 - 昼休みにランニングをするようになってから、それまでずっと昼休みにやっていたiK
• 20130126 - Finished the programming assignment of_
• 20130127 - Courseraの Data Analysis の最初の週のクイズを提出した。
• 20130127 - 久しぶりにたなくじを撮れた。「どんぐり、松ぼっくりを拾うと吉」らしい。この時期
• 20130128 - Microsoft_s virtual ecosystem aims to s
• 20130128 - 素敵。
• 20130202 - Max-SAT Evaluation 2013 の案内が出ていた。 http_
• 20130202 - 日本語Wikipediaにいつのまにか「圏論プログラミング言語」というエントリ
• 20130203 - 今週のたなくじは「女子限定大吉(男子は小吉)」だった。女子ではないので残念。
• 20130203 - 熱が上がらないので花粉症と思ってたけれど、どうも風邪だったようで、水曜夜には3
• 20130204 - Computing with field extensions http_
• 20130204 - Courseraの Linear and Discrete Optimizat
• 20130204 - Googleはこんなのも作ってるのね。この Constraint Progra
• 20130207 - Coursera の Computing for Data Analysis_
• 20130208 - A cup of cat-puchino. 
• 20130208 - CourseraのData Analysisの第三週、PCA_SVDの理解でち
• 20130210 - Twitterの過去の全ツイートのダウンロード機能、なかなか自分のアカウントに
• 20130211 - Coursera の Data Analysis のコースで主成分分析の説明が
• 20130213 - positive_negative(initial_final)が、class
• 20130213 - うお。Coq の Calculus of (Co)Inductive Cons
• 20130214 - おお、わかりやすい。_Introduction to the central_
• 20130215 - 昨日夜更かしして、CourseraのData Analysisのweek4のq
• 20130216 - のび太の人類補完計画 完結してた。
• 20130216 - 研究で手を動かし始める前に自問すべき10の質問 http_d.hatena
• 20130216 - 確かに言われてみれば…… そういう理由だったのね。
• 20130217 - semi-algebraic set の convexity をQEで判定する
• 20130219 - CourseraのLinear and Discrete Optimizati
• 20130219 - Huluでウォーキング・デッドのシーズン2を見終わった。CDCの伏線はそういう
• 20130219 - オレはPavlovするためにiOS6にあげるぞッ！ジョジョーーッ！_……マップ
• 20130219 - ワールド・プレミアム・ライブ の Norah Jones の回を見ている。  
• 20130221 - CourseraのLinear and Discrete Optimizati
• 20130224 - Peer review のレポート採点大体終わった。あとで少し見直して提出しよ
• 20130225 - やった。 SCIPをMax-SAT Evaluation 2013 に投稿する
• 20130226 - SAT Competition 2013 の案内が出ていた。 http_s
• 20130303 - 面白そう。 _ Parametricity, Quotient types,_
• 20130304 - Data Analysisのコースでも紹介されていたKaggle https_
• 20130306 - こないだの研究室のスキー合宿の際に教えてもらった、 Moves http_
• 20130306 - スキーで右膝を捻ってしまい、大丈夫だろうと思っていたのだけれど、念のため整形外
• 20130306 - 今日も会社の説明会でSFC行ってきます。_-----------------
• 20130307 - Coursera の Model Thinking のコース https_
• 20130308 - Linear and Discrete Optimization の第二週目。
• 20130310 - CrowdSolving（略称クラソル）というサイトを知った。 「データ分析_
• 20130310 - Huluでバットマン ビギンズを観た。 以前に観ようと思ったときは配信が終了し
• 20130310 - これは欲しいなぁ。
• 20130310 - コース完了！ 2012年バラク・オバマ大統領　再選勝利演説 - iKnow!_
• 20130310 - 奥田先生の 宗教と現代社会 2010 第11回 「人間らしさについて」を、iT
• 20130310 - 膝は結局、内側側副靭帯損傷の2度ということらしい。  今はギプスシーネをしてい
• 20130313 - Google Code Jam 2013 の登録が始まっていたので、早速登録し
• 20130315 - http_googleblog.blogspot.jp_2013_03_a
• 20130318 - Linear and Discrete Optimization の第三週目の
• 20130318 - 明日は『型システム入門 プログラミング言語と型の理論』の刊行記念トークセッショ
• 20130319 - Data Analysis の第二回目のレポート課題、SVM使っている人が多い
• 20130319 - トークセッションおわった〜
• 20130320 - ピアレビューの採点と最終週のクイズも提出して、Data Analysis のコ
• 20130324 - Coursera の Data Analysis の修了証がきた。やったっ！_
• 20130324 - 今日は久しぶりにたなくじ撮れた。 「猫に優しくすると吉」
• 20130324 - 昨日は「帰ってきた決定性公理オフ」なんてイベントやってたのか。 楽しそうだのぅ
• 20130326 - Coursera で自分がこないだまで受講してた Data Analysis_
• 20130326 - Max-SAT Evaluation 2013 の〆切が2週間延長されて4月1
• 20130327 - Linear and Discrete Optimization の第四週目の
• 20130327 - 前に見たときはCVC3からCVC4になったときにWin32のコードは捨ててしま
• 20130328 - Linear and Discrete Optimization の第五週目の
• 20130329 - 型システム入門 (TAPL) のPDF版の発売きた〜！ http_esto
• 20130331 - Linear and Discrete Optimization の第六週目の
• 20130402 - はてなポイントの有効期限だというメールが来たので、どうせならと、東日本大震災の
• 20130405 - ウォーキング・デッドのシーズン3 第10話「宣戦布告」まで観終わった。  ht
• 20130406 - SMTソルバCVC4のレポジトリでの開発のファイル構成の変化とコミットの様子を
• 20130406 - Takanori MAEHARA (@tmaehara)さんという方のコード_
• 20130408 - SMTソルバCVC4の1.1のリリース。 そろそろCVC3から乗り換えるべきか
• 20130408 - 項書き換え系の合流性の判定ツールの競技会の CoCo 2012 http_
• 20130413 - Google Code Jam 2013 始まってる。 http_code
• 20130418 - Kronecker_s method での多項式の因数分解、遅すぎる……
• 20130418 - TravisCI で cabal update されず新しいパッケージが参照で
• 20130419 - Kronecker_s method での多項式の因数分解の自分の実装、x^9
• 20130420 - Linear and Discrete Optimization の最終試験を
• 20130422 - SAT Competition 2013 http_www.satcomp
• 20130422 - ゴールデンウィークに計算機代数の勉強会を企画中 http_partake
• 20130423 - 計算機代数勉強会 http_partake.in_events_451a5
• 20130425 - 計算機代数勉強会で池上さんに聞いてみたい話について、池上さんがアンケートしてる
• 20130502 - ICFP Programming Contest 2013 https_r
• 20130504 - hirataraさんが「Haskellで計算機代数勉強会」のメモをとってくれて
• 20130505 - _昨日の計算機代数勉強会の自分の発表資料を以下に置きました。_PDF_ ht
• 20130505 - 今日見かけたイデアル
• 20130505 - 昨日は Google Code Jam 2013 のRound 1Bがあったけ
• 20130505 - 計算機代数勉強会が終わって一息ついた所で、次はCourseraのMachine
• 20130506 - ロシア紅茶。ジャムと蜂蜜と赤ワインが入っていて、甘くて美味しい。
• 20130507 - Coursera の Machine Learning の第一週、第二週は、教
• 20130507 - M4RI(e) - Linear Algebra over GF(2) (an
• 20130512 - GCJおわた。 今回の1Cは、体調悪かったとはいえ、ひどい結果で悔しいのう。_
• 20130512 - ここのところダルいなぁ、と思っていたら、昨日はついに熱を出してしまった。GWの
• 20130513 - Coursera の Machine Learning のコースで配布されてい
• 20130513 - Machine Learning の第三週は、Logistic Regress
• 20130513 - 久しぶりにたなくじ撮れた。 「おばあちゃんの笑顔を見ると大吉」
• 20130516 - 僕と契約してホーアトリプルになってよ
• 20130518 - Machine Learning の第四週。 今週はニューラルネットの導入。ロ
• 20130518 - ファイナル・デスティネーション http_www.hulu.jp_watc
• 20130519 - ちょっと前のIEEE SpectrumのGoogle Glassの記事おもしろ
• 20130519 - コース完了！ ゴシップの英語 - iKnow! http_iknow.jp
• 20130519 - 今日のたなくじは「ホップステップ大吉」だった。ふむ。
• 20130520 - Hensel Lifting を実装した。 整数上の多項式の因数分解の Ber
• 20130521 - 2月中旬から4月中旬くらいまで受けていた Linear and Discret
• 20130523 - 0_34 レイジ34フン http_www.hulu.jp_watch_4
• 20130523 - Courseraで今週から始まった Developing Innovative
• 20130523 - CourseraのMachine Learningの今週(Week 5)のRe
• 20130525 - SCIP http_scip.zib.de_ に簡単なフロントエンド ht
• 20130525 - 先日の計算機代数勉強会からだいぶ経ってしまったが、整数係数多項式の因数分解をす
• 20130527 - TravisCI で cabal update されず新しいパッケージが参照で
• 20130529 - HaskellでSATPLAN実装する https_github.com_
• 20130530 - Machine Learning_ a Probabilistic Persp
• 20130530 - うが。 このタイミングでヤバそうなバグ通知が……
• 20130602 - Developing Innovative Ideas for New Com
• 20130602 - gerrit というgitベースのコードレビューシステムを教えてもらった。 h
• 20130602 - https_plus.google.com_100215187201873
• 20130602 - 次は Coursera の Machine Learning の Review
• 20130602 - 鯛プチ
• 20130604 - あれ、gmailって長い行を勝手に改行するようになったの？　中途半端なところで
• 20130608 - Traced _-autonomous categories are comp
• 20130609 - Coursera の Model Thinking の第一周目のクイズをやった
• 20130609 - CourseraのMachine Learning #ml  の第7週はサポ
• 20130609 - Model Thinking のコース、Deadlines calendar_
• 20130609 - Udacity に  How to Build a Startup  http
• 20130609 - 「一般向けの Deep Learning」 http_www.slides
• 20130609 - つらぽよ・・・
• 20130609 - 今週のたなくじは「今週のラッキー麺類 おろしそば(冷)」だった。 これは食べる
• 20130617 - NISA(少額投資非課税優遇制度)の口座って、すべての金融機関を通して一人一口
• 20130617 - 今週のたなくじは「大吉MAX」 いいことあるかな。
• 20130619 - Anomaly Detection で素性ごとに正規分布でモデル化するのと、
• 20130620 - The Quipper Language http_www.mathsta
• 20130620 - [Haskell] [ANNOUNCE] Juicy.Pixels 3.1 h
• 20130622 - Coursera の Discrete Optimization のコース h
• 20130622 - Machine Learning の Anomaly Detection と_
• 20130623 - Coursera の Model Thinking https_www.c
• 20130623 - キノボリカンガルーかわゆい。_
• 20130624 - Discrete Optimization のコース、誰か受講してないかなぁ_
• 20130624 - 今日のたなくじは「お隣の人にあいさつすると吉」だった。 うーむ。
• 20130625 - 某自社の株主総会のお土産に国技館のお弁当もらったけど、これどこで食べようw
• 20130626 - こないだRubyのmechanize http_mechanize.rub
• 20130627 - Model Thinking の Tipping point の説明を聴いてい
• 20130630 - Coursera の Computing for Data Analysis_
• 20130701 - スマートフォン用防水ケースの付録がついている週刊アスキーを買ってみた。 htt
• 20130702 - 『発想する会社!―世界最高のデザイン・ファームIDEOに学ぶイノベーションの技
• 20130703 - DMM 3Dプリント http_make.dmm.com_ すごい！
• 20130703 - https_research.microsoft.com_en-us_ev
• 20130703 - おお。東芝科学館、移転・リニューアルするんだ。  http_www.tos
• 20130709 - ICSE_13 勉強会 http_qwik.jp_se-reading_9
• 20130709 - 今日のICSE_13勉強会での自分の発表資料を、一応slideshareの方に
• 20130713 - Check out the Tokyo Coursera community!
• 20130713 - Courseraで受講していた Linear and Discrete Opt
• 20130713 - Max-SAT Evaluation 2013 http_maxsat.i
• 20130715 - 2355-0655 プカ夏スペシャル http_www.nhk.or.jp
• 20130715 - App Storeが5周年でアプリとゲーム10本を無料配布 http_gi
• 20130715 - CCC #20_ Weird language http_ro-che.i
• 20130715 - “若年世代は 1_の投票棄権でおよそ 13 万 5 千円の損!_” http
• 20130715 - へぇ、カフェインってそういう風に脳に作用するんだ。  http_www.p
• 20130717 - Maps and the Geospatial Revolution http
• 20130719 - Developing Innovative Ideas for New Com
• 20130721 - Maps and the Geospatial Revolution  のコー
• 20130721 - Maps and the Geospatial Revolution の Vi
• 20130722 - 今週のたなくじは「新しいことにチャレンジ週間」。 それって運勢じゃないじゃん(
• 20130728 - コース完了！ オフィスの英語：同僚との会話編 - iKnow! http_
• 20130729 - 2013川崎国際多摩川マラソン  http_tamagawa-run.jp
• 20130729 - 土曜日に抜歯してきた二本の歯。 白っぽいほうが右上親知らずで、黒っぽいほうが右
• 20130806 - 古いハードディスクをソフマップで物理的に破壊してもらった。 http_ww
• 20130813 - Courseraでcomputationalな感じのファイナンスのコースが同時
• 20130814 - シャラポワってキャンディのブランドなんてやってたんだ。知らなかった…… htt
• 20130819 - そういえば、Coursera の Machine Learning のコース_
• 20130822 - Coursera受講に関して、朝日新聞の記事に載りました(8_22(木)朝刊教
• 20130829 - Kindleで買ったまま2年以上積読にしていた Simon Singh の T
• 20130916 - NHKクローズアップ現代「あなたもハーバード大へ ～広がる無料オンライン講座～
• 20131003 - 東京風速 http_air.nullschool.net_ 東京の風速の可
• 20131004 - 緩募_ 代数的実数A,Bの間に含まれる最も単純な有理数を求めるアルゴリズム。た
• 20131006 - 先日抜歯した奥歯 https_plus.google.com_100215
• 20131014 - Macbook Air の内蔵カメラがいつの間にか認識されなくなっていたが、 
• 20131014 - 引越して新しく買った Canon MG6330 というプリンタが、Google
• 20131018 - コース完了！ ニュース英語 政治1 - iKnow! http_iknow
• 20131019 - MiniSat in your browser http_www.msoo
• 20131020 - 最近、我が家に住人が増えた。
• 20131021 - Introduction to Recommender Systems の P
• 20131024 - Introduction to Recommender Systems の P
• 20131024 - iPhone4からiPhone5sに乗り換えたので、気になっていた活動量計の_
• 20131025 - おお、ウォーキング・デッドのシーズン4始まったんだ。  http_www_
• 20131026 - 同居人の食事中画像。
• 20131026 - 昨日一日 misfit shine をつけて見た結果。 目標の1000ポイント
• 20131030 - Courseraでの学習についての話が、先日の朝日新聞教育欄に続いて、以下でも
• 20131030 - なんか custom URL なるものをゲットした。 https_goog
• 20131031 - Googleが海上データセンターとみられる謎の巨大施設を建設中 http_
• 20131031 - お餅の中にカラメルとろり　プリン味の「雪見だいふく」 http_www.a
• 20131104 - Buried (邦題_ リミット) 観た。 棺桶の中だけでこれだけ引っ張るのは
• 20131114 - ここしばらく受けていたCourseraの Introduction to Co
• 20131117 - 今日参加した2013川崎国際多摩川マラソンの記録証。 8kの部門で記録は45分
• 20131121 - Learning to rank for spatiotemporal sea
• 20131121 - Tokyor14 - R言語でユニットテスト http_www.slide
• 20131122 - Quadratic programming (QP) ってどういうときに嬉しい
• 20131124 - 今更ながら Conal Elliott の Beautiful differe
• 20131127 - 「自動微分を使って線形回帰をしてみる」 http_msakai.jp_d_
• 20131128 - 自動微分で線形回帰の続きで、何となくnonlinear-optimizatio
• 20131129 - Agdaメーリングリストの“If all functions (N-_N)-_
• 20131130 - Overloaded record fields for GHC http_
• 20131130 - あと、東ロボの話を読んで、自作のQE実装ももう少し何とかしたいなぁと思うなどし
• 20131130 - 今更だけれど、「人工頭脳「東ロボくん」、代ゼミ東大模試に挑戦　結果は“偏差値6
• 20131201 - ad-3.4でのTraversableの使い方を見て、こういうときに使うと便利
• 20131202 - nonlinear-optimizationパッケージのAPIがあまりイケてい
• 20131203 - CAV 2014 のCFP http_cavconference.org_
• 20131203 - こないだは自動微分で線形回帰を実装してみたので、予定通り今度はロジスティック回
• 20131204 - Gurobiが開発者を募集してるとのこと http_www.gurobi_
• 20131204 - Packing Santa_s Sleigh https_www.kagg
• 20131205 - こないだの_トポスの話の続きで混乱中。 Mitchell-Bénabou la
• 20131210 - こないだまでRでお仕事してたが、今度はPythonでお仕事している。 Pyth
• 20131219 - ようやく Introduction to Recommender System
• 20131219 - 最近のお仕事方面のことについて、プレスリリースが出てました〜_東芝：プレスリ
• 20131223 - 天皇陛下∩( ・ω・)∩ばんじゃーい
• 20131226 - 川崎グランシティモール実証実験始まりました！ http_www.city_
• 20131226 - 最近、結婚のお祝いとして、SCIPのTシャツをいただきました。ありがとうござい
• 20131228 - これはかわゆい・・・
• 20131228 - コース完了！ ジョン・F・ケネディ　就任演説 - iKnow! http_
• 20131228 - 昨日の皇居ランの後の買い物では、ランニング用のスポーツタイツの CW-X スタ
• 20131228 - 昨日は皇居2周走ったりしてたら、 misfit shine でのポイントが目標
• 20131231 - 2014年 あけましておめでとうございます。 今年もよろしくお願いします。
• 20131231 - 本日 23_55 からは「２３５５・０６５５年越しをご一緒にスペシャル」ですよ

2014

• 20140101 - 今年のおみじくは末吉。 今年は焦らずに気長に行くのが良さそうか。 まあ、毎年そ
• 20140101 - 昨年11月に終了してしまったCourseraの Introduction to
• 20140102 - 今日は実家に顔を出したので、録画してもらっていた「２３５５・０６５５年越しをご
• 20140103 - ウサギ、舌だした〜♪
• 20140103 - 吾唯足知
• 20140105 - 今更だけれど、2013年の振り返りを書いてみた。 こうして書き出してみると、2
• 20140106 - 1_8(水)にSFCで開催の学校推薦制度 推薦対象企業説明会 http_w
• 20140106 - Courseraの Introduction to Recommender S
• 20140106 - かわゆい。
• 20140107 - http_www.msi.co.jp_nuopt_ 「汎用数理計画法パッケ
• 20140129 - 緩募_ Android用のおすすめのGPSロガーアプリ。 iPhoneと違って
• 20140202 - コース完了！ デジタルマーケティング業界必須の英単語100 - iKnow!_
• 20140203 - 初ヨガ体験。 http_cbcyoga.com
• 20140207 - 泊まったペンションにいた猫が可愛いかった。
• 20140226 - ライプツィヒの朝。
• 20140227 - SCIP 3.1.0 リリース、おめでとう！ おめでとう！ http_sc
• 20140228 - くそ。ベルリンでiPhoneすられた！　これはショックでかい…… orz
• 20140301 - 空港で味噌ラーメン食べてる。
• 20140304 - そういえば、iPhone 5s が盗まれたので、BLEを利用する Misfit
• 20140304 - 先日iPhoneが盗まれたので、080-_-7660の電話番号はしばらく
• 20140307 - 先日ZIBで話したときのスライドを、少し修正して Slideshare に置い
• 20140308 - From Reversible to Irreversible Computa
• 20140308 - 投稿
• 20140309 - スラれてしまったiPhoneを再購入するため、幾つかのオプションを検討したのだ
• 20140323 - これから多摩川リバーサイド駅伝 http_tamagawa-run.jp_
• 20140329 - およ。 CourseraのAndroid版の公式アプリでたのかな。 https
• 20140405 - たまたま『最適化の数学』(茨木 俊秀) http_www.amazon.c
• 20140405 - ウサギお昼寝中。
• 20140406 - 「正規表現入門　星の高さを求めて」 http_www.slideshare
• 20140409 - こないだの話もあって、なんとなくその辺にあった『組合せ最適化 第2版 (理論と
• 20140412 - Max-SAT Evaluation 2014 の〆切が延長されていた……
• 20140414 - そういえば、週末はGCJ2014のQualification Round ht
• 20140414 - ふう。そういえばようやく3月が終わった気がする。長かった……
• 20140414 - 昨日は Ideals, Varieties, and Algorithms 読
• 20140424 - うお。 僕も使っている Moves 、Facebookに買収されたんだ…… h
• 20140424 - そういえば Courseraの Heterogeneous Parallel_
• 20140506 - IOモナドでヒープ割り当てを強制される件 http_msakai.jp_d
• 20140506 - モルモット面白すぎる。 https_www.youtube.com_wat
• 20140509 - 今日はHaskellでちょっと奇妙なバグに悩まされた。 GHCiでは再現せず、
• 20140511 - Brazilian type checking http_math.and
• 20140511 - Google Code Jam 2014 https_code.googl
• 20140513 - 自作のMIPソルバで数値型を選択可能にしていたら、Rationalだと期待した
• 20140516 - そういえば、Coursera の Discrete Optimization_
• 20140518 - 衝撃の新技術!! WiFiではなく地磁気を利用し建物内でピンポイントに位置を特
• 20140520 - Rのモデル式(_)のドット(_._)やマイナス(_-_)の解釈が良くわからない
• 20140520 - うぎゃ。Max-SAT Evaluation 2014 に投稿した自作ソルバが
• 20140520 - 第４３回タートルマラソン国際大会（２０１４／１０／１９開催） http_t
• 20140523 - logic-TPTP-0.4.0 http_hackage.haskell
• 20140524 - Dr. Achterberg Joins Gurobi http_www_
• 20140524 - あれ。cabalのパッケージでオマケ実行ファイルを Buildable_ Fa
• 20140525 - +Jun Mukai が紹介していたモニュメントバレー  https_pl
• 20140525 - 翻訳カメラ「Word Lens」をGoogleが買収。有料アドオン3,000円
• 20140526 - GHC-7.8 を試したら、primopsの型が変わっていてコンパイルエラーに
• 20140526 - 先日、砂場遊びは地獄のかほり - ぼくのぬまち 出張版 http_noto
• 20140527 - Z3-str_ A Z3-based String Solver for We
• 20140601 - Syntax-Guided Synthesis Competition htt
• 20140605 - アチーブメント獲得！ウィークリー・ターゲットを95回クリアしました - iKn
• 20140607 - ねんがんのトトロのシュークリームをついに食べたぞ http_www.shi
• 20140607 - トトロのシュークリーム by 白髭のシュークリーム工房
• 20140610 - ロマサガメドレー動画（原曲ver） https_www.youtube.c
• 20140617 - Gradient Boosted Regression Trees in sc
• 20140617 - 非常に今更だが、 scikit-learn http_scikit-lea
• 20140622 - コース完了！ ニュース英語 経済1 - iKnow! http_iknow
• 20140623 - なんで、このウサギは、こう変なスペースが好きなのか……
• 20140630 - 今更ながら Ingress https_www.ingress.com__
• 20140703 - オプトDSLのコンペ「銀行の顧客ターゲティング」 https_datasc
• 20140704 - ボーナスげっと！
• 20140705 - My #Ingress agent profile. プロファイルの共有機能が
• 20140705 - かわゆい
• 20140706 - 「頑張れ!!豆腐メンタルちゃん!!　第１話」読んだ。 http_www.t
• 20140707 - 今日はもうちょいというところでLv4にはなれなかったけれど、これまでより大きな
• 20140709 - 無事に LVL 4 になれた。  #Ingress  
• 20140714 - #Ingress  のiOS版きたー! https_itunes.app
• 20140714 - bookmarked_ SMO徹底入門 - SVMをちゃんと実装する http
• 20140715 - おお。これは素敵だなぁ。 #Ingress_
• 20140715 - ソニーで「MEGASTAR」を事業化しようとした話 http_techon
• 20140717 - #Ingress のポータルを初投稿してみた。 iOS版にはまだ投稿機能がない
• 20140718 - #Ingress で無茶したり大人気ない事とかしてたら、物資が尽きて来た。 ポ
• 20140718 - Max-SAT Evaluation 2014 の結果が出ていた。http_
• 20140719 - 東京サンシャイン水族館がペンギンが道案内してくれるアプリで入場者が1.5倍に！
• 20140721 - My #Ingress agent profile. ようやくLVL 6になれ
• 20140721 - Rのgbmパッケージで遊んでいる。 LambdaMARTも実装されてるんだねこ
• 20140723 - https_github.com_discobot_LambdaMart_
• 20140723 - 昨日はICSE_14勉強会 http_qwik.jp_se-reading
• 20140724 - Kurt Gödel Fanfare なんてのがあるのね…… _ FLoC O
• 20140725 - iKnow!で「ニュース英語 政治2」のコースを完了。 http_ikno
• 20140727 - iKnow! で「GRE Verbalセクション：1」というコースを初めてみた
• 20140730 - Dependently Typed Programming with Sing
• 20140801 - ICFP Programming Contest 2014 のシミュレータが_
• 20140802 - Haste のテストに使うために、今更ながらNode.jsインストールしてみた
• 20140803 - おお〜 素晴らしい。
• 20140803 - ようやくレベル7になった。 僕より後から初めてもっとレベルが上がっている人も周
• 20140803 - 謎のコンパイルエラーにしばらく悩まされたが、原因はhaskelineパッケージ
• 20140804 - Hasteで簡単なコマンドラインアプリをjavascriptにコンパイルしてn
• 20140805 - 昨年読んだ「一般向けの Deep Learning」 http_www.s
• 20140807 - #Ingress で最近 Querying Linkability に時間がか
• 20140807 - Yicesのソースコードが公開されていた。 http_yices.csl_
• 20140807 - darcsレポジトリのホスティングサービスの老舗(_)のpatch-tag、8
• 20140808 - 4ti2という計算代数ソフトウェアパッケージ(_)があるのか。知らなかった。_
• 20140809 - かわええ。
• 20140809 - コマンドラインでの対話的シェル(REPL)みたいなのを Haste を使ってブ
• 20140810 - #Ingress  で時々見かけてたこの顔文字「╭( ･ㅂ･)و  GO!G
• 20140810 - Mac OS X 10.7.5でLLVM→JavaScriptコンパイラのem
• 20140812 - 数独をJavascriptだけで解くページを作った！ https_dl.d
• 20140813 - データ解析コンテスト「データサイエンスフェスティバル」 https_lpc
• 20140814 - 夏休みに新たに１つ言語を学習するとしたらなんだろう。 Julia_ Go_ …
• 20140817 - adが3.4から4._になってAPIが色々変わって使い方がよくわからなくなって
• 20140819 - いい空だ。
• 20140825 - 以前に少し話題になった「webMathematicaで学ぶ大学数学」 http
• 20140827 - WERAM1100 http_www.toshiba.co.jp_abou
• 20140827 - デジタル貸金庫 http_tosafebox.com_ 、いつの間にかサー
• 20140829 - I_ve reached level 8 as an #Ingress age
• 20140829 - 「Webの未来 ～ PNaClとasm.jsでカワルミライ - いま、モバ
• 20140904 - Don_t cross the streams! The apocalypse
• 20140904 - ICFP Programming Contest 2014 の結果が出ていた。
• 20140904 - SAT solving - An alternative to brute f
• 20140904 - 最近、 #Haskell でコードを書いていて、代数的データ型の型シノニムに付
• 20140905 - アチーブメント獲得！週間ターゲットを105回クリアしました - iKnow!_
• 20140911 - Xpress 7.7 がリリースされたとかで改善点にParallel Simp
• 20140911 - 「形式化」「定式化」「符号化」_「形式化」(formalize, forma
• 20140913 - お。  #Ingress  でポータル名の誤りの訂正を申請してたのがaccep
• 20140913 - 論理関数に関係する用語の日本語訳はいまいちピンとこないものが多い。最小項(mi
• 20140914 - カワウソと握手したくて市川市動植物園行ってきたけど、握手できず。残念無念(^^
• 20140914 - ミーアキャット、見張り中。
• 20140914 - レビューに参加していた『アンダースタンディングコンピュテーション』(Tom S
• 20140915 - The cumulative hierarchy of sets (guest
• 20140917 - Purifierのブロンズメダルまであと少し #Ingress_
• 20140920 - ICQのiOS版_Android版が最近でたという話を聞いて、試してみて、懐か
• 20140921 - gmailのサマリー画面で、githubのissueの通知メールに「View_
• 20140923 - MSR SVC の閉鎖の話、色々なブログ記事を読んでいると、切なくなってくる…
• 20140923 - https_www.youtube.com_watch_v=c9SUAcN
• 20140924 - https_twitter.com_gleam_df_status_511
• 20140924 - 「解雇出来ないために、本来ならば企業内に置くべき人材まで流動性の高い選択肢であ
• 20141001 - Can_t wait to be a real player at @fath
• 20141005 - Do optimal proof systems exist_ (guest_
• 20141006 - A Dependent Type Theory with Names and_
• 20141006 - Sudoku, Linear Optimization, and the Te
• 20141007 - I_ve earned the Recharger medal in #Ing
• 20141008 - 9月半ばに申請したポータルが承認されていてSeerの実績が1増えた。 数ヶ月か
• 20141016 - I_ve earned the Mind Controller medal i
• 20141018 - I_ve earned the Pioneer medal and reach
• 20141018 - コース完了！ TOEFLリーディング対策：1 - iKnow! http_
• 20141019 - 今日はこれから第43回タートルマラソン国際大会でハーフマラソン http_
• 20141020 - Combinatorial Optimization at Work http
• 20141020 - MacでExFATなデバイスをマウントするとmdworkerが暴走する件、対策
• 20141021 - TPPmark2014 http_imi.kyushu-u.ac.jp_l(1)
• 20141021 - TPPmark2014 http_imi.kyushu-u.ac.jp_l
• 20141023 - Boolector http_fmv.jku.at_boolector__
• 20141027 - おおお、これは凄い。 いいなぁ。
• 20141027 - こないだの #RAMP2014  の論文集の原稿が一部を除いて公開されていた
• 20141028 - 昨日の MOOCs meeting http_www.meetup.com
• 20141102 - 『「一体感」が会社を潰す 異質と一流を排除する＜子ども病＞の正体 (PHPビジ
• 20141103 - モバイル・インターネット市場における最新投資先データ http_thebr
• 20141104 - オックスフォードで学んだ、アニメまでアカデミックに議論する「思考の作法」 ht
• 20141107 - FANN (Fast Artificial Neural Network Li
• 20141107 - そういえば、こないだConnectorのシルバーとAPが揃ってL10になれた。
• 20141107 - レビューに参加していた『関数プログラミング 珠玉のアルゴリズムデザイン』を献本
• 20141109 - アグレックスの公開買付けの開始のお知らせ http_www.nikkan_
• 20141116 - I proved TPPmark2014 using Agda. https_
• 20141120 - FIMI’03_ Workshop on Frequent Itemset M
• 20141120 - Grothendieck 亡くなってたのか……  http_www.tel
• 20141202 - 今日はこれからTPP2014で福岡へ！ http_imi.kyushu-
• 20141206 - アボカドアイスうまい
• 20141209 - 12_15(月)のJohn Powerの余帰納的論理プログラミングの話、面白そ
• 20141209 - 週末に東京ミネラルショー http_www.tokyomineralsho
• 20141211 - Haskellの乱数事情 - Qiita http_qiita.com_p
• 20141211 - 道につもったイチョウの落ち葉が素敵。
• 20141213 - ANKERのスポンサー物品に当選してた、やった！ #Ingress
• 20141213 - かった〜！！ #ingress_
• 20141219 - Javascriptだけで数独を解くページ https_dl.dropbo
• 20141222 - Googleカスタム検索で使っていたロゴ画像がリンク切れてたので、変更しようと
• 20141222 - “Parametric Robust Control by Quantifie
• 20141222 - 久しぶりにMeadowをインストールしようとしたらサイトに繋がらず、どうもサイ
• 20141223 - 天皇陛下∩( ・ω・)∩ばんじゃーい
• 20141224 - My wife made me the Go Gopher with cra
• 20141226 - メリークマスマス！ 今年のクリスマスはテディベアケーキだったクマー！ クマ真っ

2015

• 20150102 - 実家で録画してもらっていた「2355-0655　年越しをご一緒にスペシャル！」
• 20150104 - 川崎大師のおみくじの方は「吉」だった、「願望」が「苦難を経て後叶ふべし」とのこ
• 20150106 - Max-SATソルバopen-wboのバージョン1.3.0が公開されたとか。_
• 20150108 - うお。2012を最後に開催されていなかったが Pseudo-Boolean C
• 20150109 - cryptominisat4にMinisat風の皮を被せて、open-wboに
• 20150116 - LinuxやMacでのHaskellプログラムのWindows用バイナリのビル
• 20150126 - コース完了！ TOEFLリーディング対策：2 - iKnow! http_
• 20150201 - 今更ながら、 +Mitsutoshi Aoe さんの http_maoe_
• 20150206 - Nexus 7 (2012) を Android 5.0 Lolipop にア
• 20150212 - Microsoft Malware Classification Challe
• 20150213 - 「SAT問題と他の制約問題との相互発展」という論文がソフトウェア科学会の「コン
• 20150215 - Google Driveの容量2GBプレゼントらしいので、Googleアカウン
• 20150215 - SAT Live! http_www.satlive.org って、昔RS
• 20150216 - Courseraの #gamification  のコース https_
• 20150217 - SimplexJS http_iaindunning.com_2013_s
• 20150217 - 「SlideShareのスライドをダウンロードできるサイトを作りました_」 h
• 20150218 - A Cubical Approach to Synthetic Homotop
• 20150218 - ポータルが攻撃されているが、自分は Scan FAILED で何も出来ん。うぐ
• 20150224 - 「ピーFIの研究開発現場」 http_www.slideshare.net
• 20150225 - I_ve reached level 11 as an #Ingress ag
• 20150226 - たまにTwitter上とかで6÷2(1+2)は1ではなく9だとドヤ顔で言ってい
• 20150228 - OpenSMT https_code.google.com_p_opens
• 20150228 - http_coveralls.io でソースコード中のunicodeが表示
• 20150303 - かわゆい
• 20150308 - かつしかふれあいRUNフェスタ http_www.katsushika-f
• 20150321 - Coursera の Discrete Optimization https_
• 20150324 - Coursera の Gamification のコースの修了証が来た。 最初
• 20150327 - International Workshop on Quantificatio
• 20150327 - Nexus7(2012)をLolipop(Android 5.0.2) で使っ
• 20150327 - わお。SMTソルバのZ3がオープンソースになったらしい。これは凄い！ http
• 20150328 - 投稿
• 20150406 - posted “古いUbuntuにCryptominisat4をインストールす
• 20150407 - Beyond Valuation_ Past, Present and Fut
• 20150407 - 第13回ICRセミナー_ 動的意味論の最前線 http_www.u.tsu
• 20150408 - ちょっと前に話題になっていた、リバーシブルにしないことでAppleの特許を回避
• 20150411 - I_m taking “Process Mining_ Data scienc
• 20150412 - Google Code Jam 2015 のQualification Rou
• 20150412 - Google Play から「あなたの好きな映画を 1 本プレゼント」というの
• 20150412 - iPhoneをしばらくiOS7のまま使っていたが、Microsoft Offi
• 20150415 - F1 score は precision と recall の harmoni
• 20150415 - Process Mining_ Data science in Action_
• 20150416 - How Amazon Web Services Uses Formal Met
• 20150416 - SSTable and Log Structured Storage_ Lev
• 20150416 - What makes a good engineering culture__
• 20150419 - ほんとうに便利だった業務で使えるJava SE8新機能（JJUG CCC 20
• 20150419 - 増える単数形の「They」 http_jp.wsj.com_article
• 20150419 - 自作SATソルバのSMTソルバ実装用のフックのテストのために、SAT modu
• 20150421 - Process Mining_ Data science in Action_
• 20150425 - Google Cloud DNS https_cloud.google.c
• 20150425 - 「浮気、ダメ絶対」浮気がバレた男性に彼女から送られてきたメール。添付された画像
• 20150425 - ふとAgentプロフィールを見たら、Distance Walked が999k
• 20150425 - ワークフローネットの概念って、Process Mining_ Data sci
• 20150425 - 最近 Process Mining_ Data science in Acti
• 20150426 - Coursera から Coursera Research_ Course E
• 20150426 - Coursera’s Global Translator Community_
• 20150427 - Process Mining_ Data science in Action_
• 20150428 - なんか、ここ一週間くらい体がだるくてだるくて仕方ないなぁと思っていたら、今日に
• 20150429 - Coursera の Malicious Software and its U
• 20150430 - C# は、言語としては better Java というくらいの認識しかなく、あ
• 20150430 - Kaggleから「Kaggle Update_ Our A_B tests p
• 20150501 - 昔gistに貼ったGLPKでMIPを解くサンプル https_gist.g
• 20150503 - +Kazunori Sato さんの書いていた「Fluentd＋BigQuer
• 20150503 - Google Code Jam 2015 の Round 1B はまたパスでき
• 20150503 - Process Mining_ Data science in Action_
• 20150504 - (o1, o2) -_ o1 - o2 なんて呪文はもうやめて！ - Java
• 20150504 - PuLPからSCIPを利用するためのモジュールを書いてみた。 https_
• 20150504 - 下記の件、無事発見することが出来ました。 ご心配をおかけしました。_---_
• 20150505 - 今更ながら Deep-Q-Learner のコードを動かしてみる。 幾つかエラ
• 20150506 - Discrete Optimization の全課題の〆切が明日でヤバい。 前
• 20150506 - Google Play が「旅のおともに、映画を１本プレゼント」 https_
• 20150506 - My #Ingress  agent profile. 最近の実績はこんな感
• 20150507 - KDD Cup 2015 - Predicting dropouts in M
• 20150507 - Sulum Optimization Tools http_sulumop
• 20150507 - ゴールデンウィーク中の主なアクティビティまとめ。 色々やりたいことは沢山あった
• 20150508 - Haskellでモナディックに解を列挙するような場合ってどういうインターフェー
• 20150508 - OptaPlannerというlocal searchによるCSPソルバがあるの
• 20150509 - Process Mining_ Data science in Action_
• 20150509 - 決算出せない東芝さん、急に粉っぽくなる _ 市況かぶ全力２階建 http_
• 20150510 - Discrete Optimization の課題で使おうかと、cryptom
• 20150510 - Google Code Jam 2015 は Round 1C もまたダメだっ
• 20150510 - Google+って投稿の公開範囲を後から変更したり出来ないのか。 それはそれで
• 20150510 - 今年の正月の「大人のピタゴラスイッチ〜数ピタ！たのしい数学〜」、実家で録画して
• 20150516 - Process Mining_ Data science in Action_
• 20150517 - Gurobiに free online course license なんてラ
• 20150519 - 3月頭から2ヶ月ほど受講していたCourseraのDiscrete Optim
• 20150520 - Yum is dead, long live DNF http_dnf.b
• 20150520 - 「MQTT とはなんだったのか」 https_gist.github.co
• 20150521 - Summer School on DSL Design and Impleme
• 20150521 - The troublesome reflection rule (TYPES_
• 20150523 - Process Mining_ Data science in Action_
• 20150524 - Engineering Velocity_ Building Great So
• 20150524 - 自作ソルバ(toysolver)の一部として書いていたOPB_PBOの入出力ラ
• 20150526 - クラウドの運用になって インフラエンジニアは何が変わるのか_ http_w
• 20150526 - 正規言語と代数と論理の対応：An Introduction to Eilenb
• 20150526 - 科学的に証明された「生涯パートナーを愛し続けられる8つの方法」 http_
• 20150527 - Misfit Shine のスポーツバンド、 暇つぶしにグネグネして遊んでいた
• 20150527 - 同僚からもらったフォーチュンクッキー曰く_ Your inheritance_
• 20150528 - Rubyのリファレンスマニュアルでflattenメソッドが「平滑化」と訳されて
• 20150603 - Haskell の random パッケージが結構ボトルネックになる事例に初め
• 20150603 - 投稿
• 20150603 - 転職基準　スタートアップへの転職を検討するための予備知識 http_www
• 20150607 - How To Add Swap on Ubuntu 14.04 https_
• 20150607 - ふと、goを試して見ようと思い、「シュッと golang に入門する話」 ht
• 20150608 - Haskellのinfluxdbライブラリを使っていて気付いたマイナーな問題を
• 20150608 - MacOSXでPATH環境変数をグローバルに設定するには、_etc_path_
• 20150611 - Wordの数式エディタで分数式を挿入したら上下がはみ出てしまって困ったのだが、
• 20150611 - ある同僚が Ken Thompson のことを知らなくて、ちょっと衝撃を受けた
• 20150620 - PB15に投稿するために、MINLPLIB2の0-1変数のみのインスタンスを、
• 20150622 - CTF for ビギナーズ 2015 東京 https_ctf4b.doo
• 20150622 - メルボルン大の Modeling Discrete Optimization_
• 20150701 - 今年のMax-SAT EvalutionとPseudo Boolean Eva
• 20150706 - CTF for ビギナーズ 2015 東京 の簡単な参加メモを書いた。 htt
• 20150713 - L-BFGS-B _http_users.iems.northwester
• 20150714 - Building Bridges between Symbolic Compu
• 20150716 - L-BFGS-B を試したついでに、IpoptのHaskellバインディングも
• 20150718 - Machine Learning のコースでやったニューラルネットワークでの数
• 20150718 - ニューラルネットでの文字認識の同じ例を、ついでにChainerでも試そうとして
• 20150719 - メタヒューリスティクスって、例えば https_en.wikipedia_
• 20150720 - 先日のニューラルネットワークでの数字の文字認識の例のHaskellのコード、a
• 20150721 - probSAT https_github.com_adrianopolus
• 20150725 - http_cs.nyu.edu_pipermail_cvc-users_2
• 20150726 - 「静的解析と動的解析を組み合わせたバイナリーコードの制御フロー解析手法」 ht
• 20150729 - Max-SAT evaluation 2015 へ投稿した自分のソルバ、テスト
• 20150729 - 先日の #hasmoku でやろうとしてたSVM出来た。 https_gi
• 20150730 - SMT-COMP 2015 の結果 http_www.smtcomp.or
• 20150731 - lol. ほんとこれ。
• 20150731 - ⼤企業で実現するイマドキの内製開発 http_www.slideshare
• 20150802 - CourseraのMachine Learningのコースの課題で使ったSVM
• 20150803 - Courseraの Modeling Discrete Optimizatio
• 20150803 - 定理証明に関するワークショップTPP2015のお題(TPPmark)が公開され
• 20150805 - 最適化から見たディープラーニングの考え方 http_www.orsj.or
• 20150811 - ICFP Programming Contest には例年のように Team_
• 20150816 - GHCのPatternSynonyms拡張を初めて触ってみたのだけれど、ガード
• 20150817 - ICFP Programming Contest 2015 の、コマンド列から
• 20150818 - こないだのSVMを列生成法でという話 https_plus.google_
• 20150819 - リストバンド型生体センサ「Silmee™ W20」「Silmee™ W21」の
• 20150820 - Notions of Computation as Monoids http_
• 20150820 - 昨日は数年ぶりにTOEIC(IP)を受験。 リスニングが結構聞き取れなくて焦っ
• 20150822 - ILP Modulo Theories http_www.ccs.neu_
• 20150823 - Facebookに買収されたMonoidicsのInfer、オープンソース化さ
• 20150905 - Clang MapReduce -- Automatic C++ Refact
• 20150906 - https_www.youtube.com_watch_v=4hJTm8p
• 20150906 - ふと思ったのだけれど、「爽健美茶」 ってちょっと『層・圏・トポス』っぽくない？
• 20150907 - 「よくわかる、なぜ「五輪とリエージュのロゴは似てない」と考えるデザイナーが多い
• 20150907 - 東京電力の「でんき家計簿」の自分の各種データをCSVにしたいのだけれど、どうス
• 20150909 - こないだ受験したTOEIC(IP)の結果は905点(リスニング425点、リーデ
• 20150913 - なんか、最近EvernoteのiOSクライアント(7.7.11.316587)
• 20150913 - 最近、fluentd経由でBigQueryにちょっとしたデータを取り込んでいる
• 20150916 - ミカンジュースが出る蛇口 #fit2015_
• 20150917 - JAL SKY Wi-Fi からの投稿テスト。 てすてす。
• 20150917 - 愛媛のゆるキャラ「みきゃん」とツーショット http_sp.yurugp_
• 20150918 - そういえば ITOEN × INGRESS のキャンペーン、こないだ社内の自販
• 20150924 - SAT2015は今日から開催。僕は参加できないけれど、予稿集がオープンアクセス
• 20150925 - Pseudo-Boolean Evaluation 2015 の結果が公開され
• 20150926 - Max-SAT Evaluation 2015 http_maxsat.i
• 20150926 - 『グレブナー道場』の英語版が出ていることを教えてもらった。 http_ww
• 20150930 - 「啓示の夜のパワーキューブ」のキーが消失して、しょぼーん(´・ω・｀)   #
• 20151004 - Trick or Treat! ……ラゾーナのモロゾフグランがリニューアルオー
• 20151004 - そういえば先週末はTen_48というチームに混ぜてもらって Trend Mic
• 20151005 - Misfit Shine のスポーツベルトが、今度は本体の周りでポキっと切れた
• 20151005 - フランスでの初ハックはシャルルドゴール空港の2Fターミナル #Ingress
• 20151006 - ボルドーで #Ingress でワンコしてたら、現地のエージェントに声をかけら
• 20151007 - ワイン作りのお勉強とテイスティングのお時間。
• 20151007 - 投稿
• 20151011 - エールフランスの月曜日のスト、自分たちのフライトには結局影響なかったので、その
• 20151011 - クレジットカードはフランス語では les cartes de crédit と
• 20151011 - ライフログデータをMovesに集約したくて、飛行機に載っている間の移動データ†
• 20151011 - 今回のボルドー旅行で観た映画。行きの飛行機では Mad Max_ Fury R
• 20151011 - 今回のボルドー旅行の心残りの１つはカンコンス広場の移動遊園地 La foire
• 20151011 - 帰りのパリから羽田へのAF274便のトラッキングデータをダウンロードしようと_
• 20151013 - Bot accounts of same profile pictures a
• 20151013 - 今回のボルドー旅行での #Ingress  の実績は大体 UPV 2827→
• 20151018 - #tmctf のcrypto100の問題の因数分解、msieveに比べると時間
• 20151018 - I_ve reached level 15 as an #Ingress ag
• 20151021 - #tmctf オンライン予選のCrypto300、 https_p4f.g
• 20151024 - #tmctf のオンライン予選のcrypto400の解法が https_
• 20151024 - I_ve learnt how to save a RSA private k
• 20151024 - そういえば、ちょっと前に AXA Shield 100個たまった。 AXAシー
• 20151024 - 投稿
• 20151026 - #tmctf の Analysis Others 100 の壊れたPDFフ
• 20151026 - What_s new in scikit-learn 0.17.0に申し込みま
• 20151026 - “IoTというジャンル（？）をハード売り切りだけで捉えてしまうのと、本気でプラ
• 20151027 - 今度の数理論理学セミナーの「Lindstrom拡大の定義可能性について」の話ち
• 20151028 - I_ve earned the Translator medal in #In
• 20151031 - だいぶスロースタートだけど、 #IngressYokosuka のミッションデ
• 20151031 - 三崎マグロの大トロステーキらしい。 なかなか美味しい。 #IngressYok
• 20151109 - mios -- Minisat-based Implementation an
• 20151109 - 投稿
• 20151112 - General overview of a T-Solver for Diff
• 20151115 - 簡単なSMTソルバの実装ができた。 https_github.com_ms
• 20151123 - smtLibパッケージとSmtLibパッケージが違うパッケージで、かつSmtL
• 20151125 - 色々やっつけだけど、何とか https_github.com_msakai
• 20151126 - 「はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化」 半環
• 20151126 - 「ガントチャートの功罪 〜 新規事業で工程表を作ることに意味はあるか？」 ht
• 20151129 - 「いまさら聞けない グラフィカルモデル入門」 http_www.slide
• 20151204 - Appveyor http_www.appveyor.com_ というWi
• 20151204 - JavaのDIフレームワークのデファクトスタンダードって何だろう_ Guice
• 20151206 - #seccon 2015 online ctf で自分が一番ハマったのは Un
• 20151206 - 『レガシーコード改善ガイド』 http_www.amazon.co.jp_
• 20151206 - この週末は #SECCON 2015 Online CTF に参加していた。_
• 20151213 - 高価なGPUやFPGAなど特殊ハードウェアをクラウド上で安価に利用できるBit
• 20151214 - Coverity Scanがいつの間にかGithubとかTravisCIに対応
• 20151214 - SonarQubeという 静的解析と品質管理のツールを知った。 http_
• 20151214 - 「米研究者が「STAP細胞」の再現に成功！？ 対象も方法も結果もまったく異なる
• 20151214 - しかし、Javaはenumなんて中途半端なものではなく、一般の代数的データ型を
• 20151214 - システムテスト自動化カンファレンス 2015 https_4deb81d0
• 20151215 - HaskellPlatformのインストーラはNSIS製なので _S オプショ
• 20151215 - 「良いコードとは」 http_www.slideshare.net_nby
• 20151218 - Misfit Shine のスポーツバンドがまた切れた…… orz_
• 20151218 - 「デキるプログラマだけが知っているコードレビュー7つの秘訣」 http_w
• 20151220 - いつもお世話になっている Travis-CI 、既に黒字化してるのか。すごいな
• 20151220 - ふと、artonさんらの『コーディングの掟(最強作法) 現場でよく見る不可解な
• 20151221 - GurobiやCPLEXのIIS(Irreducible Infeasible
• 20151221 - うちの会社のIRが色々と出てるなぁ。基本的にはこれまでリークされて報道されてた
• 20151223 - レジュメ的なものを書いている https_github.com_msaka
• 20151223 - 天皇陛下∩( ・ω・)∩ばんじゃーい
• 20151227 - 鳥獣戯画の動物がフィギュアに　しかも実用的　バンダイがガシャポン「鳥獣机画」_
• 20151228 - わたしは 2015 年に Remember The Milk で 3,545_
• 20151228 - 最近iPhone 5sが異常に発熱してすごい勢いでバッテリーを消耗することがあ
• 20151229 - FLOPS2014の Liquid Types For Haskell のスラ
• 20151229 - https_codecov.io というサービスがあるのか。 今使っている
• 20151230 - Javaのラムダって普通に無名クラスとしてコンパイルされているのかと思っていた
• 20151230 - JΛVΛ LΛNG_ More Control. Less Code. Fun
• 20151230 - そういえば、こないだの #hasmoku で「普段Haskellで書いていて、
• 20151230 - ダブルアイリッシュ_ダッチサンドイッチ http_apple.srad.j
• 20151230 - ベクトル空間のテンソルについて http_qiita.com_n_kats
• 20151230 - 幾つかの Advent Calendar の記事を今頃になってちょっとずつ読ん
• 20151231 - Nike+ のバックアップに https_mattstuehler.com
• 20151231 - あけましておめでとうございます。 旧年中は大変お世話になりました。 本年もよろ

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 - ３分でわかる多項分布とディリクレ分布 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

• 20170107 - 昨年の砂場いじりの振り返り。もうちょっと継続的に緑にしたいね。
• 20170116 - Hadley Wickham’s dplyr tutorial at useR
• 20170118 - そういえば、DAシンポジウム アルゴリズムデザインコンテスト （２０１６年度版
• 20170125 - ようやくギャラドスをゲット。 長かった…… #PokemonGo
• 20170126 - 野良ビッグデータへのお誘い https_www.slideshare
• 20170127 - GHC 8.2 にUnboxedSumsという拡張が追加されるそうで、これで_
• 20170127 - SVMのone-vs-oneと投票による多クラス分類について、そんな簡単な方法
• 20170127 - 今年もついに花粉のシーズンが到来してしまった。辛い……
• 20170128 - アチーブメント獲得！週間ターゲットを125回クリアしました - iKnow!_
• 20170201 - 秋に参加したICFP2016への参加報告が、ソフトウェア科学会誌「コンピュータ
• 20170202 - StanはこれまでcmdstanとRStanを使ってたけど、Pythonでやっ
• 20170202 - Support Vector Regression、ちゃんと定義を知らなかった
• 20170202 - chainerMNによる分散学習 https_youtu.be_wPr-y
• 20170204 - 「会社の辞め方」で分かる活躍する人材の条件 http_president_
• 20170205 - おお。_
• 20170207 - HuluのFOXチャンネルで 24_ Legacy の第一話と第二話を観た。_
• 20170208 - PPLサマースクール2016「商用Java処理系の研究開発 」の資料を見ている
• 20170208 - お、こんな講演会があるんだ。
• 20170208 - 先日のNIPS2016読み会で、勾配法における変数の適応的な更新方法をLSTM
• 20170209 - 街で見かけた服の類似商品を数ミリ秒で検索。Yahoo! JAPAN研究所「高次
• 20170210 - Looking for Work after 25 Years of Octa
• 20170212 - ‪センザンコウの恋_ クリア成功！あなたのスコアは？7_12 #Pangoli
• 20170214 - X-ファイル 2016 なんてやってたんだ…… X-ファイル懐かしい。 htt
• 20170214 - この間30km歩いてシェルダーの飴がたまったので、パルシェンに進化。 パルシェ
• 20170214 - しかし、こういうイベントが身近で起こると、社会の色んな仕組みが見えるし、 身近
• 20170215 - ドガースさん、ガスがかかってるんですけど…… #PokemonGo
• 20170217 - お、新しいポケモンが早速出た。 #PokemonGo
• 20170219 - #hasmoku でAOCのUSB接続かつUSB給電可能なポータブルなモニタ_
• 20170220 - Proceedings Fourth International Worksh
• 20170221 - +Kazuma Arino さんの「Androidを支える技術」を献本いただい
• 20170222 - Amazonビデオにあったので「けものフレンズ」第一話「さばんなちほー」をとり
• 20170223 - 非決定性とエラーを含む計算を ExceptT e [] モナドで扱おうとしてち
• 20170225 - Ken Arrow and Oscars Voting http_blog
• 20170226 - Boston Key Party CTF 2017 でなんとか問題一問解けた!
• 20170306 - KDD CUP 2017 http_tb.am_wr8dg のデータが公開
• 20170306 - Learning Rate Based Branching Heuristic
• 20170306 - ああ、ついにSojournerを切らしてしまった。 まあ、2年もよく続いてたと
• 20170306 - 最近、妻が見つけてきた Pocket Plants というゲームにハマっている
• 20170310 - PPL2017 おしまい。 楽しかったけど、すごく疲れた(^^_ #jssst
• 20170312 - To [] Or Not To [] - When You Should Us
• 20170317 - 東芝と東芝テックの臨時株主総会招集の通知が届いた。 東芝テックも同時に臨時株主
• 20170317 - 東芝のスタートアップ制度で挑む「外れにくいネイルチップ」 http_tec
• 20170318 - An Introduction to MCMC for Machine Lea
• 20170320 - OptNet_ Differentiable Optimization as_
• 20170320 - 忘れないうちに、今年の Google Code Jam に登録。
• 20170323 - LICS 2017 Accepted Papers http_lics.r
• 20170325 - 妻の携帯の機種変更に付き合って、割引のために固定回線の契約も変更したのもあるが
• 20170326 - ニコ生の 【最終話放送直前】「けものフレンズ」1話～11話 振り返り一挙放送_
• 20170327 - Existential Quantification as Increment
• 20170327 - 関数型プログラマのためのRust http_postd.cc_rust-f
• 20170329 - コンピュータ ソフトウェア Vol. 34(2017) No. 1 http
• 20170401 - _Simple Encrypted Arithmetic Library -_
• 20170401 - けものフレンズの最終話をようやく見た。ベタな展開だけど、ぐっと来てしまった。す
• 20170409 - Google Code Jam 2017 Qualification Roun
• 20170413 - Google Womenwill 働き方改革実践トレーニング Work Sim
• 20170413 - 投稿(1)
• 20170413 - 投稿
• 20170414 - 投稿
• 20170420 - 上野ではオムナイトがたくさん捕まった。 巣だったのかな？ #PokemonG
• 20170424 - そういえば #Ingress の Operation Portal Reco
• 20170428 - 最後の退社だん。 結局、色々手間取ってしまって、色々な人に迷惑をかけてしまいつ
• 20170502 - Solving SMT Problems with a Costly Deci
• 20170503 - CryptoNets_ Applying Neural Networks to
• 20170505 - MARCOというMUS列挙アルゴリズムがあるが、自分の理解では[Gurvich
• 20170505 - そういえば今の職場に、昔のFLTVという謎イベントでの自分の発表を聞いてたとと
• 20170505 - 数分だった通勤時間が1時間弱ほどになるので、通勤中に論文読んだりする用に iP
• 20170506 - DijkstraとFloyd-Warshallの最短経路アルゴリズムの実装をt
• 20170506 - Distributional Smoothing with Virtual A
• 20170506 - From Strong Amalgamability to Modularit
• 20170506 - そういえば、PPL2017のカテゴリ4のスライドが公開されていた。 「SATソ
• 20170506 - 以前に紹介[1]した General overview of a T-Solv
• 20170507 - XYZGRESS https_tomoto.github.io_xyzgr
• 20170507 - 今更ながら Chainer Playground でChainerのお勉強中。
• 20170509 - A Tour of Go https_go-tour-jp.appspot
• 20170509 - ふと、Goで書かれたSATソルバってあるのかなと探してみたら、 Giniとgo
• 20170510 - Goで書かれたSATソルバのgini https_github.com_I
• 20170511 - Combining Optimization with Machine Lea
• 20170511 - GHCのコンパイル時間の長さにストレスを感じてた身としては、goはコンパイル速
• 20170512 - ねんがんの ITS健保 の 健康保険証 をてにいれたぞ！
• 20170517 - 新しく買ったiPadでChromeの同期が出来ていなかったので、 https_
• 20170518 - A reflection on types https_www.micro
• 20170522 - Anaconcaな環境にpipであるパッケージを入れたけど、「undefine
• 20170523 - Deceiving Google_s Perspective API Buil
• 20170523 - Sledgehammer_ Judgement Day http_www4
• 20170525 - 楕円曲線入門-トーラスと楕円曲線のつながり http_www.slides
• 20170529 - え!_ pipって--dry-run的なオプションないの_こないだの話 h
• 20170601 - watching “Combining Optimization with M
• 20170603 - Amazing!
• 20170603 - GurobiのPythonインターフェースは、Macだとシステム標準のPyth
• 20170604 - cabalと違ってstackだと古いGHCで新しいライブラリを使うのは現実的で
• 20170605 - MaxSAT Evaluation 2017 http_mse17.cs_
• 20170605 - SMT-COMP 2017 http_smtcomp.sourceforg
• 20170613 - A Coalgebraic Paige-Tarjan Algorithm ht
• 20170615 - http_profs.sci.univr.it_~farinelli_co
• 20170617 - ニューラルネットの学習で forward mode AD よりも revers
• 20170618 - DeepXplore_ Automated Whitebox Testing_
• 20170618 - ‪Earth mover_s distance というのを教えてもらった。 h
• 20170618 - ちょっと前に「Chainer_ ビギナー向けチュートリアル Vol.1_」 h
• 20170620 - AutoencoderとPCAを比較してみる https_gist.git
• 20170621 - ERATO MMSD キックオフワークショップ https_groups_
• 20170626 - [WARNING] Intel Skylake_Kaby Lake proce
• 20170626 - なるほど、そんな感じだったのね……
• 20170626 - レイドバトル、最初はLv35以上だったので、レベル上げなきゃと思ってたら、Lv
• 20170627 - 6_29(木) にこないだのGurobiのWebinarの続きがあるらしい。_
• 20170627 - You can probably use deep learning even
• 20170628 - 手書き数字98％認識−東大など、正解未知データを学習するAI開発_https_
• 20170630 - ‪Recursive NN は要はfoldだと思うけど、そしたらunfoldに
• 20170701 - Formal Verification of Piece-Wise Linea
• 20170702 - 機械学習と情報セキュリティ~2017前半 https_speakerdec
• 20170703 - 技術的負債ナイト https_speee.connpass.com_eve
• 20170704 - Reluplex_ An Efficient SMT Solver for V
• 20170705 - NECを退職し、新会社を立ち上げました。 - KaiGaiの俺メモ_ http
• 20170705 - Splitting on Demand in SAT Modulo Theor
• 20170705 - 大槻さんの『最強囲碁AI アルファ碁 解体新書』を予約してみた。 Amazon
• 20170706 - Adiabatic Quantum Computing Conference_
• 20170707 - Haskellだったらparsec系のパーサコンビネータを使って書くような、ち
• 20170708 - んー、linux-x86_64のCUDA 8.0な環境で、 Cプログラムからc
• 20170709 - Two Decades of Recommender Systems at A
• 20170710 - An Abstraction-Refinement Approach to V
• 20170713 - Challenging SMT solvers to verify neura
• 20170714 - Do GANs actually do distribution learni
• 20170715 - Towards Verification of Artificial Neur
• 20170717 - IOモナドで使うときだけログを吐く関数を定義する - 北海道苫小牧市出身の初老
• 20170717 - RMP エンジニア・ブートキャンプ 2017 - ようこそ web フロントエ
• 20170717 - _Attacking Machine Learning with Advers
• 20170717 - 【物理エンジン】重力10倍！界王星で暮らしてわかったこと【ドラゴンボール①】_
• 20170717 - ブロックチェーンにはそんなに興味がなかったし、BitCoinの分裂騒動について
• 20170721 - 大槻さんの『最強囲碁AI アルファ碁 解体新書』を早速ゲット。 http_
• 20170722 - 昨日、帰ったらPCのバッテリーが0_で、その後充電しても起動しなくてだいぶ焦っ
• 20170724 - Use the force_ Introduction to hardware
• 20170724 - https_twitter.com_goodfellow_ian_stat
• 20170724 - そういえば昨日Proof Summitの近くのジムにフリーザーが出現してた。_
• 20170725 - Constraint Solving for Interpolation ht
• 20170725 - マイクロソフト、AIでソフトウェアのバグや脆弱性を探る「Microsoft S
• 20170726 - にゃ〜ん🐈 かわいい💕 Synthesizing Robust Adver
• 20170727 - Interview with Lionel C. Briand _ ISSTA
• 20170727 - 先日の Proof Summit 2017 での発表「定理証明における機械学習
• 20170728 - Introduction to GIS and OpenData https_
• 20170728 - 自動仕訳で特許侵害なし、マネーフォワードがfreeeに勝訴 http_jp
• 20170730 - SATクイズ_ FをCNF、Cを節、xをリテラルとして、 x∈Cかつ任意の(
• 20170730 - 囲碁AI “AlphaGo” はなぜ強いのか_ ～ディープラーニング、モンテカ
• 20170731 - Solving and Verifying the boolean Pytha
• 20170731 - やった！ 3度目の正直で念願のフリーザーを捕まえたっ！！！ #PokemonG
• 20170731 - 人間を育てるAIはまだ作れない？『アルファ碁 解体新書』著者・大槻知史×ゲーム
• 20170801 - CTF関係で参考に持っていたファイルをESETに削除されてしまった。 攻撃目的
• 20170802 - Deep Residual Learning http_image-net
• 20170803 - DeltaGo http_home.q00.itscom.net_otsu
• 20170803 - Infer.NETを使ってLDAを実装してみた https_www.sli
• 20170803 - Scikit-Optimize https_scikit-optimize
• 20170803 - 「優秀で割安」シャープ・東芝の技術者が、続々外資に流出中 http_gen
• 20170808 - PPLサマースクール2017 「Isabelle_HOL による証明とプログラ
• 20170810 - published Team Sampou_s source code rep
• 20170815 - 川崎駅近くの Nyotai Shrine (女躰神社) のポータル・ポケモンジ
• 20170817 - Alon Amit_s answer to How do you find t
• 20170819 - Wikipedia の Universal approximation the
• 20170821 - Deep Learning Acceleration勉強会 https_c
• 20170822 - HPCと10年戦ってわかったこと_ http_qiita.com_kait
• 20170822 - The Potential of Interference-Based Pro
• 20170825 - How to Build Static Checking Systems Us
• 20170826 - When data mining meets optimization_ A_
• 20170826 - 他にCAV2017やCADE2017の予稿集も、 会議のサイトからアクセスする
• 20170826 - 来週開催のSAT2017の予稿集が9_24まで http_sat2017_
• 20170827 - Checkable Proofs for First-Order Theore
• 20170827 - SeaHorn_ A fully automated analysis fra
• 20170827 - “Math and Go” https_www.youtube.com_w
• 20170827 - ソフトウェア工学分野のトップ会議であるICSE2017の全論文を一日で紹介しあ
• 20170829 - ICFP Contest 2017 の full contest の最初のラウ
• 20170901 - On Tackling the Limits of Resolution in
• 20170903 - Improving MCS Enumeration via Caching__
• 20170903 - megaparsec アクティブに開発されているのは良いのだけど、結構API変
• 20170903 - これまでlog-domainライブラリを使ってたけど、同じようなものでlogf
• 20170903 - 関数型プログラミングに関するトップ国際会議 ICFP 2017 が明日9_4(
• 20170905 - Introducing Pareto Minimal Correction S
• 20170908 - Learning to Learn without Gradient Desc
• 20170912 - 機械学習のためのソフトウェア工学に関する課題やチャレンジを議論する SE4ML
• 20170920 - GPU依存の悪循環
• 20170921 - Universal adversarial perturbations htt
• 20170921 - そういえば、今年の DAシンポジウム アルゴリズムデザインコンテスト http
• 20170922 - pandasのitertuplesってカラム数によって型を変えるのか…… こう
• 20170923 - wine上にHaskell環境を作って、Windowsバイナリをビルドしたいの
• 20170924 - Applying machine learning to the proble
• 20170928 - Verifying Properties of Binarized Deep_
• 20171009 - Neural Combinatorial Optimization with_
• 20171011 - Developing Bug-Free Machine Learning Sy
• 20171013 - 2018 School on Column Generation https
• 20171107 - エンテイ捕まえた〜 #PokemonGo_あまりプレイしてなかったので、伝説
• 20171116 - CNN回路の実装例で理解するハードウエア（FPGA）活用応用講座無料説明会_h
• 20171116 - 「ディープラーニングの産業応用とそれを支える技術」 https_www.s
• 20171116 - 「社外取締役は久多良木氏、恵比寿にある謎のAIベンチャー」 http_te
• 20171116 - 前の鞄がだいぶボロボロになってきたので、新しい鞄としてウルフパック(Wolff
• 20171116 - 社会勉強のために登記情報取得サービス http_www1.touki.or
• 20171119 - I_ve earned the Trekker medal (Onyx) in
• 20171122 - 会社で Plamo Linux という懐かしい単語が聞こえてきたので、今の若者
• 20171123 - Pocket Plants 、合成には成功してるのにエネルギーが足らなくてアン
• 20171125 - #Python のパーサコンビネータライブラリとして、parsyとpypars
• 20171126 - ガルーラげっとー #PokemonGo
• 20171128 - QNNCloudちょっと触ってみたけど、問題インスタンスの与え方が分からん。_
• 20171201 - 今年のTPPのお題(TPPmark)の最長共通部分列の問題をAgdaで解いてみ
• 20171205 - #Python でnumpy.arrayは == などを真偽値の配列を返すよう
• 20171206 - CoconutというPython風関数型言語を教えてもらった。 http_
• 20171206 - 「アルファ碁からアルファ碁ゼロへ」 http_home.q00.itsc
• 20171208 - Google Home が今ビックカメラで半額らしい https_akib
• 20171208 - ゆる募_ https_www.cs.cmu.edu_afs_cs.cmu_
• 20171210 - Reduction from 3 SAT to MAX CUT http_
• 20171216 - ホウオウは何回か挑戦して全然捕まらなかったけど、グラードンは1匹目で捕まった〜
• 20171219 - Backprop as Functor_ A compositional pe
• 20171219 - Haskellの自動微分ライブラリad https_hackage.has
• 20171222 - 天皇陛下∩( ・ω・)∩ばんじゃーい
• 20171224 - Spartan Type Theory http_math.andrej_
• 20171226 - 「部分構造の共有を観測するdata-reify」_https_qiita_
• 20171226 - 今更すぎるけど、とりあえずzaifとcoincheckのアカウント作ってみた…
• 20171228 - Categorical VAE with Gumbel-Softmax htt
• 20171228 - Remember The Milkで2017年に2,245タスク完了しました_

2018

• 20180102 - 実家で録画してもらってた2355-0655特番「年越しをご一緒にスペシャル」で
• 20180102 - 昨年妻と一緒にずっとやってたスマホゲームの Pocket Plants 。つい
• 20180103 - 「マネー・ショート　華麗なる大逆転」を観た。_https_play.goo
• 20180105 - ザングースげっと。 #PokemonGo_ポケモンGO ザングースが日本に出
• 20180108 - iPhoneのバッテリーとパフォーマンスについて_ https_www.a
• 20180108 - 昨年の健康診断で胃カメラを飲んだら萎縮性胃炎と言われてピロリ菌検査と除菌を薦め
• 20180110 - 解説記事を読んでもいまいち良く分からなかったので、だいぶ今更ながらMeltdo
• 20180115 - 今年もついに花粉症の季節が来てしまった…… 😷
• 20180115 - 今更ながら、Huluで #ソウタイセカイ を視た。 https_www.h
• 20180117 - 東京駅にSlackの広告が出てて、ちょっとビックリ。 エンジニア向けとかだけじ
• 20180123 - Deep Latent Space における汎用プランニング_ 記号を取り戻せ
• 20180125 - githubでforkされたレポジトリの同名のブランチ(例えばmaster)を
• 20180130 - w.h.p. = with high probability か。 知らんかっ
• 20180131 - #Python のthreadingはちょっと低水準過ぎて例外発生時の扱いとか
• 20180131 - AppVeyor上での #Haskell プロジェクトのCIで、stackのr
• 20180131 - Chainerでちょっと複雑な処理を既存関数を組み合わせてループして書いていた
• 20180201 - 初めて git reflog のお世話になってしまった…… (^^_
• 20180202 - “pybind11 — Seamless operability betwee
• 20180209 - A Lean formalization of Matiyasevič_s T
• 20180215 - An Introduction to Galois Theory _ http
• 20180215 - Chainerが Google Colaboratory https_gi
• 20180215 - そういえば、今年のFLoCでは Summit on machine learn
• 20180218 - レックウザ、げっとー #PokemonGo
• 20180219 - From Gameplay to Symbolic Reasoning_ Le
• 20180220 - Monte-Carlo Tree Search Solver http_w
• 20180220 - pycosat https_pypi.python.org_pypi_py
• 20180224 - 色違いミニリュウと“りゅうせいぐん”カイリューげっと。 これで今日のミッション
• 20180228 - 昨日の「機械学習・ディープラーニングでPythonを使う嬉しさとツラミを分かち
• 20180304 - Learning a SAT Solver from Single-Bit S
• 20180304 - On polymorphic gradual typing https_d
• 20180306 - A Fully Automatic Theorem Prover with H
• 20180315 - Is Sound Gradual Typing Dead_ https_w
• 20180319 - PoTrojan_ powerful neural-level trojan_
• 20180319 - “ SCSat3によるラムゼーグラフ探索について ” https_kaig
• 20180323 - 久しぶりに『プログラミング言語の基礎概念』の演習システム http_ww
• 20180325 - 今日の #PokemonGo のコミュニティ・デイ、とりあえずハードプラント持
• 20180326 - マルチノードでChainerMNを使う際にfork()で怒られてたのだけど、ど
• 20180327 - R(5,5)≤48 https_arxiv.org_abs_1703.08
• 20180327 - 高談闊論：双方向変換の原理と実践 https_www.jstage.jst
• 20180402 - Google Code Jam は今回から実行環境がサーバ側になったので Pr
• 20180402 - こないだ受験したTOEICの結果が出てて、960点(リスニング490点、リーデ
• 20180408 - Google Code Jam、Cubic UFO は解けなかったが、一応他は
• 20180415 - 今日の #PokemonGo のコミュニテイデイ、一応色違いのメリープと「りゅ
• 20180421 - Async exception handling in Haskell_htt
• 20180425 - 明日4_26(木)発売の WEB+DB PRESS総集編［Vol.1～102］
• 20180429 - そういえば、ホエルコの飴が溜まってやっとホエルオーに進化できたんだけど、 野生
• 20180511 - ようやくスペシャルリサーチを完了してミュウをゲット！！ レイド10回とカーブス
• 20180519 - #PokemonGo のコミュニティデイ。ブラストバーン持ちのリザードンと、ヒ
• 20180605 - One Monad to Prove Them All (Functional
• 20180605 - Probabilistic Functional Logic Programm
• 20180706 - サングラスをかけるのはゼニガメかと思ったら、ピカチュウもサングラスかけるのね🕶
• 20180715 - あれ、ヒンバスって相棒にして20km歩かないと進化させられないのか。 せっかく
• 20180721 - サンダー・デイはサンダーのレイドに5回挑戦して、三体ゲット。 #Pokemon
• 20180729 - ついに念願のミュウツーをゲット。 これがkazuさんが昔言ってた「Mew 2_
• 20180801 - ついに #Moves http_www.moves-app.com_ が終
• 20180805 - 昨日の『フリーザー・デイ』と『コミュニティ・デイ』(ゼニガメ大量発生)の収穫は
• 20180811 - スペシャルレイドとイーブイのコミュニティデイ。 ミュウツーの二体目、イーブイの
• 20180818 - iconv(3) では、inbufをNULLにすることで状態のフラッシュを行う
• 20180818 - text-icu の Data.Text.ICU.Convert http_
• 20180818 - 今日はアローラの姿のライチュウとレジロックをゲット。 あと、昨日アローラの姿の
• 20180818 - 当たり前だけど、 unsafeInterleaveIO を使って処理を遅延する
• 20180819 - 半年くらい積読してた Closure Conversion as CoYone
• 20180920 - Interpolants as Classifiers _線形算術の論理式A∧
• 20180923 - 「MINIXの30年の歴史から学んだこと」 http_member.wid
• 20180924 - The Shape of Art History in the Eyes of
• 20180924 - What is algebraic about algebraic effec
• 20180924 - なんか Macbook (Early 2016) の↑キーのキートップが外れて
• 20180927 - Adaptive Algorithmic Behavior for Solvi
• 20180927 - Verified Solutions to Integer Programmi
• 20180927 - ug[SCIP-Jack, MPI]_ A Massively Paralle
• 20181022 - Machine Learning-Based Restart Policy f
• 20181028 - Safe Exploration in Continuous Action S
• 20181031 - Happy Halloween! githubのcontributionがハ
• 20181104 - 自分自身の無矛盾性が証明できる強い自然数の理論体系_https_yoriy