English

受験生の皆さんへ

見学またはセミナーについて

ディペンダブルシステム学研究室の研究内容、指導体制を詳しく知りたい人は、 見学に来てください。

さらに、研究の疑似体験ができるセミナーも随時行っています。分散アルゴリズムの設計・シミュレーション、CADツールを用いてのLSIの設計・テストなどを体験できます。

見学またはセミナーを希望の方は、

までメールして下さい。折り返し、担当者から連絡します。

これまでに行ったインターンシップやセミナー

スプリングセミナー2017

2017年2月23日-2月24日に、情報科学研究科のスプリングセミナー2017が開催され、本研究室には1名の学生が参加しました。セミナーでは、ナノスケール分散システムの基礎として、個体群プロトコルモデルの分散アルゴリズムについて学習しました。

UIT-HCM(ベトナム)インターンシップ

2017年1月19日-3月31日に、ベトナム国家大学ホーチミン市校の学生1名が本研究室のインターンシップに参加しました。インターンシップでは、LSIの設計とテストについて学習しました。

BUET(バングラデシュ)インターンシップ

2017年1月10日-1月31日に、バングラデシュ工科大学(BUET)の学生1名が本研究室のインターンシップに参加しました。インターンシップでは、ハードウェアトロイ検知について実習を行いました。

ADMU(フィリピン)インターンシップ

2017年1月5日-1月17日に、フィリピンアテネオマニラ大学の学生1名が本研究室のインターンシップに参加しました。インターンシップでは、太陽光発電装置のついたセンサネットワークにおいて、データ収集のための低消費電力な自己安定アルゴリズムを開発しました。

BUET(バングラデシュ)インターンシップ

2016年9月19日-10月7日に、バングラデシュ工科大学(BUET)のスタッフ1名が本研究室のインターンシップに参加しました。インターンシップでは、無線通信妨害機(jammer)が存在する状況におけるモバイルエージェントの探索アルゴリズムについて、共同研究を行ないました。

サマーセミナー2016

サマーセミナー2016

2016年8月8日-8月9日に、情報科学研究科のサマーセミナー2016が開催され、本研究室には4名の学生が参加しました。1名はLSIの設計・テスト、1名は自己安定アルゴリズム、2名はデータマイニングによる異常検知について学習しました。

奈良高専インターンシップ

奈良高専インターンシップ2016

2016年8月1日-8月12日に、奈良高専の学生2名が本研究室のインターンシップに参加しました。1名は、LSIの設計とテストを学習し、FPGAを用いた設計も体験しました。もう1名は、ナノスケール分散システムに対する分散アルゴリズムについて学習し、新たな問題に対するアルゴリズムを開発しました。ここで考えた問題は共同研究へと発展し、学会発表も行ないました。

大阪府立大高専インターンシップ

大阪府立大高専インターンシップ2016

2016年8月1日-8月12日、8月22日-9月2日に、大阪府立大高専の学生1名が本研究室のインターンシップに参加しました。LSIの設計とテストを学習し、FPGAを用いた設計も体験しました。

ハンバット大(韓国)からのインターンシップ

ハンバットインターンシップ2016

2016年7月25日-8月5日に、韓国ハンバット大の学生3名が本研究室のインターンシップに参加しました。インターンシップでは、自己安定アルゴリズム、ナノスケール分散システムについて学習し、さまざまな分散アルゴリズムの開発を体験しました。

スプリングセミナー2016

2016年2月25日-2月26日に、情報科学研究科のスプリングセミナー2016が開催され、本研究室には1名の学生が参加しました。セミナーでは、自己安定アルゴリズムについて学習しました。

ADMU(フィリピン)インターンシップ

2016年1月4日-1月15日に、フィリピンアテネオマニラ大学の学生1名が本研究室のインターンシップに参加しました。インターンシップでは、太陽光発電における発電量最適化について学習しました。

BUET(バングラデシュ)インターンシップ

2015年10月14日-11月3日に、バングラデシュ工科大学(BUET)のスタッフ1名が本研究室のインターンシップに参加しました。インターンシップでは、ハードウェアトロイ検知について実習を行いました。

奈良高専インターンシップ

2015年9月2日-9月15日に、奈良高専の学生1名が本研究室のインターンシップに参加しました。LSIの設計とテストを学習し、FPGAを用いた設計も体験しました。

ハンバット大(韓国)からのインターンシップ

2015年7月27日-8月7日に、韓国ハンバット大の学生3名が本研究室のインターンシップに参加しました。Ruby on Railsを用いたWebサービスの実装を体験しました。期間中はバーベキューや奈良観光なども行い、学生間の交流も深めました。

奈良高専インターンシップ

2014年8月4日−8月22日に、奈良高専の学生2名が本研究室のインターンシップに参加しました。LSIの設計とテストを学習し、FPGAを用いた設計も体験しました。また、ハンバット大のインターン生、本研究室の学生を交えた共同プロジェクトに取り組み、英語によるコミュニケーション、プレゼンにも挑戦しました。

ハンバット大(韓国)からのインターンシップ

2014年7月27日ー8月8日に、韓国ハンバット大の学生3名が本研究室のインターンシップに参加しました。CADツールを用いた組込み自己テスト(Built-in self test: BIST)の設計を体験しました。期間中はバーベキューや京都観光なども行い、学生間の交流も深めました。

サマーセミナー2014

