• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

MURAKAMI Masaki  村上 昌己

ORCIDConnect your ORCID iD *help
… Alternative Names

村上 昌巳  ムラカミ マサキ

Less
Researcher Number 60239499
Other IDs
External Links
Affiliation (based on the past Project Information) *help 2016 – 2017: 岡山大学, 情報統括センター, 教授
2014: 岡山大学, 情報統括センター, 教授
2012 – 2013: 岡山大学, 自然科学研究科, 准教授
2001 – 2003: 岡山大学, 大学院・自然科学研究科, 助教授
2000: 岡山大学, 工学部, 助教授
1995 – 1998: 岡山大学, 工学部, 助教授
Review Section/Research Field
Principal Investigator
計算機科学 / Theory of informatics / Fundamental theory of informatics
Keywords
Principal Investigator
プログラム変換 / code streaming / CSP / π計算 / プロセス代数 / 並行計算 / 部分計算 / 線形論理 / 並行プロセス / 並行システム … More / セキュリティ / C&Cサーバ / インシデント対応訓練 / 標的型メール攻撃 / ドライブ バイ ダウンロード / C&Cサーハ / マルウェア / multiset rewriting system / higher order communication / process algebra / linear logic / distributed system / concurrency / モーバイルプロセス / イギリス / 国際研究者交流 / 非同期分散系 / コードストリーミング / 名前の有効範囲 / 動的変更 / 多重集合書き換え / 高階通信 / 分散システム / true concurrency / parallelization / concurrent logic language / pi-calculus / concurrent processes / partial evaluation / program transformation / トゥル-コンカレンツー / 形式的意味論 / 双模倣性 / C-双模倣性 / 表示的意味論 / モ-バイルプロセス / 下計算 / true concurroncy / 並行化 / 並行論理型言語 / コンテクストラベル / グラフ書換系 / 高階ストリーム型通信 / 並行計算モデル / 計算モデル Less
  • Research Projects

    (5 results)
  • Research Products

    (10 results)
  •  プログラム変換を用いたソフトウェアセキュリティの改善手法についての研究Principal Investigator

    • Principal Investigator
      村上 昌己
    • Project Period (FY)
      2016 – 2017
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Theory of informatics
    • Research Institution
      Okayama University
  •  Study on the theory of concurrent systems with code streamingPrincipal Investigator

    • Principal Investigator
      MURAKAMI Masaki
    • Project Period (FY)
      2012 – 2014
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      Okayama University
  •  Research Project for A Theory of Mobile Concurrent ComputationsPrincipal Investigator

    • Principal Investigator
      MURAKAMI Masaki
    • Project Period (FY)
      2000 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      OKAYAMA UNIVERSITY
  •  並行システムの実行時プログラム変換の形式化についての研究Principal Investigator

    • Principal Investigator
      村上 昌己
    • Project Period (FY)
      1998
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas (A)
    • Research Institution
      Okayama University
  •  Study on Parallelization Method for Sequential Processes Using Partial EvaluationPrincipal Investigator

    • Principal Investigator
      MURAKAMI Masaki
    • Project Period (FY)
      1995 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Okayama University

All 2017 2014 2013 2012 Other

All Journal Article Presentation

  • [Journal Article] An Application of Partial Evaluation of Communicating Processes to System Security2012

    • Author(s)
      Murakami M.
    • Journal Title

      International Journal in Foundations of Computer Science & Technology

      Volume: vol. 2, no. 4 Pages: 15-27

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-24500016
  • [Presentation] 標的型メール攻撃によるセキュリティインシデントへの対応訓練2017

    • Author(s)
      村上 昌己
    • Organizer
      国立大学法人情報系センター協議会第21回学術情報処理研究集会
    • Data Source
      KAKENHI-PROJECT-16K00019
  • [Presentation] Contextual Transition System for π-calculus2014

    • Author(s)
      村上 昌己
    • Organizer
      Science and Information (SAI) Conference 2014
    • Place of Presentation
      イギリス,ロンドン
    • Data Source
      KAKENHI-PROJECT-24500016
  • [Presentation] Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System2013

    • Author(s)
      Murakami M
    • Organizer
      The 7th International Symposium on Theoretical Aspects of Software Engineering
    • Place of Presentation
      イギリス、バーミンガム
    • Data Source
      KAKENHI-PROJECT-24500016
  • [Presentation] A Graphical Structure Rewriting Model for Concurrent System with Higher-Order Streaming Communication2013

    • Author(s)
      村上 昌己
    • Organizer
      Third Int. Conf. on Innovative Computing Technology
    • Place of Presentation
      イギリス,ロンドン
    • Data Source
      KAKENHI-PROJECT-24500016
  • [Presentation] Contextual Transition System for Ambient Calculus2013

    • Author(s)
      Yamazaki S. and M. Murakami
    • Organizer
      12th Int. Conf. on Software Engineering, Parallel and Distributed Systems (SEPADS '13)
    • Place of Presentation
      イギリス、ケンブリッジ
    • Data Source
      KAKENHI-PROJECT-24500016
  • [Presentation] Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System2013

    • Author(s)
      村上 昌己
    • Organizer
      2013 Int. Symp. on Theoretical Aspects of Software Engineering (TASE 2013)
    • Place of Presentation
      イギリス,バーミンガム
    • Data Source
      KAKENHI-PROJECT-24500016
  • [Presentation] Partial Evaluation of Communicating Processes with Temporal Formulas and Its Application2012

    • Author(s)
      Murakami M
    • Organizer
      The 2nd International Conf. on Computer Sci, Eng and Applications, Advances in Intelligent and Soft Computing
    • Place of Presentation
      インド, デリー
    • Data Source
      KAKENHI-PROJECT-24500016
  • [Presentation] A Contetxual Transition Semantics for Graphical Concurrent System with Higher-Order Streaming Communication

    • Author(s)
      Masaki Murakami
    • Organizer
      3rd International Conference on Circuits, Systems, Communications, Computers and Applications (CSCCA14)
    • Place of Presentation
      Florence, Italy
    • Year and Date
      2014-11-22 – 2014-11-24
    • Data Source
      KAKENHI-PROJECT-24500016
  • [Presentation] Contextual Transition System for π-calculus

    • Author(s)
      Masaki Murakami
    • Organizer
      Science and Information Conference 2014
    • Place of Presentation
      London, UK
    • Year and Date
      2014-08-27 – 2014-08-29
    • Data Source
      KAKENHI-PROJECT-24500016

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi