神奈川大学
プログラミング科学研究所
神奈川大学プログラミング科学研究所は，神奈川大学プロジェクト研究所の一つとして設置されている研究所です。
情報処理システムの妥当性確認(validation)方式の情報論理学的立場からの研究遂行により，手薄になりがちな我が国の理論情報科学研究において，情報処理の現場から課題を抽出して，実践と乖離しない理論研究の一翼を担うことを目的としています。
最新のお知らせ
2024-10-17 東京都地域防災計画データベースが公開されました
東京都立産業技術大学院大学と東京都総務局総合防災部との共同プロジェクトで開発されたWebサービス「東京都地域防災計画データベース」が本日一般公開されました。本プロジェクトの研究代表者である木下修司助教は、本研究所プロジェクト研究員を兼務しています。プレスリリースはこちらです。（サービスはこちら）
2024-09-27 平塚市災害対策課との共同研究成果をまとめた論文が公開されました
本研究所の木下佳樹所長、武山プロジェクト研究員、木下修司プロジェクト研究員による、平塚市災害対策課との共同研究成果をまとめた論文「地域防災計画業務記述5原則の提言」が、日本ソフトウェア科学会の論文誌「コンピュータソフトウェア」2024年41巻3号（7月発行）に掲載されました。このたびJ-STAGEでも公開され、こちらからダウンロード可能です。
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年度に実施しました、一般社団法人ディペンダビリティ技術推進協会（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 ７月２１日講演会スライドの掲載 — Jul 24, 2015 2:26:03 AM
2015-07-15 イノベーションジャパン2015出展 — Jul 15, 2015 4:46:40 AM
2015-06-05 ７月２１日講演会開催のご案内 — 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 １２月１８日講演会報告 — Jan 27, 2015 2:57:52 AM
2014-12-19 １２月１８日講演会スライドの掲載 — Dec 19, 2014 8:57:15 AM
2014-12-05 １２月１６日講演会（筑波大学 亀山教授）のお知らせ — Dec 5, 2014 3:09:24 AM
2014-11-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 第１回システムアシュランス研究会のお知らせ — Jul 1, 2014 8:24:33 AM