米Pitchforkが「2019年の年間ベスト・ソング TOP100」を発表 - amass

2019/12/10 10 users amass Sandy Running ALEX ソング

米サイトPitchforkが「2019年の年間ベスト・ソング TOP100」を発表。 以下はTOP25リスト 25. Jenny Hval: “Ashes to Ashes” 24. Angel Olsen: “All Mirrors” 23. Helado Negro: “Running” 22. Lana Del Rey: “hope is a dangerous thing for a woman like me to have – but i have it” 21. (Sandy) Alex G: “Gretel” 20.... 続きを読む

CoqからのCプログラム生成 田中 哲 産業技術総合研究所 情報技術研究部門 2017-07-23 Proof Summit 2017

2017/07/23 35 users Coq 田中 元ネタ 産業技術総合研究所 情報技術研究部門

CoqからのCプログラム生成 田中 哲 産業技術総合研究所 情報技術研究部門 2017-07-23 Proof Summit 2017 2/48 元ネタ ● 既発表の話です ● そのうち論文が出ます ● Safe Low-level Code Generation in Coq using Monomorphization and Monadification Akira Tanaka, Rey... 続きを読む

中国の学芸員、143作品を自作の贋作とすり替え 売却で7億円得る　写真1枚　国際ニュース：AFPBB News

2015/07/22 34 users 贋作 Guangzhou AFP 画廊 自作

▲ キャプション表示 ×中国・香港で行われた中国嘉徳によるオークションの内覧会で、斉白石氏の作品を確認する女性（2012年10月6日撮影、資料写真）。(c)AFP/Dale de la Rey 写真写真拡大をみる 写真購入のお問合せはこちら 【7月22日 AFP】中国・広州（Guangzhou）市の中級人民法院（地裁）で21日、勤務先の大学の画廊から143点の作品を盗み、自分が描いた贋作とすり替え... 続きを読む

世界の保険業者としての米国 - himaginaryの日記

2015/05/30 19 users himaginary トリレンマ IMF Finance 米国

経済 | 「トリレンマではなくジレンマ」論文を22日エントリで取り上げたHélène Reyについて、紹介記事がIMFのFinance & Developmentに掲載されている（H/T Economist’s View）。そこではReyの国際金融システム研究への貢献として、ジレンマの話のほか、米国の役割の解明が挙げられている。以下はその引用。Among her most influential ... 続きを読む