FUJII Mamoru 藤井護

… Alternative Names

藤井護フジイマモル

Less

Researcher Number	00029464
Affiliation (based on the past Project Information) *help	1996: 大阪大学, 基礎工学部, 教授 1990 – 1991: 大阪大学, 教養部, 教授 1986 – 1988: Osaka University, Associate Professor, 基礎工学部, 助教授 1986: 大阪大学, 大型計算機センター, 助教授
Review Section/Research Field	Principal Investigator 情報工学 / 計算機科学 / 計算機工学 Except Principal Investigator 計算機工学 / 電子通信系統工学
Keywords	Principal Investigator 通信プロトコルの検証 / プロトコル機械 / 不変式 / OSIセションプロトコル / 有限状態の順序機械 / Eventuality / (プロトコル機械の)分解,縮退 / 拡張有限状態機械 / プロトコルの安全性 / 分散データベース … More / 並行制御 / スケジューリング / 逐次化グラフ / 局所的コピー / 代数的仕様記述 / プログラム仕様の詳細化(実現) / システム間相互接続(OSI) / プロトコル仕様 / 抽象的順序機械 … More Except Principal Investigator 誤り訂正符号 / 2重符号化 / 縦接符号 / 誤り見逃し確率 / 正しく復号する確率 / 符号設計支援システム / プログラム仕様 / 自然語の意味定義 / 抽象的データタイプ / プロトコル / 検証 / エラーリカバリ / 仕様記述 / ソフトウェア・メトリクス / ツール / バグ数 / ソフトウェア設計法 / プログラム作成能力 / Measurement / Bug Numbers / Programmer's Capability Less

Research Projects
(8 results)
Co-Researchers
(12 People)

データベースシステムにおける分散型スケジューリング手法の開発Principal Investigator
- Principal Investigator
  
  藤井護
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
通信プロトコルの検証法の検討とその検証支援システムの製作Principal Investigator
- Principal Investigator
  
  藤井護
- Project Period (FY)
  1991
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  情報工学
- Research Institution
  Osaka University
動作系列集合による通信プロトコルの代数的仕様から状態遷移機械への変換Principal Investigator
- Principal Investigator
  
  藤井護
- Project Period (FY)
  1990
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  情報工学
- Research Institution
  Osaka University
OSIセション層の代数的仕様記述からPrincipal Investigator
- Principal Investigator
  
  藤井護
- Project Period (FY)
  1988
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機工学
- Research Institution
  Osaka University
プログラム仕様記述に用いる自然語の形式的意味定義と処理系に関する研究
- Principal Investigator
  
  嵩忠雄
- Project Period (FY)
  1987
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機工学
- Research Institution
  Osaka University
通信プロトコルにおけるエラーリカバリ法の記述と検証に関する研究
- Principal Investigator
  
  TANIGUCHI Kenichi
- Project Period (FY)
  1987
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Institution
  Osaka University
縦接符号の信頼性の評価
- Principal Investigator
  
  嵩忠雄
- Project Period (FY)
  1986
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  電子通信系統工学
- Research Institution
  Osaka University
Software Measurements and Data Collection Tools
- Principal Investigator
  
  TORII Koji
- Project Period (FY)
  1985 – 1986
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機工学
- Research Institution
  Osaka University

1. 関浩之 (80196948)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
2. 伊藤実 (90127184)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
3. HIGASHINO Teruo (80173144)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
4. 嵩忠雄 (50029378)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. SUGIYAMA Yuji (50116050)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. TORII Koji (10172222)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. TANIGUCHI Kenichi (00029513)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. 樋口昌宏 (00238289)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 藤原融 (70190098)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 山村三朗 (70093549)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. 井上克郎 (20168438)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. KUDO Hideo (60133146)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

FUJII Mamoru 藤井 護

藤井 護 フジイ マモル

Research Projects

Co-Researchers

データベースシステムにおける分散型スケジューリング手法の開発Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

通信プロトコルの検証法の検討とその検証支援システムの製作Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

OSIセション層の代数的仕様記述からPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Institution

縦接符号の信頼性の評価

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Software Measurements and Data Collection Tools

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

FUJII Mamoru 藤井護

藤井護フジイマモル