Rchr
J-GLOBAL ID：200901004633370749   Update date: Feb. 14, 2024

Koki Nishizawa

Koki Nishizawa
Affiliation and department：
Kanagawa University Faculty of Engineering Department of Information Systems Creation

About Kanagawa University Faculty of Engineering Department of Information Systems Creation


Job title： Associate Professor
Research field  (2)： Algebra ,  Computational science
Research keywords  (8)： algebra structure ,  verification of system ,  information science ,  Logic ,  代数構造 ,  システム検証 ,  情報科学 ,  論理学
Research theme for competitive and other funds  (6)：
  • 2012 - 2016 ストーン型双対性の保存について
  • 2012 - 2014 東日本大震災による漂流ごみの移動経路把握による二次災害防止に関する研究
  • 2009 - 2012 日本海に面した海岸における海ごみの発生抑制と回収処理の促進に関する研究
  • 2008 - 2010 多値モデル検査法を用いたモデリング・エラーの発見
  • 2008 - 2010 モデル検査における抽象化の再利用
Show all
Papers (25)：
ｍore...
Books (1)：
  • Pythonで体験してわかるアルゴリズムとデータ構造
    近代科学社 2018
Works (13)：
  • Generated Waste and Recovery & Disposal of Solid Waste on the Sea of Japan Coast - Tracing Drifting Paths of Tsunami Debris
    Masaru Tanaka, Koki Nishizawa, Makoto Okazaki, Tomomichi Kobayashi, Haruo Matsumura, Tetsuji Arata, Shin Sato, Yasuhiko Kagami 2013 -
  • 発信機の追跡による津波ごみの経路推定
    西澤弘毅, 田中勝 2012 -
  • 講義ビデオの活用に向けた講義音声の発話特徴分析
    永井孝幸, 豊田寿行, 名古屋孝幸, 西澤弘毅, 今井正和 2011 -
  • 日本海に面した海岸における海ごみの発生源に関する研究
    西澤弘毅, 田中勝 2011 -
  • 鳥取-熊本間での講義ビデオ遠隔自動収録の試みについて
    永井孝幸, 豊田寿行, 名古屋孝幸, 西澤弘毅, 今井正和 2010 -
ｍore...
Education (3)：
  • 2003 - 2006 東京大学大学院 情報理工学系研究科 コンピュータ科学専攻
  • 2001 - 2003 東京大学大学院 情報理工学系研究科 コンピュータ科学専攻
  • 1997 - 2001 東京大学 理学部 情報科学科
Work history (9)：
  • 2019/10 - 現在 Lecturer
  • 2013/04 - 2013/08 Lecturer
  • 2012/04 - 2013/03 Lecturer
  • 2009/04 - 2013/03 Lecturer
  • 2008/10 - 2013/03 Lecturer
Show all
Committee career (1)：
  • 2014/04/01 - 現在 国際数理科学協会 代議員
Awards (2)：
  • 2008/03 - 第10回プログラミング及びプログラミング言語ワークショップ
  • 2007/06 - 第23回日本ソフトウェア科学会 高橋奨励賞
Association Membership(s) (3)：
日本ソフトウェア科学会 ,  国際数理科学協会 ,  日本数学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM