Zobrazeno 1 - 4
of 4
pro vyhledávání: '"萩谷昌己"'
実は自然は計算をしている！ 自然界は、私たちが考える以上に様々な手法で計算をしている。 本書は、その計算手法―アルゴリズム―を読み解き、新たな情報処理を確立しようという
昨今、ソフトウェアの正しさを保証するソフトウェア検証の技術が重要視されているが、その中でも特にモデル検査が脚光を浴びている。それは数理論理学などに関する知識があまりな
Autor:
萩谷 昌己1
Publikováno v:
Journal of Information Processing & Management / Joho Kanri. Oct2016, Vol. 59 Issue 7, p472-478. 7p.
