神奈川大学
プログラミング科学研究所

神奈川大学プログラミング科学研究所は,神奈川大学プロジェクト研究所の一つとして設置されている研究所です。

情報処理システムの妥当性確認(validation)方式の情報論理学的立場からの研究遂行により手薄になりがちな我が国の理論情報科学研究において情報処理の現場から課題を抽出して実践と乖離しない理論研究の一翼を担うことを目的としています。

最新のお知らせ

2023-05-09 木下所長が(一社)情報処理学会 情報規格調査会の国際規格開発賞を受賞しました

本研究所所長の木下佳樹(理学部情報科学科 教授)が、昨年11月に国際標準化機構(ISO)から発行された国際標準ISO/IEC/IEEE 15026-2:2022 Systems and software engineering -- Systems and software assurance -- Part 2: Assurance caseのProject editorとしての貢献から、情報処理学会 情報規格調査会の国際規格開発賞を受賞しました。(本学お知らせ

2022-02-10 平塚市災害対策課に提出した提言書を公開しました

2021年9月に、2014年から地域防災計画について共同研究を継続している平塚市災害対策課に、これまでの研究成果をまとめた提言書「地域防災計画業務記述 4 原則の提言」を提出いたしました。このたび、本ウェブサイトにも掲載いたしました。こちらからお読みいただけます。

2021-12-21 木下所長が(一社情報処理学会 情報規格調査会の国際規格開発賞を受賞しました

本研究所所長の木下佳樹(理学部情報科学科 教授)が、9月に国際標準化機構(ISO)から発行された国際標準ISO/IEC/IEEE 15026-4:2021 Systems and software engineering -- Systems and software assurance -- Part 4: Assurance in the life cycle のProject editorとしての貢献から、情報処理学会 情報規格調査会の国際規格開発賞を受賞しました。(本学お知らせ

2021-09-24 木下所長がIEC TC 56 Dependability Chairに指名されました

本研究所所長の木下佳樹(理学部情報科学科 教授)が、IEC TC 56 Dependability (国際電気標準会議 第56技術委員会[総合信頼性]) のchair(議長)に指名されました。2021年9月から6年間の任期です。(本学お知らせ

2021-04-16 DEOS協会からの受託研究成果物


2020年のお知らせ

2020-11-07 

2020-05-09

2020-04-23 

2019年のお知らせ


2019-10-26 木下佳樹所長 中国で招待講演 — Nov 13, 2019 6:51:50 AM

2019-10-21 日本ソフトウェア科学会大会 優秀発表賞 — Nov 13, 2019 6:46:20 AM

2019-09-10 国際会議ASSURE2019 — Sep 2, 2019 11:49:23 PM

2019-07-18 (木) — Jul 19, 2019 5:18:21 AM

2019-05-16 (木) — May 16, 2019 4:52:55 AM

2019-05-15 — May 16, 2019 4:50:53 AM

2019-01-15 — Jan 23, 2019 11:29:19 PM


2018年以前のお知らせ

2018-12-26 (Wed) — Dec 26, 2018 5:16:02 AM

2018-12-13 (Thu) — Dec 26, 2018 5:11:19 AM

2018-12-03 — Dec 13, 2018 12:41:51 AM

2018-10-22 IEC 62853 制定報告会 — Oct 23, 2018 3:50:54 AM

IEC1906賞受賞 — Oct 4, 2018 8:42:37 AM

TIGARS: 国際共同研究プロジェクト開始 — Oct 2, 2018 10:07:16 AM

講演予定: "オープンシステム・ディペンダビリティのアシュランス議論と ディペンダビリティケース  ~IEC62853のアプローチ~" — Jul 22, 2016 7:37:13 AM

講演予定: "The 6W1H Model as a Basis for Systems Assurance Argument" — Jul 22, 2016 6:28:44 AM

プロジェクト「オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク」(IPA RISE制度による委託研究)終了 — Jul 22, 2016 6:24:11 AM

第5回システムアシュランス研究会・第4回DEOS標準化部会講演会報告 — Mar 25, 2016 6:39:32 AM

3月16日講演会スライドの掲載 — Mar 23, 2016 6:26:34 AM

「第5回システムアシュランス研究会・第4回DEOS標準化部会講演会合同開催」のご案内 — Feb 18, 2016 9:34:20 AM

第4回システムアシュランス研究会 — Nov 12, 2015 4:33:33 AM

11th Theorem Proving and Provers 研究集会 (TPP 2015) を主催します — Aug 10, 2015 12:55:24 PM

JST イノベーション・ジャパン2015 に出展しました。 — Aug 7, 2015 8:39:58 AM

第3回システムアシュランス研究会・第3回DEOS標準化部会講演会報告 — Jul 28, 2015 9:07:56 AM

2015-07-24 7月21日講演会スライドの掲載 — Jul 24, 2015 2:26:03 AM

2015-07-15 イノベーションジャパン2015出展 — Jul 15, 2015 4:46:40 AM

2015-06-05 7月21日講演会開催のご案内 — Jun 5, 2015 1:27:22 AM

2015-02-12 (木) Workshop on Logical Analysis of Descriptions and their Presentations — Feb 12, 2015 3:58:15 AM

2015-01-27 12月18日講演会報告 — Jan 27, 2015 2:57:52 AM

2014-12-19 12月18日講演会スライドの掲載 — Dec 19, 2014 8:57:15 AM

2014-12-05 12月16日講演会(筑波大学 亀山教授)のお知らせ — Dec 5, 2014 3:09:24 AM

2014-11-18 12月18日講演会開催のご案内 — Nov 18, 2014 7:53:31 AM

2014-07-25 「システム検証法を研究/地域防災計画の改善にも」〜形式アシュランスケース〜 — Jul 25, 2014 1:53:57 PM

2014-07-21 第一回システムアシュランス研究会講演スライド — Jul 21, 2014 6:53:11 AM

2014-07-02 Workshop on Open Systems Dependability 開催のお知らせ — Jul 2, 2014 7:19:02 AM

2014-07-01 第1回システムアシュランス研究会のお知らせ — Jul 1, 2014 8:24:33 AM