資料検索 特集から探す
大学検索 大学で学べる内容や特徴を調べる
大学で学びたい学問発見
関心ワード「バグ」が学べる学問・研究
7件
-
数学を使って安全なソフトウエアを作る
関心ワード：バグ
拓殖大学
島川 昌也 先生- その仕様で大丈夫？
- 仕様の正しさを自動検証
- 普及の鍵は検証の効率化
-
自分のメディア体験をとらえ、‘驚ける’力を育てよう
関心ワード：バグ
京都産業大学
鍵本 優 先生- メディア体験と面白さ
- つながりが断ち切られるメディア体験
- ‘驚ける’力を育てる社会学
-
「エッジコンピューティング」って何？ 進化する情報インフラ
関心ワード：バグ
山口大学
田村 慶信 先生- クラウドへの集中を避ける
- 信頼度を高める
- 理想はミスの「自然治癒」
-
自動でプログラムのバグを修正できる時代は来るか？
関心ワード：バグ
大阪大学
肥後 芳樹 先生- バグの修正を自動化する
- バグの修正は病気の治療に似ている
- 裁判にも役立つ検出技術
-
もしプログラムに間違いがあったら？ 信頼できるシステムを創る技術
関心ワード：バグ
大阪大学
土屋 達弘 先生- 正常に動いて当たり前
- 飛行機は「多数決」で飛んでいる？
- 信頼性を高める方法
-
アプリの多機能・高機能化を陰で支える、「テスト効率化」の技術
関心ワード：バグ
宮崎大学
片山 徹郎 先生- 「バグ」が使い勝手を悪くする
- 自動化・可視化で、テストを効率的に
- 多機能になるほど重要なテストの効率化
-
プログラミングはIT社会の鍵になる！
関心ワード：バグ
上智大学
高岡 詠子 先生- 人間と社会のための情報を考える情報理工学
- 危険なブラックボックス
- プログラムを知ることの大切さ