ソフトウェア

オペレーションシステム(OS)、アプリケーションソフトなど、コンピュータがバラエティ豊かな作業を実行できるように、特定の処理内容やアルゴリズムを示したプログラム=ソフトウェアを作る

仮想OS   ミドルウェア   分散処理   クラウド基盤   新プログラミング言語の開発

のぞいてみよう!この学問

こんな研究で世界を変える!〜最新研究を読もう

プログラミング言語
「ソフトウェア検証」の研究、機械的に間違いが検出できるプログラミングを作るために「数学」を活用

五十嵐淳 先生
京都大学 工学部 情報学科 計算機科学コース/情報学研究科 通信情報システム専攻

記事を読もう

本コーナーは、中高生と、大学での学問・研究活動との間の橋渡しになれるよう、制作・運営されています。

「学べる大学は?」の「研究をリードする大学」で紹介する大学は、科学研究費の採択件数が多い大学です。( →詳しくはこちら )

各先生の所属など、掲載されている大学(学部・学科ほか)の名称は、2022年9月段階の調べによります。実際の進路選択等に際しては、各大学のHP等で改めてご確認ください。

みらいぶっくへ ようこそ ふとした本との出会いやあなたの関心から学問・大学をみつけるサイトです。
TOPページへ