2014年8月26日ー8月27日に、情報科学研究科のサマーセミナー2014が開催され、本研究室には1名の学生が参加しました。セミナーではLSI設計の基本について学習しました。

スーパーサイエンスハイスクール(SSH)ラボステイ実習

2014年8月6日ー8月8日に、スーパーサイエンスハイスクールラボステイ実習が開催され、西大和学園高校の学生2名が本研究室に参加しました。実習では論理回路の基礎から学び、回路設計とFPGAによる動作確認を体験しました。

奈良高専&大阪府立高専インターンシップ

2013年8月5日−9月6日に大阪府立大高専の学生1名、8月5日−8月23日に奈良高専の学生2名がディペンダブルシステム学研究室でインターンシップに参加しました。LSIの設計とテストを学習し、FPGAを用いた設計も体験しました。また、研究室の学生、ハンバット大学の学生と共同のプロジェクトを行い、それぞれの学生間で交流を深めました。

ハンバット大(韓国)からのインターンシップ

2013年7月29日−8月9日に、ハンバット大(韓国)コンピュータ工学科の学生3名がディペンダブルシステム学研究室でのインターンシップに参加しました。「CADツールを用いたLSIの設計・テストフローの習得」というテーマで学習しました。インターン期間中は、研究室の学生や同時期にインターンシップに参加していた学生と交流を深めました。

スプリングセミナー 2013

2013年3月6日−3月8日に、奈良先端科学技術大学院大学情報科学研究科 のスプリングセミナーが行われ、ディペンダブルシステム学研究室には3月7日、8日の2日間の日程で3名の 学生さんが参加しました。「LSIの設計に挑戦してみよう」と「LSIのテスト容易化設計・テスト生成を体験してみよう」の2つのテーマを学習しました。

http://isw3.naist.jp/IS/PubWG/Spring2013/

アテネオデマニラ大(フィリピン)からのインターンシップ

2012年10月15日−10月26日に、アテネオデマニラ大(フィリピン)電子通信工学の Instructor の Gian Mayuga さんが、インターンシップに参加しました。「LSIの設計とテスト」の最新トピックについて学習しました。

奈良高専&大阪府立高専インターンシップ

NAIST-IS Summer Boot Camp 2012 in Dependable System Laboratory

2012年8月20日−9月7日に大阪府立大高専の学生1名、8月20日−8月31日に奈良高専の学生6名がディペンダブルシステム学研究室でインターンシップに参加しました。LSIの設計とテストを学習し、FPGAを用いた設計も体験しました。期間中は、高専間、研究室の学生との交流を深めました。

サマーブートキャンプ2012

2012年8月8日−8月10日に、奈良先端科学技術大学院大学情報科学研究科 のサマーブートキャンプが行われ、ディペンダブルシステム学研究室には6名の 学生が参加しました。「LSIの設計に挑戦しよう」と「高信頼化設計に挑戦してみよう」 の2つのテーマを学習しました。

西大和学園からのインターンシップ

Internship fomr Hanbat University in Korea in 2012

2012年8月6日−8月8日に、西大和学園の学生1名がディペンダブルシステム学研究室でのインターンシップに参加しました。「ハードウェア設計に挑戦してみよう」というテーマで、ハードウェア(論理回路)の設計を体験しました。韓国ハンバット大の学生のインターンシップと期間が重なり、国際的な雰囲気を味わいました。

ハンバット大(韓国)からのインターンシップ

NAIST-IS Spring Seminar 2012 in Dependable System Laboratory

2012年7月29日−8月11日に、ハンバット大(韓国)コンピュータ工学科の学生3名がディペンダブルシステム学研究室でのインターンシップに参加しました。「CADツールを用いたLSIの設計・テストフローの習得」というテーマで学習しました。インターンの期間中は、研究室の学生と交流を深めました。

スプリングセミナー 2012

Intern from Ateneo de Manila Univ.

2012年3月7日−3月9日に、奈良先端科学技術大学院大学情報科学研究科 のスプリングセミナーが行われ、ディペンダブルシステム学研究室には3月7日、8日の2日間の日程で4名の学生さんが参加しました。「LSIの設計に挑戦しよう」と「遅延故障テスト生成の体験」の2つのテーマを学習しました。

http://isw3.naist.jp/IS/PubWG/Spring2012/

参加した学生さんは、研究室の学生や同時期に行われたアテネオデマニラ大(フィリピン)からのインターンシップの参加学生と交流を深めました。

アテネオデマニラ大(フィリピン)からのインターンシップ

2012年3月5日−3月14日に、アテネオデマニラ大(フィリピン)電子通信工学の学生さん1名(写真左端)がインターンシップに参加しました。「LSIの設計とテスト」について学習しました。研究室の学生や同時期に行われたスプリングセミナー参加者と、実習時間の内外で交流を深めました。

サマーブートキャンプ 2011

奈良高専インターンシップ

2011年8月8日−8月9日に、奈良先端科学技術大学院大学情報科学研究科 のサマーブートキャンプが行われ、ディペンダブルシステム学研究室では5名の 学生さんが参加しました。「LSIの設計に挑戦しよう」と「遅延故障テスト生成の体験」 の2つのテーマを学習しました。

http://isw3.naist.jp/IS/PubWG/Summer2011/

インターンシップ 2011

2011年7月25日−8月5日に、奈良高専の3名の学生さんがインターンシッ プに参加しました。最新のCADツールを使いながら、「LSIの設計とテスト」について学習しました。