藤井護 FUJII Mamoru

研究者番号	00029464
所属 (過去の研究課題情報に基づく) *注記	1996年度: 大阪大学, 基礎工学部, 教授 1990年度 – 1991年度: 大阪大学, 教養部, 教授 1986年度 – 1988年度: 大阪大学, 基礎工学部, 助教授 1986年度: 大阪大学, 大型計算機センター, 助教授
審査区分/研究分野	研究代表者情報工学 / 計算機科学 / 計算機工学研究代表者以外情報工学 / 電子通信系統工学
キーワード	研究代表者通信プロトコルの検証 / プロトコル機械 / 不変式 / OSIセションプロトコル / 有限状態の順序機械 / Eventuality / (プロトコル機械の)分解,縮退 / 拡張有限状態機械 / プロトコルの安全性 / 分散データベース … もっと見る研究代表者以外誤り訂正符号 / 2重符号化 / 縦接符号 / 誤り見逃し確率 / 正しく復号する確率 / 符号設計支援システム / プログラム仕様 / 自然語の意味定義 / 抽象的データタイプ / プロトコル / 検証 / エラーリカバリ / 仕様記述 / ソフトウェア・メトリクス / ツール / バグ数 / ソフトウェア設計法 / プログラム作成能力 / Measurement / Bug Numbers / Programmer's Capability 隠す

研究課題
(8件)
共同研究者
(12人)

データベースシステムにおける分散型スケジューリング手法の開発研究代表者
- 研究代表者
  
  藤井護
- 研究期間 (年度)
  1996
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  大阪大学
通信プロトコルの検証法の検討とその検証支援システムの製作研究代表者
- 研究代表者
  
  藤井護
- 研究期間 (年度)
  1991
- 研究種目
  
  一般研究(C)
- 研究分野
  
  情報工学
- 研究機関
  大阪大学
動作系列集合による通信プロトコルの代数的仕様から状態遷移機械への変換研究代表者
- 研究代表者
  
  藤井護
- 研究期間 (年度)
  1990
- 研究種目
  
  一般研究(C)
- 研究分野
  
  情報工学
- 研究機関
  大阪大学
OSIセション層の代数的仕様記述から研究代表者
- 研究代表者
  
  藤井護
- 研究期間 (年度)
  1988
- 研究種目
  
  一般研究(C)
- 研究分野
  
  計算機工学
- 研究機関
  大阪大学
プログラム仕様記述に用いる自然語の形式的意味定義と処理系に関する研究
- 研究代表者
  
  嵩忠雄
- 研究期間 (年度)
  1987
- 研究種目
  
  一般研究(C)
- 研究分野
  
  情報工学
- 研究機関
  大阪大学
通信プロトコルにおけるエラーリカバリ法の記述と検証に関する研究
- 研究代表者
  
  谷口健一
- 研究期間 (年度)
  1987
- 研究種目
  
  一般研究(C)
- 研究機関
  大阪大学
縦接符号の信頼性の評価
- 研究代表者
  
  嵩忠雄
- 研究期間 (年度)
  1986
- 研究種目
  
  一般研究(C)
- 研究分野
  
  電子通信系統工学
- 研究機関
  大阪大学
ソフトウェア作成時のエラー意味分析と高信頼化技法に関する研究
- 研究代表者
  
  鳥居宏次
- 研究期間 (年度)
  1985 – 1986
- 研究種目
  
  一般研究(C)
- 研究分野
  
  情報工学
- 研究機関
  大阪大学

1. 関浩之 (80196948)

共同の研究課題数: 4件

共同の研究成果数: 0件
2. 伊藤実 (90127184)

共同の研究課題数: 3件

共同の研究成果数: 0件
3. 東野輝夫 (80173144)

共同の研究課題数: 3件

共同の研究成果数: 0件
4. 嵩忠雄 (50029378)

共同の研究課題数: 2件

共同の研究成果数: 0件
5. 杉山裕二 (50116050)

共同の研究課題数: 2件

共同の研究成果数: 0件
6. 鳥居宏次 (10172222)

共同の研究課題数: 2件

共同の研究成果数: 0件
7. 谷口健一 (00029513)

共同の研究課題数: 2件

共同の研究成果数: 0件
8. 樋口昌宏 (00238289)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 藤原融 (70190098)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 山村三朗 (70093549)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 井上克郎 (20168438)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 工藤英男 (60133146)

共同の研究課題数: 1件

共同の研究成果数: 0件

藤井 護 FUJII Mamoru

研究課題

共同研究者

データベースシステムにおける分散型スケジューリング手法の開発研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

通信プロトコルの検証法の検討とその検証支援システムの製作研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

動作系列集合による通信プロトコルの代数的仕様から状態遷移機械への変換研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

OSIセション層の代数的仕様記述から研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

プログラム仕様記述に用いる自然語の形式的意味定義と処理系に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

通信プロトコルにおけるエラーリカバリ法の記述と検証に関する研究

研究代表者

研究期間 (年度)

研究種目

研究機関

縦接符号の信頼性の評価

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ソフトウェア作成時のエラー意味分析と高信頼化技法に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

藤井護 FUJII Mamoru