アクセリアの研究
Specification and Verification of Software with CafeOBJ - Part 4 - Modules
This blog continues Part 1, Part 2, and Part 3 of our series on s...
お役立ちコラム
アクセリアの研究
Specification and Verification of Software with CafeOBJ - Part 3 - First steps with CafeOBJ
This blog continues Part 1 and Part 2 of our series on software s...
アクセリアの研究
Specification and Verification of Software with CafeOBJ - Part 2 - Basics of CafeOBJ
This blog continues Part 1 of our series on software specificatio...
アクセリアの研究
Specification and Verification of Software with CafeOBJ - Part 1 - Introducing CafeOBJ
Software bugs are everywhere - the feared Blue Screen of Death, t...
アクセリアの研究
Analyzing Debian packages with Neo4j - Part 3 Getting data from UDD into Neo4j
In the first part and the second part of this series of articles ...
アクセリアの研究
Analyzing Debian packages with Neo4j - Part 2 UDD and Graph DB Schema
In the first part of this series of articles on analyzing Debian ...
アクセリアの研究
Analyzing Debian packages with Neo4j
The Ultimate Debian Database UDD collects a variety of data aroun...
アクセリアの研究
アクセリアにおけるディープラーニング適用例
アクセリアではディープラーニングをはじめとする機械学習技術を、金属プレートの文字読み取り、類似画像検索、トラフィックの異常検知に...