北里大学
研究室・講座情報

研究室・講座情報の内容について無断転用を禁止します。

産官学連携,共同研究,研究成果,委託研究

情報科学

更新日:2019年4月22日

一般教育部

基礎教育センター 英語 数学 情報科学

担当教員

〔教授〕 福田 宏,〔准教授〕高橋 勇,〔講師〕 小川 智也,高野 保真
情報科学単位ホームページ

研究分野の概要

情報科学単位では,以下の 4 分野について主に研究しています。
・物理学,数学の興味深い分野の問題に対する,コンピュータによる解決方法の研究
・コンピュータ支援による教育の可能性の研究
・効率的な基盤ソフトウェアを実現するための研究
・色彩情報処理の色覚への応用研究

講座重点研究等主な研究課題

【講座重点研究等】

    物理学,数学の分野では,

    1) 3体問題周期解の研究:福田
    古典力学における3体系の運動を,コンピュータによる数式処理や数値計算を駆使しつつも,理論的に明確な結果を得る事を目指します。特に,相互作用をレナード-ジョーンズ・ポテンシャルなどの非斉次ポテンシャルにした場合の周期解について,数値計算を駆使して探求します。

    2) 大規模計算機シミュレーションによる惑星間空間・プラズマの研究:小川
    スーパーコンピューターを用いた大規模数値シミュレーションにより,惑星間空間・プラズマの諸現象を研究します。また,そのための多階層シミュレーションコードを開発します。

    教育の分野では,

    1) 非同期e-Learningにおける動画像を用いた課題に基づく本人確認手法:高橋
    e-Learning主体で行う遠隔授業での本人確認の手法を研究し,実践を通じた評価を行うことで,効果的なシステムの構築方法を確立することを目指します。

    2) TAの役割をになう知的エージェントシステムの開発:高橋
    教員が作成した作業手順書とパソコンの操作知識に基づき、パソコン画面上で動作してTAのように行きづまった学習者にアドバイスを与えることが可能な知的エージェントシステムの開発を目指します。

    基盤ソフトウェアの分野では、

    1) 制約式に適した SMT ソルバの自動選択・オートチューニング:高野
    ソフトウェアの性質を制約として与えて、プログラムを検証する手法について研究しています。与えられた制約に対して短かい求解時間が期待できるソルバを、機械学習の仕組みを用いて自動で選択する手法を開発しています。

    2) カスタマイズ可能な組込み向け JavaScript 処理系を記述するためのプログラミング言語:高野
    IoT などの組込み機器内で JavaScript プログラムを効率よく動かすための仕組みについて研究しています。特に、カスタマイズ可能な実行系の雛形を記述するためのプログラミング言語を設計しています。

    色彩情報処理の分野では,

    1) 色覚シミュレータと色覚測定の研究:福田
    コンピュータで色覚異常者の見え方をシミュレートする,理論的なあいまいさのない,決定的なアルゴリズムを提案すること,色覚特性を短時間で測定する方法を確立することを目指します。

【学外研究機関との共同研究】

    1) 宇宙天気シミュレーション:小川
    独立行政法人情報通信研究機構(田光江)

    2) 多階層複合物理的な観点による核融合プラズマ研究:小川
    大学共同利用機関法人自然科学研究機構核融合科学研究所(宇佐見俊介)

    3) 先進的計算機環境を用いたシミュレーション技法:小川
    大学共同利用機関法人自然科学研究機構核融合科学研究所(大谷寛明)