アクセリアの研究
グラフデータベースの入門例：TeX Live データベースからNeo4jグラフデータベースへ
Neo4jは、成熟した堅牢なデータベースの特徴をすべて備えたハイパフォーマンスなグラフエンジンです。以前も紹介しましたが（<...
お役立ちコラム
アクセリアの研究
DebConf 2018 in Hsinchu, Taiwan
The yearly Debian Developers Conference was held in Hsinchu, Taiw...
アクセリアの研究
DebConf 2018 in 新竹 レポート
Debian Developers Conferenceは毎年開催され、今年は7月29日から8月5日の日程で、台湾の新竹で開催さ...
アクセリアの研究
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 ...