神奈川大学
プログラミング科学研究所
神奈川大学プログラミング科学研究所は，神奈川大学プロジェクト研究所の一つとして設置されている研究所です。
情報処理システムの妥当性確認(validation)方式の情報論理学的立場からの研究遂行により，手薄になりがちな我が国の理論情報科学研究において，情報処理の現場から課題を抽出して，実践と乖離しない理論研究の一翼を担うことを目的としています。
最新のお知らせ
2020-11-07 本ウェブサイトをリニューアルしました。
2020-05-09 レポート発行 "STANDARDS AND GUIDELINES RELEVANT TO THE ASSURANCE OF AUTONOMY" — May 9, 2020 5:44:30 AM
2020-04-23 TIGARSプロジェクト報告 — Apr 22, 2020 11:48:45 PM
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