アクセリアの研究
グラフデータベースの入門例：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日の日程で、台湾の新竹で開催さ...
サイバーレジリエンス
ハードウェアの脆弱性(1)
前回の記事からずいぶん時間が経ってしまいました。皆さんの会社ではGDPR対応は落ち着いたでしょうか。サイバー空間には国境はないと...
Webインフラ関連のトレンド
Interop Tokyo 2018 初参加者による所感
今年も多くのアクセリア技術部員がInterop Tokyoに参加しました。そこで、今年初参加の新人3人にInterop Toky...
アクセリアの研究
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...