木下 佳樹
キノシタ ヨシキ (Yoshiki Kinoshita)
更新日: 2025/08/31
基本情報
- 所属
- 神奈川大学 情報学部計算機科学科 教授
- 学位
-
理学博士(1989年3月 東京大学大学院)理学修士(1986年3月 東京大学大学院)理学士(1981年3月 東京大学)
- J-GLOBAL ID
- 200901053708470982
- researchmap会員ID
- 5000086999
- 外部リンク
研究キーワード
3学歴
4-
1986年4月 - 1989年3月
-
1984年4月 - 1986年3月
-
1983年4月 - 1984年3月
-
1976年4月 - 1981年3月
委員歴
13-
2018年6月 - 現在
-
2014年4月 - 現在
-
2014年2月 - 現在
-
2013年1月 - 2018年6月
-
2004年4月 - 2008年3月
受賞
2論文
44-
コンピュータソフトウェア 41(3) 16-33 2024年7月 査読有り
-
情報処理, デジタルプラクティスコーナー 63(8) 2022年8月 査読有り
-
Springer Lecture Notes in Computer Science 10489 17-26 2019年9月 査読有り
-
Springer Lecture Notes in Computer Science 11699 16-27 2019年9月 査読有り
-
標準化と品質管理 72(5) 42-44 2019年5月
-
デジタルプラクティス 10(1) 2019年1月 査読有り
-
信学技報 117(355) 19-23 2017年12月
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9923 63-74 2016年 査読有り
-
Theoretical Computer Science 546 145-163 2014年8月 査読有り
-
Proceedings of the 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012) 2012年
-
コンピュータソフトウェア 29(1) 30-46 2012年1月 査読有り
-
Springer Lecture Notes in Computer Science 6859 253-267 2011年 査読有り
-
In "Proceedings of The Second IASTED International Conference on Advances in Management Science and Risk Assessment (AMSRA2010)" https://www.actapress.com/Content_of_Proceeding.aspx?proceedingID=669 2010年11月 査読有り
-
情報処理 51(10) 1332-1340 2010年10月 査読有り
-
情報処理 51(9) 1204-1214 2010年9月 査読有り
-
情報処理 51(8) 1049-1057 2010年8月 査読有り
-
第8回ディペンダブルシステムワークショップ予稿集 2010年7月
-
Synthesiology (National Institute of Advanced Industrial Science and Technology) 3(1) 64-76 2010年7月 査読有り
-
シンセシオロジー 3(1) 36-46 2010年3月 査読有り
-
Computer Software 26(4) 107-119 2009年11月 査読有り
MISC
8-
SEC Journal 13(2) 2017年
-
IPSJ Transactions on Programming (Information Processing Society of Japan) 44(SIG 4(PRO 17)) 47-53 2003年3月
-
コンピュータソフトウェア 20(2) 47-53 2003年3月 査読有り
-
AIST Today 3(10) 11-11 2003年
-
AIST PROGTAMMING SCIENCE GROUP TECHNICAL REPORT 2003年
-
AIST Programing Science Group Technical Report AIST-PS-2001-01 49-63 2001年4月
-
日本ソフトウェア科学会第18回大会(2001年度)論文集 2001年
書籍等出版物
3-
Safety-Critical Systems Club on Amazon (http://www.amazon.co.uk/Assuring-Safety-Systems-Twenty-first-Safety-critical/dp/1481018647), ISBN 978-1481018647 2013年3月 査読有り
-
Cambridge University Press 2009年9月 査読有り
-
共立出版 1996年4月
講演・口頭発表等
4-
第49回 信頼性・保全性シンポジウム 2019年7月18日 日本科学技術連盟 招待有り
-
機能安全WG例会 2018年12月3日 一般社団法人 JASPAR (Japan Automotive Software Platform and Architecture) 招待有り
-
ベリサーブ アカデミック イニシアティブ 2016 「ソフトウェアと品質を考える」 2016年9月8日 株式会社ベリサーブ 招待有り
所属学協会
3-
2002年4月 - 現在
-
1987年10月 - 現在
共同研究・競争的資金等の研究課題
6-
2018年9月 - 2019年12月
-
2016年4月
-
独立行政法人 情報処理推進機構 2014年6月 - 2016年2月
-
国立情報学研究所 共同研究プロジェクト 2012年4月 - 2014年3月
-
科学技術振興機構 2008年10月 - 2014年3月
-
平塚市役所