タグ Rey
人気順 10 users 50 users 100 users 500 users 1000 users米Pitchforkが「2019年の年間ベスト・ソング TOP100」を発表 - amass
米サイト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
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
▲ キャプション表示 ×中国・香港で行われた中国嘉徳によるオークションの内覧会で、斉白石氏の作品を確認する女性(2012年10月6日撮影、資料写真)。(c)AFP/Dale de la Rey 写真写真拡大をみる 写真購入のお問合せはこちら 【7月22日 AFP】中国・広州(Guangzhou)市の中級人民法院(地裁)で21日、勤務先の大学の画廊から143点の作品を盗み、自分が描いた贋作とすり替え... 続きを読む
世界の保険業者としての米国 - himaginaryの日記
経済 | 「トリレンマではなくジレンマ」論文を22日エントリで取り上げたHélène Reyについて、紹介記事がIMFのFinance & Developmentに掲載されている(H/T Economist’s View)。そこではReyの国際金融システム研究への貢献として、ジレンマの話のほか、米国の役割の解明が挙げられている。以下はその引用。Among her most influential ... 続きを読む