積み本『ゲーム理論はアート』

この記事は積み本アドベントカレンダーの9日目です今日の本は『ゲーム理論はアート 社会の仕組みを思いつくための繊細な哲学』ゲーム理論はアート 社会のしくみを思いつくための繊細な哲学作者:松島 斉出版社/メーカー: 日本評論社発売日: 2018/01/24メディ…

積み本『月とライカと吸血姫 (4)』

この記事は積み本アドベントカレンダーの8日目です今日の本は『月とライカと吸血姫 (4)』月とライカと吸血姫 (4) (ガガガ文庫)作者:牧野 圭祐出版社/メーカー: 小学館発売日: 2018/09/19メディア: 文庫冷戦×宇宙×差別という下地にボーイミーツガールを被せた…

積み本『太った男を殺しますか?』

この記事は積み本アドベントカレンダーの7日目です今日の本は『太った男を殺しますか? 「トロリー問題」が教えてくれること』です太った男を殺しますか? (atプラス叢書11)作者:デイヴィッド エドモンズ出版社/メーカー: 太田出版発売日: 2015/08/28メディア…

積み本『kinyou_benkyoukai vol.3』

この記事は積み本アドベントカレンダーの6日目です今日の本は『kinyou_benkyoukai vol.3』技術書典7で頒布された同人誌です. kinyoubenkyokai.github.io なんで買ったの 「IPFSとOrbitDBを利用した分散アプリケーション開発入門」が気になったので IPFSの記…

積み本『労働者のための漫画の描き方教室』

この記事は積み本アドベントカレンダーの5日目です今日の本は『労働者のための漫画の描き方教室』労働者のための漫画の描き方教室作者:川崎 昌平出版社/メーカー: 春秋社発売日: 2018/07/24メディア: 単行本(ソフトカバー) なんで買ったの Twitter 序章だ…

積み本『中華オタク用語辞典』

この記事は積み本アドベントカレンダーの4日目です今日の本は『中華オタク用語辞典』中華オタク用語辞典作者:はちこ出版社/メーカー: 文学通信発売日: 2019/06/28メディア: 単行本 なんで買ったの 表紙かわいいね ぱらぱら見て 中国語やるかあ・・・

積み本『なめらかな世界と、その敵』

この記事は積み本アドベントカレンダーの3日目です.今日の本は『なめらかな世界と、その敵』(カンマではなくちゃんと読点を使った)なめらかな世界と、その敵作者:伴名 練出版社/メーカー: 早川書房発売日: 2019/08/20メディア: 単行本 なんで買ったの Twi…

積み本『光の量子コンピューター』

この本は積み本アドベントカレンダーの二日目です光の量子コンピューター (インターナショナル新書)作者:古澤 明出版社/メーカー: 集英社インターナショナル発売日: 2019/02/07メディア: 新書 なんで買ったの? いちおう量子計算をやっている人間ということ…

積み本『ソフィーの世界』

この記事は積み本アドベントカレンダーの一日目です.今日の本は『ソフィーの世界』.ソフィーの世界 哲学者からの不思議な手紙作者: ヨースタインゴルデル,Jostein Gaarder,池田香代子出版社/メーカー: NHK出版発売日: 1995/06/01メディア: 単行本購入: 33…

『女の子は本当にピンクが好きなのか』

無.『少女の社会史』の内容ががっつりで読み切れなかったので軽そうなのを選んだが軽すぎて無だった.女の子は本当にピンクが好きなのか (ele-king books)作者: 堀越英美出版社/メーカー: Pヴァイン発売日: 2016/02/26メディア: 単行本(ソフトカバー)この…

第51回 情報科学若手の会

量子計算の話をしてきました.発表があまり「刺さった」感じがしなくて残念.レベル感の調整がなー. すごい人でも業界のニュース追って無ければそういう感覚を持つんだなーというのは発見.メディアは悪い. 質問が出たのでそういう話が望まれているのかな…

レヴュースタァライト3話まで感想

事前知識: 大庭なながアレ華恋の目標は二人でトップスタァになること 真矢はステージの中心に立つのは(自分)一人と考えている ではひかりの思惑は何なのだろうか?アタシ再生産?変身バンク 服の大量生産工程であることが気になる 体の大きさもあるしオー…

覚書 『大切なことは(実は)ギャンブルが教えてくれる』

objsbjvism.wordpress.com些末なことから大きなことへと並べている 数式が微妙に雑で不安になる(簡単のためにやってるんだろうが・・・) クラスタリング的なポートフォリオの最適化問題(1)は式を再現できなかった 人間ってベイズ推論してる訳ではないので…

リズと青い鳥

今回はフェイクではなく,ちゃんと見ました.爽やかだった— 酩酊して健全性を失った型システム@500円借金 (@__pandaman64__) 2018年5月22日 たとえ巣立ってしまったとしてもお互いが大事なのは変わらないんだよな— 酩酊して健全性を失った型システム@500円借…

映画『レディ・プレイヤー1』は面白いか?

感情を摂取しに行く— 酩酊して健全性を失った型システム (@__pandaman64__) 2018年5月5日 pic.twitter.com/2W9RROwCag— 酩酊して健全性を失った型システム (@__pandaman64__) 2018年5月5日 映画見てない人は今のうちにブラウザバックこんな感じのフェイント…

