どっかで見たことあると思ったらConcurrent Programming in ML.の著者ですね。 RT @shelarcy: Nested Data-Parallelism on the GPU http://people.cs.uchicago.edu/~jhr/papers/all.html #ICFP2012

posted at 21:03:52

@osiire reactive systemsはSassone & Sobocinskiなどの圏論的な研究がありましたがbigraphsそのものの研究はあまり見かけません。応用的研究はデンマーク？のグループがあったのですが止めてしまったようです。

posted at 17:42:29

RT @yamamoto1208: 文部科学省は高校を２年～２年半程度で卒業できる「早期卒業制度」を導入。２０１２年６月。成績が一定以上の生徒を対象とし、大学進学を前提。優秀な高校生が早く大学に進める環境を整え国際社会で活躍できる人材の育成を促す。２年半で卒業し秋入学が主流の海外の大学（まはた将来の東大など）に進学

posted at 10:54:29

bigraphsはそのままだとかなり無理があるんで適切な制約を入れる必要があるんですがMilnerはその辺をやる前に亡くなられてしまいましたね… RT @osiire: フローチャートの話題が出るたびにBigraphsも勉強したいなと思う。http://www.cambridge.org/gb/knowledge/isbn/item2427683/?sit...

posted at 20:45:36

@torakoyama 杉原先生の日本語の非古典論理の本って何冊かありますよ。

posted at 19:12:37

決定不能性はPOPL92のPirce講演で分かったんで型レベルプログラミングの発達とは時間差があるような RT @keigoi: そしてbounded polymorphismをみさかいなく導入した結果、型検査が決定不能になり、型レベルプログラミングが発達し、世界は平和になった…

posted at 18:43:02

@orionis23 @levinassien 証明をざっと見て違和感を感じるところに間違いがあることはことはしばしばありますね。

posted at 15:33:05

RT @nihon_koutei: アホ議員の芸人叩きだったものが、アッという間に「親族による生活困窮者の扶養の業務化」と「生活保護費の削減」が決定。これは生活保護予算の激減どころか生活保護制度の事実上の廃止。生活困窮者を生み出す非正規雇用などには手をつけず、生活保護そのものをやめる…鬼や悪魔でもこんな事はしない。

posted at 15:21:21

RT @ken_m123: ２次方程式をやらずに大学に来たらどうなるかの実例はアメリカにきて嫌というほどみた。理系の職業に就きたいと思っても、数学がパスできずに専門に進めない。もう手遅れ。学生は夢はあきらめなければいけない。ある特定の時期にやっておかないとダメなものってある。

posted at 15:18:21

講義終了。京都では今雷雨が降り出したが、宮部さんの講演があるので京大へ移動せねば。

posted at 15:17:31

RT @kabutoyama_taro: 何回読んでもすごい話だからRT｜東京新聞:扶養困難 証明義務化も　生活保護で厚労相:政治(TOKYO Web) http://www.tokyo-np.co.jp/article/politics/news/CK201205260...

posted at 23:57:09

@shinimai 結構性格的なものはありますね。どうみても弾ける実力はあるのに人前で弾くのはきちんと準備しないとやらない人って案外多い気がします。

posted at 23:48:20

@shinimai ブルース進行とか簡単なやつなら大丈夫じゃ？

posted at 23:42:58

家を出ようと靴を履いたらゴキブリが入っていた。足の裏の感触でなぜかピンときたので冷静に排除。 #他の人があまり経験したことないようなことを晒す

posted at 23:29:17

@kurodams 丁寧に調べて頂いてありがとうございます。去年数理科学科のリメディアル講義を受け持っていて，線型空間の正確な理解につながるように高校の内容を説明するのにちょっと苦労したのを思い出したので，つい余計なことを書いてしまいました。

posted at 22:19:52

ああ，ありましたね，そんなことが。 RT @nisizaki: １回生だったころ、線形代数の授業が始まる前の休憩時間に、同じ階の廊下で熊野寮の委員長さんが撲×されちゃたなぁ(´・ω・｀)ﾃﾗｶﾜｲｿｽ

posted at 14:42:15

RT @tsuda: 「スイスとオランダは昨年末、相次いで私的目的にダウンロードを合法化した。両国政府とも、こうした業界団体の調査を鵜呑みにせずに、独自に実態を調査した」 / “拙速すぎる「違法ダウンロード刑罰化」ー基本的人権に配慮して十分議論すべき : …” http://htn.to/SWNdve

posted at 14:38:15

@kurodams 最近は教科書＋αを教えてもいいんじゃなかったでしたっけ？まあ新課程から行列がなくなりますから縦ベクトルを使う機会がなくなるのを見越してかも。話は違いますがベクトルといえば高校生に自由ベクトルと位置ベクトルの違いを教えるのは大変そうだなあと思います。

posted at 12:27:56

RT @smasuda: 太平洋戦争始まった時などはオレの祖父母のような田舎の平均的な農民の溜飲もさぞ下がったんやろなーとおもうのです。でその後の葛藤もまた

posted at 00:29:21

しかし「花岡ちゃんの夏休み」人気あるな。3回ぐらい出てる。ので「私の保健室へおいで…」 #懐かしい少女漫画を呟いてtlを華やかにする

posted at 00:12:39

絶対野尻さんが出すと思ったから清原なつので行きました（笑） RT @Mihoko_Nojiri: そんなの内田善美で「空の色に似ている」に決まっている #懐かしい少女漫画を呟いてTLを華やかにする

posted at 00:00:45

花岡ちゃんの夏休み #懐かしい少女漫画を呟いてTLを華やかにする

posted at 20:20:13

ついでに第1期Yesのレア音源も。 Yes - "For Everyone" Live (Full Version) http://www.youtube.com/watch?v=1aRrqN0q4-0

