【先行】お兄ちゃんはおしまい！第33話｜ねことうふ｜pixivFANBOX www.pixiv.net/fanbox/creator…
posted at 21:55:35
RT @kouendango: 本日より29日(火)までの7日間 千里阪急 地階 銘菓催事にて打吹公園だんごの出張販売いたします。 千里阪急では、久しぶりのご紹介になりますのでぜひこの機会にご利用ください！ 朝晩すっかり寒くなりまたので皆さま風邪などひかないようお過ごしくださいませ(*^_^*)＃倉吉 ＃だんご ＃ひなビタ pic.twitter.com/kyi7YdN3ne
posted at 18:18:32
おなかすいたー
posted at 16:36:07
RT @syuu1228: おっ、ロシア軍も天皇即位を祝いに来たぞ twitter.com/ModJapan_jp/st…
posted at 16:35:31
電線をかみ切り米国の大学を休講にしたリス 銅像になる - ライブドアニュース news.livedoor.com/article/detail…
posted at 06:32:35
RT @syuu1228: 京大っぽいノリですき：電線をかみ切り米国の大学を休講にしたリス 銅像になる - ライブドアニュース news.livedoor.com/article/detail…
posted at 06:32:20
RT @shinkai35: 多分そのとき祖父が想像してた天皇は昭和天皇だったと思うけど……。
posted at 06:31:56
RT @shinkai35: 亡くなった祖父が、ボケておれが誰かもわからなくなったころ、天皇退位のニュースを知って「陛下も困ったことを言いなさる。陛下には亡くなるまで天皇を務めていただかねばならんのだ！」と急に筋道だったことを言い出したときはびっくりしたな。こんなに天皇制の呪縛って強いんだと思った。
posted at 06:31:48
κeen さんの手の速さは見習わないとだなあ
posted at 06:26:57
専門職大学院か。なるほどね
posted at 06:26:15
RT @Phenomer: 研究としての情報技術でなく、 職としての情報技術を磨きたいのであれば、AIITおすすめです。都民の皆様は入学金半額割引もありますよ。科目履修生でお試しもできます。
posted at 06:26:01
κeen さんがすでに pull-req 出したりしててすごい
posted at 06:19:28
Blawn なる言語が話題になっているということを遅ればせながら気がついたのだけど，いまのところ検索したところでニュースサイトの胡乱な褒めそやすページしか出てこないのでしばらく放置してほとぼり冷めたごろにググろうと思った
posted at 06:17:51
スピノザ bot に twitter.com/kotatsu_mi/sta… が RT されて謎だったんだけど，彼，決定論の論者だったから deterministic の word で自動 RT されたのね。
posted at 06:14:15
Prof. Gernot Heiser のブログ眺めてたら，今年の博論で MMU や TLB 周りの formal verification やった人いるっぽくて，大変そうだなあよくやるなあになった >> TS | Data61 | Low-level program verification under cached address translation ts.data61.csiro.au/publications/p…
posted at 06:11:46
RT @TaiwanHistoryJP: ただし、饗宴の儀には不参加だったようで、ここにやはり外交関係のなさ（断交中ないので招待されない）が響いています。
posted at 06:10:34
RT @TaiwanHistoryJP: 本日の即位の礼、台湾は無視されたわけではなく、謝長廷駐日代表が参列されたようです。また、記事は平成の即位の礼でも駐日代表が参加したことに触れています。#日台関係 德仁天皇即位大典 謝長廷代表我國出席 - 政治 - 自由時報電子報 news.ltn.com.tw/news/politics/…
posted at 06:10:32
RT @satoru_takeuchi: 息子が彼の握りこぶしほどのボールを投げたり転がしたりして遊んでいるのを「こういうことができるようになったのか」と微笑ましく見ていた。あるとき私は気付いた。そのボールはわたしのトラックボールだったのである。そう、トラックボールだったのである
posted at 06:09:52
RT @kamoyamakoto: @aoi_mokei アメリカが送ってきた運輸大臣。実は台湾系アメリカ人だそうで、これはこれで強力なメッセージだと思います。
posted at 06:06:24
RT @aoi_mokei: 閣僚を送ってきた国々の中でもアメリカのやる気の無さが際立ってるけど、エジプトは逆に適切過ぎる（苦笑 pic.twitter.com/kFXZJnovm9
posted at 06:05:57
RT @tomo_: あんですとーっ：『君が望む永遠 Reboot（仮）』始動。続くのは『マブラヴ』新作か？ - 電撃オンライン dengekionline.com/articles/15704/
posted at 06:05:33
あれがファンタスティックなのはそれほど向こうの食事が粗末とかそういうことは……？
posted at 05:53:07
限定の味のやつとかツナあたりはまあ，悪くないやつは悪くない
posted at 05:52:41
トルコ大統領に「愚かなことはするな」、トランプ氏の9日付親書 - ロイター jp.reuters.com/article/syria-…
posted at 05:45:45
Verification of Linux Kernel without Loadable Kernel Modules (slide) linuxtesting.org/downloads/ldv-…
posted at 05:44:57
Hyperkernel: Push-Button Verification of an OS Kernel www.cs.utexas.edu/~bornholt/pape…
posted at 05:43:08
私さっき post したのは話の流れのついでで触れただけで，べつに流行ってはない気がする……けど seL4 の後にも最近にもいくつか kernel の形式証明の研究出てきてるな
posted at 05:42:38
RT @syuu1228: レバノンのデモ 現地報告：中東で始まった政治エリートに対する民衆の反乱(川上泰徳) - 個人 - Yahoo!ニュース news.yahoo.co.jp/byline/kawakam…
posted at 05:38:24
RT @l_epuise: バスを弾く上皇、ピアノで伴奏する上皇后、ビオラを弾く天皇、楽譜をめくるサーヤ、眺めるだけの秋篠宮 なんか秋篠宮って感じやな！！ pic.twitter.com/IrYg35j6aU
posted at 05:31:00
RT @hennin_ltn: @kotatsu_mi @sp4ghet ぼくもあやふや知識なので申し訳ないですが、証明体型とモデルの対応がゲーデルの完全性定理、証明体型と型システムの対応がカリー＝ハワード同型対応っていう認識でした。
posted at 05:25:42
@hennin_ltn @sp4ghet なるほど，ありがとうございます（少なくとも私の雑な知識よりは合ってそうです）
posted at 05:25:23
これね結構すきだよ
posted at 05:22:52
RT @ioriveur: @kotatsu_mi トマトの生るシュロの木から熟れた順に取っていた子供をみて思いついたんだよね
posted at 05:22:43