This is an old revision of the document!
今年度の研究室インターンシップテーマの一覧は以下の通りです．
- プロセッサ設計（ハードウェア設計）
- <a href=“#hw1”>（初級〜中級）プロセッサを実際に設計してみよう[担当：谷川]</a>
- <a href=“#hw2”>（初級〜中級）FPGAボード実機への基本的なプロセッサの実装 [担当：児島]</a>
- リコンフィギャラブルコンピューティング（ソフトウェアとハードウェアの融合）
- <a href=“#reconf1”>（初級〜中級）FPGAボードでのプロセッサシステムの設計と組み込みプログラミング [担当：児島]</a>
- プログラミング技術／環境
- <a href=“#sw1”>（初級）検索ベースの新感覚アプリ開発の体験 [担当：川端]</a>
- <a href=“#sw2”>（中級）定理証明支援系を使ってプログラムの持つ性質の証明を体験 [担当：川端]</a>
- <a href=“#sw3”>（初級）関数型言語と遅延評価で無限を扱うプログラミングの体験 [担当：川端]</a>
- <a href=“#sw4”>（初級～中級）機械学習入門 [担当：窪田]</a>
<h2><a id=“hw1”></a>（初級〜中級）プロセッサを実際に設計してみよう[担当：谷川]</h2>
<h3>概要</h3> このテーマでは3年生前期のコンピュータアーキテクチャⅡの講義で勉強したプロセッサを実際に設計してみる演習です．演習ではC言語で論理回路の内容を記述することができるHLS（High Level Synthesis）ツールというものを使用します（そのためVerilog-HDLが分からなくても大丈夫です）．この演習では，加算器などの簡単な論理回路の記述方法から始まり，ALU, レジスタファイル，プロセッサと徐々にステップアップしながら記述方法の学習を進めることができますので，コンピュータアーキテクチャⅡを受講していないけど，論理回路設計に興味がある人でも歓迎します．
<h3>対象</h3> <ul> <li>コンピュータアーキテクチャⅡが楽しかった人</li> <li>論理回路設計に興味があるけど，Verilog-HDLは苦手な人</li> </ul>
<h2><a id=“hw2”></a>（初級〜中級）FPGAボード実機への基本的なプロセッサの実装 [担当：児島]</h2>
<h3>概要</h3> コンピュータ・アーキテクチャの授業の教科書「ディジタル回路設計とコンピュータアーキテクチャ 第2版」にSystem Verilogのコードが掲載されているプロセッサを，実際にFPGAボード上で動かしてみます．余裕がある人は，プロセッサ以外の周辺回路を追加したシステムの構築や，ソフトウェアの開発環境の整備にも挑戦してみて下さい．
<h3>対象</h3> 本格的にSystem Verilogなどハードウェア記述言語でプロセッサの設計を行ってみたい人
<h2><a id=“reconf1”></a>（初級〜中級）FPGAボードでのプロセッサシステムの設計と組み込みプログラミング [担当：児島]</h2>
<h3>概要</h3> メーカ(Xilinx)が提供するプロセッサIPを使い，比較的簡単な方法で，部品を組み合わせるようにして，FPGAボード上で実際に動作するシステムを設計します．また，メーカ提供のソフトウェア開発環境(SDK)を使って，作成したシステムのための組み込みプログラミングを行います．余裕がある人は，周辺回路の追加やOSの稼働にも挑戦してみてください．高位合成ツールを使いC言語で追加部品を作ることもできます．
<h3>対象</h3> 提供されているツールを使い，比較的簡単な方法で，システム構築をしたり，組み込みプログラミングをしてみたい人
<h2><a id=“sw1”></a>（初級）検索ベースの新感覚アプリ開発の体験 [担当：川端]</h2>
<h3>概要</h3> プログラミングは骨の折れる作業で（あることもありま）す．ネットで調べ物をして小技を集めても，自分の手元にあるプログラムをどのように書き換えればよいのかすぐには分からないこともあります．私たちは，そんな，プログラミングでよくある苦労を解消してくれるシステムを開発しています．このシステムを使えば，組み込みたい機能を検索して，出てきた候補を「選ぶ」だけで，手元のコードを整えていくことができます．世界の人々のプログラミング経験を寄せ集めることで実現される，新しいタイプのプログラミングを，体験してみませんか．
<h3>対象</h3> Androidプログラミングで苦労したことがある人．
<h2><a id=“sw2”></a>（中級）定理証明支援系を使ってプログラムの持つ性質の証明を体験 [担当：川端]</h2>
<h3>概要</h3> プログラムが正しく動くことを保証することは非常に重要です．例えば，数値の列を昇順に並べ換えるプログラムを作ったならば，どんな入力に対しても昇順に並べ替えてくれるようになっていなければ困ります．このテーマでは，「証明支援システム」の助けを借りてプログラムの性質を保証する，ということを体験します．
<h3>対象</h3> プログラムの性質の証明に興味を持っている人．証明支援系や関数型言語など，新しいものをパズル感覚で楽しめる人．
<h2><a id=“sw3”></a>（初級）関数型言語と遅延評価で無限を扱うプログラミングの体験 [担当：川端]</h2>
<h3>概要</h3> プログラミングには様々なスタイルがあります．このテーマでは，おそらくみなさんがあまり触れたことのないであろう考え方に基づくプログラミングを体験してもらいたいと思っています．例えば，関数型言語の一つであるHaskellを使うと，教科書に載ってそうな数式をいくつか書いただけでプログラムが出来上がります．また，「無限」の大きさのデータを手軽に扱うこともできます．プログラミングはもう十分と思っている人も，苦手だと思い込んでいる人も，新鮮な体験ができると思います．
<h3>対象</h3> プログラミングについて何らかの思いを持っている人なら誰でも．
<h2><a id=“sw4”></a>（初級～中級）機械学習入門 [担当：窪田]</h2>
<h3>概要</h3> 機械学習の入門書「ゼロから作るDeep Learning」を使って演習を行います．この演習ではpythonというプログラミング言語を使って，簡単な手書き文字認識のプログラムを作成してみます．この演習を通して，機械学習の実問題への適用法，学習や推論に必要となるコンピュータ上での長時間の処理の高速化などを学びます．
<h3>対象</h3> 人工知能，機械学習，ニューラルネットワーク，Deep Learning（深層学習）などの技術，pythonを用いたプログラミング，プログラムの実行の高速化などに興味がある人を対象とします．