音声、画像、文字などを高精度で認識するパターン認識技術の基本的な考え方、識別理論、学習理論およびそれらのアルゴリズムを習得する。さらにコンピュータを用いた演習で具体的な問題を解き、理解を深めるとともに実際の場で本技術を適用できる応用力を身につける。達成目標は以下の二点である。 1. パターン認識の基本概念を理解し、説明できる 2. 識別、学習のアルゴリズムを用いて具体的な問題を解ける ....

続きを読む →

2004年5月当時の胸部外科学講座に助教授としてお招きいただき、およそ15年間お世話になりました。卒後長らく一般病院に在籍し50歳にして初めて大学に戻りましたので、当初は診療以外の教育・研究に戸惑うことも多々ありましたが、多くの皆様のご協力を得て、曲がりなりにも務めを果たせたかなと思っております。2013年4月には胸部外科学講座から分離独立させていただき、名古屋大学に初めて呼吸器外科学講座 ....

続きを読む →

並行計算の概念および体系について修得する。特に、通信プロセス計算モデルの表現と意味論について講義し、従来の逐次計算モデルと比較して、並行計算によって生じる問題について、体系的な意味づけとその対処方法について学ぶ。ネットワークを介した情報システムにおける並行計算の具体的イメージを通して信頼性の高い並行ソフトウェアの構築、さらに、具体的な信頼性向上のための形式手法としてモデル検査について述べる。 ....

続きを読む →

1971年に大学院工学研究科修士課程に入学して以来42年間、名古屋大学にお世話になりました。この間、私の従事した宇宙プラズマの3次元シミュレーション研究はその時代の最大級のコンピュータの利用が必要不可欠でした。その意味でスパコンとIT基盤の進歩と共にあり、その最先端の現場に居合わせる幸運な時間を過ごすことができました。1989年に東大理学ネット(TISN)の一部として DECnet(SPAN) ....

続きを読む →

中津川市加子母地区を訪問して、林業・製材・建築業を基盤としたムラづくりを体験します。 ....

続きを読む →