[B! cs] amagitakayosiのブックマーク

Masami Hagiya

Masami Hagiya is a professor at Department of Computer Science, Graduate School of Information Science and Techno logy, University of Tokyo. He is in Room 411, Science Building No.7, Department of Computer Science, Graduate School of Information Science and Techno logy, University of Tokyo, 7-3-1 Hongo, Bunkyo-ku, Tokyo 113-8656, JAPAN. TEL: +81-3-5841-4113 (PHS) TEL: +81-3-5841-4115 (laboratory) E-

amagitakayosi 2014/09/22

cs

リンク

Structure and Interpretation of Computer Programs - Harold Abelson，Gerald Jay Sussman…

amagitakayosi 2013/10/25

リンク

Hoare論理入門

Hoare論理入門プログラムの動作を検証する東京大学情報理工学系研究科コンピュータ科学専攻片岡俊基 (tos) JOI春合宿 2013/3/22 Hoare論理 is 何 •  プログラムの動作を証明したい Hoare論理 is 何 •  プログラムの動作を証明したい •  例： – 実行すると，1 が表示されてほしい． x := 1 print x Hoare論理 is 何 •  プログラムの動作を証明したい •  例： – 実行すると，3 が表示されてほしい． x := 1 y := x+2

amagitakayosi 2013/10/11