posted at 20:17:03

『ロンリー・ハート』期のイエスを支えたトレヴァー・ラビン、23年ぶりのソロ作『Jacaranda』は5月発売 - amass http://amass.jp/2471 @amass_jpさんから 90125 Yesの曲をあれこれ調べてたら見つけた。もちろん買う。

posted at 20:12:49

RT @lethal_notion: 河本たたきのことはよく知らなかった。こんなことになっていたのか。大人がこんなことをやっている限り、イジメもなくならないだろう。子どもは大人を見ている。 "河本準一氏叩きで見失われる本当の問題 - 絵文録ことのは" http://www.kotono8.com/2012/05/25komotojunichi.html @kotono8

posted at 20:42:12

書類書きは枠の大きさと適切な文章量が一致していないと苦痛。

posted at 18:39:12

いかん。思考がイジイジしてる。要するに仕事がたまっているのだ。

posted at 01:50:31

そういえばツイッターのリスト機能って最初の頃以外全く使ってないな。

posted at 01:40:46

例えば Nicki Minaj と Lady Gaga の対比。

posted at 01:33:15

なんか「グレブナー基底と代数多様体入門・上下」のツイートがすごくリツイートされてるけどこの辺の分野は結構関心が高いのかな？この本は丁寧に書かれていますがその分厚いです。Coxは最近もっと専門的なトーリック多様体の本も出してますね。 http://www.amazon.co.jp/Toric-Varieties-Graduate-Studies-Ma...

posted at 23:05:16

@shinimai ありがとうございます。とりあえず読んでみます。いわゆるロック的なものの楽曲的な特徴はJ-POPやアニソンに受け継がれていて，クラブミュージックはそれとは違う道筋で受容されてきたような気がします。Hip-Popは言葉の問題で英語圏とはまた異なるだろうし。

posted at 22:52:50

@tenapi 花井愛子の頃はラノベなんて言葉はありませんでしたよー

posted at 22:43:31

@shinimai 結構私の音楽歴ではその辺空白なので，まずは大まかな時系列とこれは見とけ聞いとけ的なCD/DVDが載ってるものがあれば嬉しいです。

posted at 22:36:58

梶浦由記さんのDTMシステムのメインキーボードってKORG M3なのか。ライヴではRolandのRDを弾いていたけど。

posted at 18:25:34

@knxm それはもう。同じ頃に丸善から再版されるとウェブに出ている『圏論の基礎』についての連絡もまだないので実に不安です（笑）

posted at 17:39:27

おー良かった。この辺の講義を秋学期にまわして正解だった。 RT @knxm: 英語で読めという話もあると思うけど，「グレブナ基底と代数多様体入門・上下」が5月下旬に丸善さんから再版されるそうです．w http://pub.maruzen.co.jp/

posted at 17:35:22

@shinimai クラブミュージックの全体像ってあんまり把握していないんですがその辺のよい記事とかガイドブックのようなものってありますか？

posted at 17:21:21

なんという突っ込みどころの多さ。 RT @hayano: 公募出てます→ http://bit.ly/KJyZuO @s_adachi: 霞ヶ関の偉い方々は、本気で「広告業界から人材をリクルートすればリスクコミュニケーション出来る」とお考えなのでしょうか!? *

posted at 06:39:20

googleのページ，ちゃんと録音まで出来るので結構遊んでしまった。

posted at 01:27:23

やば。元keyboard playerの血が騒ぐな。今日のgoogle http://google.com/

posted at 01:24:19

@ytb_at_twt @georg_logic あれはトポスの一種と思っています。古典のSolovay-Scottモデルと同じ観点ですし。

posted at 01:06:48

実用という意味ではBHK解釈とかトポスとか？ RT @georg_logic: 直観主義解析の「標準モデル」ってあるのかな？ZFに対するVみたいな．

posted at 21:37:29

あー，先週講演があったんですか。さすがに東京へはいけませんでしたが残念。RT @IchiroHasuo: Bart Jacobs がやってくる！ 来週5/15（火）16:40-18:10，東大本郷．* https://docs.google.com/document/d/102PKvEzNr963L7usyZBUDr1...

posted at 21:24:33

FLOPSって今週の水木金だったのか。どっちにしてもスケジュール的に参加は無理っぽいけど。今年度は週の後半はキツキツ。

posted at 17:42:10

特別公開記事：国立大学で若手研究者が減少傾向　（Nature ダイジェスト）: http://bit.ly/JkpNcw 必要なのは研究費じゃなくて人件費じゃないのか？研究費増でPDや特任助教のような短期で不安定なポストが増えても今の日本じゃ問題の解決には繋がらないんじゃないか？

posted at 17:05:16

関学にとっては不名誉かも知れませんが京大はまあこんなもんですね。たま～にどっかに勝つ。 RT @asarin: なんたる不名誉 >> 京大の連敗、「６０」でストップ…関西学生野球 : スポーツ : YOMIURI ONLINE（読売新聞） http://www.yomiuri.co.jp/sports/yakyu/news/20120521-OYT1T01...

posted at 21:31:38

京都市は午前７時２９分から１分間か。天気は曇だから結構むずかしいかも。

posted at 04:34:21

（∞,1)-圏というかquasi-categoriesがどうにもしっくりこない理由がわかった。圏論的な特徴付けが明確じゃないからだな。Joyalは最初からはっきりこれは一例に過ぎないと書いているし。要するに私が根っからの圏論屋だということか。

posted at 04:23:39

金環蝕はベランダから見えるようだけどどうしようかな。とりあえず天候のチェックでもするか。

posted at 04:12:58

切羽詰まっていた仕事がようやく一段落。昨晩の @kerederoom78 さんのRAGライヴは涙をのみつつ断念。

posted at 04:09:07