メニュー
検索
研究課題をさがす
研究者をさがす
KAKENの使い方
日本語
英語
前のページに戻る
安全・高信頼ソフトウェアシステムのための高階・型付き・並行プログラミング言語理論
研究課題
サマリー
2024年度
基礎情報
研究課題/領域番号
23K20379
研究種目
基盤研究(B)
配分区分
基金
応募区分
一般
審査区分
小区分60050:ソフトウェア関連
研究機関
東北大学
研究代表者
住井 英二郎
東北大学, 情報科学研究科, 教授 (00333550)
研究期間 (年度)
2024-02-28 – 2025-03-31
研究課題ステータス
採択 (2024年度)
配分額
*注記
650千円 (直接経費: 500千円、間接経費: 150千円)
2024年度: 650千円 (直接経費: 500千円、間接経費: 150千円)