東大理学部情報科学科／大学院情報理工学系研究科｜情報科学科NAVIgation

学びカテゴリーの変更を依頼記事元:

www.is.s.u-tokyo.ac.jp

1 userがブックマークコメント

コメント

0

記事へのコメント0件

注目コメント
新着コメント

hamamuratakuo 形式手法（数理的技法）→論理学を応用して、バグのないプログラムをつくったり、見つけたりする方法論。モデル検査→プログラムがつくる状態空間を網羅。あらゆる可能な実行経路を、すべてしらみつぶしに調べる

2021/07/06 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

東大理学部情報科学科／大学院情報理工学系研究科｜情報科学科NAVIgation

ブックマークしたユーザー

hamamuratakuo2021/07/06

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - 学び

いま人気の記事 - 学びをもっと読む

新着記事 - 学び

新着記事 - 学びをもっと読む

設定を変更しましたx