気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
tos.fbox.infoエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
1
記事へのコメント1件
- 注目コメント
- 新着コメント
新着コメントはまだありません。
このエントリーにコメントしてみましょう。
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Hoare論理入門
Hoare論理入門 プログラムの動作を検証する 東京大学情報理工学系研究科コンピュータ科学専攻 片岡 俊基... Hoare論理入門 プログラムの動作を検証する 東京大学情報理工学系研究科コンピュータ科学専攻 片岡 俊基 (tos) JOI春合宿 2013/3/22 Hoare論理 is 何 • プログラムの動作を証明したい Hoare論理 is 何 • プログラムの動作を証明したい • 例： – 実行すると，1 が表示されてほしい． x := 1 print x Hoare論理 is 何 • プログラムの動作を証明したい • 例： – 実行すると，3 が表示されてほしい． x := 1 y := x+2
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
anond.hatelabo.jp
togetter.com
www3.nhk.or.jp
maga9.jp
togetter.com
news.ntv.co.jp
www3.nhk.or.jp
nordot.app
togetter.com
mainichi.jp
www.zakzak.co.jp
www.zakzak.co.jp
