トップページ のバックアップ(No.4)
- バックアップ一覧
- 差分 を表示
- 現在との差分 を表示
- ソース を表示
- トップページ へ行く。
- 1 (2012-02-23 (木) 17:07:16)
- 2 (2016-03-23 (水) 13:49:16)
- 3 (2016-04-05 (火) 10:19:37)
- 4 (2016-12-29 (木) 16:36:36)
- 5 (2017-01-05 (木) 21:24:39)
- 6 (2017-01-06 (金) 01:06:08)
- 7 (2017-04-13 (木) 14:45:05)
- 8 (2017-04-13 (木) 14:57:37)
- 9 (2017-11-24 (金) 17:15:55)
- 10 (2018-04-11 (水) 21:51:55)
- 11 (2018-04-19 (木) 14:50:55)
このwebページは、PukiWiki1.5.3 + iridスキン で作られています。
基盤ソフトウェア学講座とは †
コンピュータを効率よく制御し、使いやすい利用環境を提供するための 基本的なソフトウェアであるオペレーティングシステム（OS）を 中心とした教育と研究を行なうのが本講座です。
オペレーティングシステムは基本ソフトウェアとも呼ばれるように、 コンピュータを核とした情報システムあるいは情報環境を構築するための 基盤となるものですが、情報システムを有用で使いやすいものにするためには、 その高性能化はもちろんのこと、ユーザインタフェースや高度な 応用ソフトウェアの領域までも扱う必要があり、本講座では基盤 のみならず幅広い領域にも焦点を当てています。
研究室の研究分野、教育・研究方針 †
研究分野 †
オペレーティングシステム、OS記述プログラミング言語、コンパイラ、 組込みソフトウェア、 ネットワークセキュリティ 等
●猪股担当の研究テーマ
- 小学生のためのプログラミング教育
小学校の授業で活用してもらうプログラミング教材の開発 —コンピュータを使わない情報教育— - 高信頼性プログラム開発のためのソースコード静的解析
ソースコードのグラフ表現とソースコード中の不具合（バグ）の自動検出 - モデルベース開発による高信頼性プログラム生成
プログラムの望みの振る舞いを表した論理式からソースコードを自動生成する手法の考案
教育・研究方針 †
- 実践的なソフトウェア作りと学術研究の両立を目指しています。
- 世界で通用する研究を目指しています。
- 英語に慣れる機会を増やすために、ゼミも英語を歓迎します。
- 時間、約束を守る。
卒業論文 †
卒業生の論文題目と概要の一覧です。
卒業生の主な就職先 †
これまで卒業生が就職した主な企業です。