2017年

1月 アイコンが蟹になった 課題でHaskellを書いていた Hindley-Milnerを書いていたらしい.まだバグ無くUnificationを実装できたことが無い 成人式で精神が崩壊する 2月 Haskellは簡潔かつ強力まで考えたところで小さい女の子が着飾って得意げな表情を浮かべ…

幸運の黒い白鳥を探そう 『ブラック・スワン』

本 Advent Calendarの3日目の記事です. adventar.org今日は『ブラック・スワン』上下巻を紹介します.ブラック・スワン[上]―不確実性とリスクの本質作者: ナシーム・ニコラス・タレブ,望月衛出版社/メーカー: ダイヤモンド社発売日: 2009/06/19メディア: ハ…

業を積み上げ百合を組め 『総合タワーリシチ』

adventar.org 本 Advent Calendar 2日目の記事です.最近『どうぶつタワーバトル』が流行していますね. play.google.com sasatanwwwww.hatenablog.com hagyou.hateblo.jp シンプルな操作性とは裏腹の高度な駆け引きが大量の廃人を生み出し,社会現象になろ…

『オートマトン 言語理論 計算論 Ⅰ』

この記事は本 Advent Calendarの1日目の記事です.(1日目とは?) adventar.org本日の本は『オートマトン 言語理論 計算論 Ⅰ』.オートマトン言語理論 計算論〈1〉 (Information & Computing)作者: J.ホップクロフト,J.ウルマン,R.モトワニ,John E. Hopcrof…

C&C受賞記念講演行ってきた Ullman編

目次 Aho編: pandaman64.hatenablog.jp Hopcroft編: pandaman64.hatenablog.jp Ullman編: ここ メモ Aho, Hopcroftに続いて最後に話したのがUllmanです.学生へのメッセージは言ってない気がする.聞き取れなかったのかもしれない.最近はParallel Computati…

C&C受賞記念講演行ってきた Hopcroft編 (2/3)

目次 Aho編: pandaman64.hatenablog.jp Hopcroft編: ここ Ullman編: pandaman64.hatenablog.jp メモ Ahoに続いて二人目の講演はHopcroftでした.Hopcroftが若手に送るメッセージは「教官が勧めてくることはやらない方が良い.どうせできることだから.」とい…

C&C受賞記念講演行ってきた Aho編 (1/3)

目次 Aho編: ここ Hopcroft編: pandaman64.hatenablog.jp Ullman編: pandaman64.hatenablog.jp 何 NECのC&C財団が出している賞をAho, Hopcroft, Ullmanの三人が受賞したのでその記念講演. 2017年度 C&C賞 受賞記念特別講演会 「若きコンピュータサイエンテ…

#技術書典3 振り返り

#技術書典3 です pic.twitter.com/L3Ekumo9wF— 井山梃子歴史館「か03」@技術書典3 (@__pandaman64__) 2017年10月22日 これは説明責任です(書いてあるのはCivilization IVというストラテジーゲームのことです)優勝です pic.twitter.com/i09CYf4zVo— 井山梃…

#技術書典3 に自作言語&自作CPU本を出します

ごめんなさい原稿終わってません 今A4で42ページです アップデート配布するんで許してください...明日の技術書典3で本を出します. 自作言語のコンパイラを書いて自作CPUの上で動かしてみよう!という本です. 電子書籍(PDF配布)オンリーで200円で頒布…

『量子プログラミングの基礎』 p.57 グローバー回転

hackmd.io最初は基底使って計算してて分かるまでクソ時間かかった. アダマール変換が二回適用すると恒等変換になることが分かれば瞬ですね.

2017年度上半期成績

弊学では今年度よりGPAが正式導入され,そのついででABC+D(不合格)の四段階評価からSABC+D(不合格)という五段階評価に移行しました. 成績基準を見てみましょう: http://www.gakuji.keio.ac.jp/academic/shoumei/3946mc0000001jyk-att/gakubuseisekikijyun.p…

ロマンティック数学ナイトU22

タダということもあり行ってきた.内輪感がすごかった()そこら辺の人間が数学書を開いている光景は面白かったです.批判とかはナシみたいなので書きません.

『量子プログラミングの基礎』 p.33 縮約密度作用素

hackmd.io最後の問題,論法がガバガバで型すら合ってなさそうだし明日確認する.

『量子プログラミングの基礎』 pp. 30-31 射影測定による一般の測定の実装

hackmd.io今日は『量子コンピュータの基礎』を一日中やっていたおかげで2ページ(!)進んだ. 代わりにCPUの方は全くいじっていない.テストベンチで$dumpvars;やっても内部で使用しているモジュールの信号がVivadoの画面で全く現れなくて泣いてる.

『量子プログラミングの基礎』 p.30 対象系上の量子測定から構成された測定器系と対象系のテンソル積上のユニタリ作用素

hackmd.ioテンソル積の内積,部分空間でそれぞれ内積とってそれを全部掛けるんですね. ブラ・ケットで書くととなるのですごい自然. ブラ・ケットすごい.