| 詳細情報 |  |
|---|---|
| 関連リンク |  |
| 探す |  |
所属機関・部署：
職名： 准教授
論文 (24件)：
書籍 (1件)：
Works (13件)：
学歴 (3件)：
経歴 (9件)：
委員歴 (1件)：
受賞 (2件)：
所属学会 (3件)：
前のページに戻る
神奈川大学 工学部情報システム創成学科
神奈川大学 工学部情報システム創成学科 について
職名： 准教授
研究キーワード (8件)：
algebra structure
, verification of system
, information science
, Logic
, 代数構造
, システム検証
, 情報科学
, 論理学
競争的資金等の研究課題 (6件)： - 2012 - 2016 ストーン型双対性の保存について
- 2012 - 2014 東日本大震災による漂流ごみの移動経路把握による二次災害防止に関する研究
- 2009 - 2012 日本海に面した海岸における海ごみの発生抑制と回収処理の促進に関する研究
- 2008 - 2010 多値モデル検査法を用いたモデリング・エラーの発見
- 2008 - 2010 モデル検査における抽象化の再利用
全件表示
- Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida. Stone Dualities from Opfibrations. Lecture Notes in Computer Science. 2020. 12062. 221-236
- Koki Nishizawa, Koji Yasuda, Hitoshi Furusawa. Preorders, Partial Semigroups, and Quantales. Lecture Notes in Computer Science. 2020. 12062. 237-252
- Koki Nishizawa, Norihiro Tsumagari. Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad. Lecture Notes in Computer Science. 2018. 11194. 97-112
- Hitoshi Furusawa, Koki Nishizawa. Multirelational representation theorems for complete idempotent left semirings. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. 2015. 84. 3. 426-439
- Koki Nishizawa, Hitoshi Furusawa. A sufficient condition for liftable adjunctions between Eilenberg-Moore categories. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2014. 8428. 261-276
- Pythonで体験してわかるアルゴリズムとデータ構造
近代科学社 2018
-
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 -
- 2003 - 2006 東京大学大学院 情報理工学系研究科 コンピュータ科学専攻
- 2001 - 2003 東京大学大学院 情報理工学系研究科 コンピュータ科学専攻
- 1997 - 2001 東京大学 理学部 情報科学科
- 2019/10 - 現在 鶴見大学 文学部 非常勤講師
- 2013/04 - 2013/08 鳥取環境大学 非常勤講師
- 2012/04 - 2013/03 鳥取環境大学 経営学部 経営学科 専任講師
- 2009/04 - 2013/03 鳥取環境大学大学院 環境情報学研究科(修士課程担当) 専任講師
- 2008/10 - 2013/03 鳥取環境大学環境情報学部情報システム学科 専任講師
全件表示
- 2014/04/01 - 現在 国際数理科学協会 代議員
- 2008/03 - 第10回プログラミング及びプログラミング言語ワークショップ
- 2007/06 - 第23回日本ソフトウェア科学会 高橋奨励賞
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。
前のページに戻る
