【OC2022】「「正しい」プログラムの作り方～バグがないことを数学的に保証する～」
公開日：2023/05/15
著作権/利用条件
コンテンツ提供者
東北大学
必要項目を入力後、「送信する」ボタンをクリックしてください。
*は必須項目となります。
公開日：2023/05/15
説明
この動画は，2022年の東北大学工学部オープンキャンパスにて実施された模擬授業の一つです． コンピュータは今やいたるところで使用されています．コンピュータはプログラムに従って 動いているのですが，もしプログラムに不具合（バグ）があるとどうなるでしょうか？ この動画では，プログラミング言語研究のモチベーションとアプローチ方法の一例である， 数理科学に基づく，バグのない「正しい」プログラムを作るための方法論について紹介します．
著作権/利用条件
コンテンツ提供者
東北大学
