IBM Developer is your one-stop location for getting hands-on training and learning in-demand skills on relevant technologies such as generative AI, data science, AI, and open source.
![IBM Developer](https://cdn-ak-scissors.b.st-hatena.com/image/square/9c66531e0e7405f3f448d076bfa8830878422f74/height=288;version=1;width=512/https%3A%2F%2Fs3.us.cloud-object-storage.appdomain.cloud%2Fibmdevwp%2Ficons%2Fsocial%2Ftutorials.jpg)
システムソフト(OS)の信頼性、安全性向上に賭ける コンピュータ科学専攻 前田俊行 助手 型理論とモデル検査理論を組み合わせて 検証ツールなど2つの方法で実現目指す コンピューターは、WindowsやLinux、Solarisなどの基本となるシステムソフト(OS)上に各種のアプリケーションソフトを走らせて計算などの仕事をさせるが、問題なのは、OSの安全性や信頼性を確保するのが困難なこと。ここに研究のメスを入れて、OSの高信頼化に挑戦している29歳の若い研究者がいる。コンピュータ科学専攻の前田助手だ。「立派な大きな城に見えるOSも、ポンと押すと、すぐにでも倒れそうな脆さがあるんです。それを改善し、信頼性に裏打ちされたOSづくりに貢献できたら」―この言葉が、前田助手の心意気を表している。 安全性に欠けるC言語の問題点を衝く OSは、コンピューターのメモリー資源やCPU資源などを管理する最も重要
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く