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

ごめんなさい原稿終わってません

今A4で42ページです
アップデート配布するんで許してください...

明日の技術書典3で本を出します.
f:id:pandaman64:20171021140836p:plain
自作言語のコンパイラを書いて自作CPUの上で動かしてみよう!という本です.
電子書籍(PDF配布)オンリーで200円で頒布します.

当日は「か03」までお願いします.

2017年度上半期成績

弊学では今年度よりGPAが正式導入され,そのついででABC+D(不合格)の四段階評価からSABC+D(不合格)という五段階評価に移行しました.
成績基準を見てみましょう:
http://www.gakuji.keio.ac.jp/academic/shoumei/3946mc0000001jyk-att/gakubuseisekikijyun.pdf
これまでは最高評価のAを取るには85点で十分だったのに対して,今学期からはボーダーが上がり90点が必要になりました.
厳しくなりますね.
同様に,今まで70点以上取ればBが出てGPAでは3換算になったのに対してこれからは80点必要です.10点分の基準変化は極めて大きいでしょう.
テストが失敗したら容赦なくGPA2が降ってくることになります.

それでは今学期の成績です.
f:id:pandaman64:20170905204128p:plain
・・・
モロに評価基準の変更を喰らった気がします.
GPAは3.933→3.858と2年前の水準まで下がってしまいました.悲しい.

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

タダということもあり行ってきた.

内輪感がすごかった()

そこら辺の人間が数学書を開いている光景は面白かったです.

批判とかはナシみたいなので書きません.

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

hackmd.io

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

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

hackmd.io

テンソル積の内積,部分空間でそれぞれ内積とってそれを全部掛けるんですね.
ブラ・ケットで書くと(\lvert a \rangle\lvert b\rangle, \lvert a'\rangle\lvert b'\rangle) = \langle a\vert a'\rangle\langle b \vert b'\rangleとなるのですごい自然.
ブラ・ケットすごい.