著者

小林 孝一 平石 邦彦

出版者

一般社団法人 電子情報通信学会

雑誌

電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review (ISSN:18820875)

巻号頁・発行日

vol.10, no.4, pp.257-265, 2017-04-01 (Released:2017-04-01)

参考文献数

41

被引用文献数

1

---

本解説では,遺伝子ネットワークに対するシステム数理的手法の一例を紹介する.ブーリアンネットワークと呼ばれる遺伝子ネットワークのモデルを考え,まず,その概要を説明する.次に,ブーリアンネットワークを簡単に扱うための行列表現を導入する.行列表現を利用した問題として,既知の情報からモデルの詳細を求める問題を考え,その解法を説明する.計算例についても簡単に紹介する.

著者

石原 啓子 平石 邦彦

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. COMP, コンピュテーション

巻号頁・発行日

vol.96, no.585, pp.41-50, 1997-03-17

---

最近、線形論理とペトリネットとの間の関係を調べる研究がされており、種々の結果が得られている。線形論理はresource consciousな論理であるということより、むしろ並行性を表すのに非常に有効な論理であると考えられている。線形論理において、ペトリネットのplaceとtransitionはそれぞれ論理式と証明可能性に関係づけられる。EngbergとWinskelは、直観主義線形論理のモデルとして、直接ペトリネットからquantaleを生成することにより双方の関係を調べた。彼らは、このペトリネットより生成されたquantaleに対する、直観主義線形論理の健全性を示したが、完全性の証明は示していなかった。ここで我々は、ペトリネットよりquantaleを生成する新たな方法を示し、直観主義線形論理の完全性を証明した。

著者

平石 邦彦

出版者

一般社団法人 電子情報通信学会

雑誌

電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review (ISSN:18820875)

巻号頁・発行日

vol.6, no.4, pp.257-264, 2013-04-01 (Released:2013-04-01)

参考文献数

24

---

業務プロセスを記述する手法は,企業情報システムを構築する技術の一部として発展してきた.近年では,医療プロセスの詳細なモデル化やそれを用いた潜在的なリスク発見など,人間の介在する,より複雑なプロセスのモデル化及び分析に関する研究開発が進んでいる.本稿では,人間系を含む複雑なプロセスのモデル化に必要な機能を明らかにし,更に,幾つかの既存のプロセス記述手法について解説する.

著者

岡田 政則 平石 邦彦 國藤 進

出版者

日本創造学会, 北陸先端科学技術大学院大学

雑誌

第六回知識創造支援システムシンポジウム報告書

巻号頁・発行日

pp.61-66, 2009-03-30

---

The rewarding system using IC cards has been installed and is being tried out in Kanazawa Gakuin University. The purpose of this system needs to encourage students fairly, at an appropriate and in their behavior. The system accumulate points according to a student’s behaviour. We will hand over some goods in exchange for points which each students got. Now we use a gift certificate for books as some goods. We expect that student’s school life style habits would improve better, as a result they could progress in their studies. As a result of this tryout, the medium class student might improve their habbits of the study especially.