情報学基礎理論

2進法の計算として生まれたコンピュータ。人工言語=プログラミング言語を用いたその計算手順を解き明かす~数学や哲学・言語学にもつながる情報学の一番の基礎理論

チューリングマシーン   量子コンピュータ   アルゴリズム   オートマトン、コンパイラ   言語理論

学べる大学は?

研究をリードする大学

大学詳細

京都大学

理学部 理学科 数理科学系
【 主な研究者 】
西村進
工学部 情報学科 数理工学コース
【 主な研究者 】
永持仁
総合人間学部 総合人間学科 認知情報学系
【 主な研究者 】
立木秀樹

東北大学

工学部 電気情報物理工学科
【 主な研究者 】
水木敬明 住井英二郎 篠原歩 全眞嬉 周暁
理学部 数学科
【 主な研究者 】
田中一之

九州大学

理学部 物理学科 情報理学コース/工学部 電気情報工学科
【 主な研究者 】
稲永俊介 櫻井幸一 竹内純一 来嶋秀治 瀧本英二
理学部 数学科
【 主な研究者 】
神山直之

東京大学

理学部 情報科学科
【 主な研究者 】
今井浩 小林直樹 國廣昇
工学部 計数工学科 数理情報工学コース
【 主な研究者 】
岩田覚

群馬大学

理工学部 電子情報理工学科
【 主な研究者 】
中野眞一 横尾英俊 荒木徹 天野一幸 山崎浩一

北陸先端科学技術大学院大学

先端科学技術研究科 先端科学技術専攻
【 主な研究者 】
小川瑞史 廣川直 上原隆平 平石邦彦 宮地充子

電気通信大学

情報理工学域 Ⅰ類(情報系) コンピュータサイエンスプログラム
【 主な研究者 】
小林聡 村尾裕一 伊藤大雄
情報理工学域 Ⅰ類(情報系) 情報数理工学プログラム
【 主な研究者 】
垂井淳 岡本吉央
情報理工学域 Ⅱ類(融合系) セキュリティ情報学プログラム
【 主な研究者 】
崎山一男

筑波大学

情報学群 情報科学類
【 主な研究者 】
亀山幸義
情報学群 知識情報・図書館学類 知識情報システム主専攻、知識科学主専攻
【 主な研究者 】
森継修一
理工学群 工学システム学類
【 主な研究者 】
古賀弘樹

東京工業大学

情報理工学院 数理・計算科学系
【 主な研究者 】
田中圭介 樺島祥介
情報理工学院 情報工学系
【 主な研究者 】
西崎真也

国立情報学研究所


その他の優れた大学

大学詳細

岩手大学

理工学部 システム創成工学科 知能・メディア情報コース

【アルゴリズム】

中央大学

理工学部 情報工学科

【離散最適化】 日本の中でもトップレベルの研究者が揃っている。


海外で学ぶなら

大学詳細

Massachusetts Institute of Technology/マサチューセッツ工科大学(米)

折り紙に関する情報科学で有名

University of Waterloo/ウォータールー大学(カナダ)

Institute of Quantum Computing

【量子計算】 量子計算に関して北米の一大拠点となっている。量子情報全般に関して全貌を学べる数少ない組織。

Université de Paris-Sud/パリ南第11大学(仏)

【グラフ理論】

Swiss Federal Institute of Technology in Zurich/スイス連邦工科大学チューリッヒ校(スイス)

【情報科学全般】

主な研究者

研究者詳細

コンピュータのための必須!数学論~数式だけではない数学!

山崎浩一
群馬大学
理工学部 電子情報理工学科/理工学府 理工学専攻

コンピュータのプログラムに書き込まれ、コンピュータがより速く大量に問題を解いていくための計算の手順を、アルゴリズムといいます。非常に大雑把にいうと、コンピュータ・・・

効率を考慮した最適解をすべて列挙するアルゴリズムの開発

松井泰子
東海大学
理学部 情報数理学科/理学研究科 数理科学専攻

カーナビに目的地点を入力すると、現在地からの最短経路を表示してくれます。この経路を求める裏では、「最短経路検索のアルゴリズム」が動いています。アルゴリズムとは手・・・

量子コンピュータ登場を見据え、より安全性の高い暗号技術を!

小柴健史
早稲田大学
教育学部 数学科

今のコンピュータをはるかに超える次世代型として期待されるものに、量子力学を用いた量子コンピュータがあります。現在のコンピュータは、0か1かの2つの値で表され、いず・・・

有村博紀
北海道大学
工学部 情報エレクトロニクス学科 情報理工学コース/情報科学院 情報科学専攻

【学習理論】わかりやすい指導で知られる。

中野眞一
群馬大学
理工学部 電子情報理工学科/理工学府 理工学専攻

【アルゴリズム】列挙アルゴリズムを中心とした、グラフのアルゴリズム構築に関する研究を行っている。わかりやすい指導で知られる。

岡本吉央
電気通信大学
情報理工学域 Ⅰ類(情報系) 情報数理工学プログラム/情報理工学研究科 情報・ネットワーク工学専攻

【離散数学】知識が深く、様々な分野を幅広く研究している。海外の研究者との共同研究が多い。

松井知己
東京工業大学
工学院 経営工学系

【アルゴリズム】幅広い分野の研究を手がける。

林正人
名古屋大学
理学部 数理学科/多元数理科学研究科 多元数理科学専攻

【量子情報理論】

ルガル フランソワ 
名古屋大学
理学部 数理学科/多元数理科学研究科 多元数理科学専攻

【量子アルゴリズム】

西村治道
名古屋大学
情報学部 自然情報学科/情報学研究科 数理情報学専攻

【量子計算量理論】

小野廣隆
名古屋大学
情報学部 自然情報学科/情報学研究科 数理情報学専攻

【離散最適化】様々な分野を幅広く研究している。海外の研究者との共同研究が多い。

森前智行
京都大学
理学部 理学科 物理科学系/理学研究科 物理学・宇宙物理学専攻/基礎物理学研究所

【量子計算】

湊真一
京都大学
工学部 情報学科 計算機科学コース/情報学研究科 通信情報システム専攻

【数え上げ】研究対象への興味が広い。

来嶋秀治
九州大学
理学部 物理学科 情報理学コース/システム情報科学府 情報学専攻

【乱択アルゴリズム】多方面にわたり幅広い分野を研究している。

大舘陽太
熊本大学
工学部 情報電気工学科/自然科学教育部 情報電気工学専攻

【グラフアルゴリズム】海外の著名な研究者と多くの共同研究を手がけている。

上原隆平
北陸先端科学技術大学院大学
先端科学技術研究科 先端科学技術専攻 ゲーム・エンタテインメント領域

【計算量、グラフアルゴリズム、パズル】海外の研究者と共同で、折り紙やパズルなどに関する研究を行っている。

渡辺治
東京工業大学
情報理工学院 数理・計算科学系 数理・計算科学コース

【計算理論】海外の研究者とアクティブに研究している。

徳山豪
関西学院大学
理工学部 情報科学科

【計算幾何】豊富な知識を持つ。

興味がわいたら

数学流生き方の再発見 数学嫌いに贈る応援歌

秋山仁

長髪でバンダナ姿が印象的、グラフ理論で著名な東京理科大学秋山先生の本。「数学的な能力は遺伝」という思い込みを払拭し、数学嫌いの読者にやる気と自信を与えてくれる。ハンガリーの数学者ポール・エルデスや、秋山先生の恩師ハラリーの話は面白い。著者をはじめとしたグラフ理論の研究や研究者がどのようなものか知るにはよい。 (中公新書)


入門オペレーションズ・リサーチ

松井泰子、根本俊男、宇野毅明

アイスクリームの材料の在庫管理、レストランの出店、選挙の投票、結婚問題、おやつの最適な買い方等、身近な題材を例に、オペレーションズ・リサーチ(OR)という応用数学分野の学問を紹介している。入門書なのでアルゴリズムは詳細に触れていないが、ORで解かれる問題では、アルゴリズムが大きな役割を果たしている。イラストが豊富で、高校生にも親しみやすい内容。 (東海大学出版部)


計算しない数学

根上生也

「数学=計算」という概念を覆してくれる本。身近な所にある数学を「計算」せずに解く解法のひらめきに触れられる。また、「離散数学」という大学で初めて出会う、組合せパズルのような数学も紹介している。 (青春新書)


グッド・ウィル・ハンティング/旅立ち

MIT(米国マサチューセッツ工科大学)の数学の教授が、素行の悪いアルバイト清掃員の少年の数学の能力を見抜き、その数学的な才能を伸ばそうとする物語。数学への興味に関わらず、若い人に夢を与えてくれる作品。 (ロビン・ウィリアムス、マット・デイモン:出演 )


関連する学問

53 ハード・ソフト(OS、アプリ)、プログラム系
計算機システム
ソフトウェア
49 通信、ネットワーク/IoT、セキュリティ系
情報ネットワーク
通信・ネットワーク工学
情報セキュリティ

本コーナーは、中高生と、大学での学問・研究活動との間の橋渡しになれるよう、経済産業省の大学・産学連携、および内閣府/総合科学技術・イノベーション会議の調査事業の一環として、企画・制作・運営されています。
各先生の所属など、掲載されている大学(学部・学科ほか)の名称は、2020年1月段階の調べによります。実際の進路選択等に際しては、各大学のHP等で改めてご確認ください。

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