コラム
サイバーレジリエンス、Webインフラ関連や最新技術に関する注目トピックを取り上げています
-
グラフデータベースの入門例：TeX Live データベースからNeo4jグラフデータベースへ
Neo4jは、成熟した堅牢なデータベースの特徴をすべて備えたハイパフォーマンスなグラフエンジンです。以前も紹介しましたが（①、②、③）、グラフ技術的に難しか…
- アクセリアの研究
-
DebConf 2018 in Hsinchu, Taiwan
The yearly Debian Developers Conference was held in Hsinchu, Taiwan, from July 29 to August 5. It was the first time since its inception in 2000 that…
- アクセリアの研究
-
DebConf 2018 in 新竹 レポート
Debian Developers Conferenceは毎年開催され、今年は7月29日から8月5日の日程で、台湾の新竹で開催されました。2000年に設立して以来、この年次会議がアジア…
- アクセリアの研究
-
ハードウェアの脆弱性(1)-「クラウド × ハードウェア脆弱性 = 大問題」？！
前回の記事からずいぶん時間が経ってしまいました。皆さんの会社ではGDPR対応は落ち着いたでしょうか。サイバー空間には国境はないとよく言われますが、「国…
- サイバーレジリエンス
-
Interop Tokyo 2018 初参加者による所感
今年も多くのアクセリア技術部員がInterop Tokyoに参加しました。そこで、今年初参加の新人3人にInterop Tokyoに参加した所感をまとめてもらいました。初参加…
- Webインフラ関連
-
Specification and Verification of Software with CafeOBJ – Part 4 – Modules
This blog continues Part 1, Part 2, and Part 3 of our series on software specification and verification with CafeOBJ.(Part 1, Part 2, and Part 3) …
- アクセリアの研究
-
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 specification and verification with CafeOBJ. (Part 1 and Part 2) We will go throu…
- アクセリアの研究
-
Specification and Verification of Software with CafeOBJ – Part 2 – Basics of CafeOBJ
This blog continues Part 1 of our series on software specification and verification with CafeOBJ.(Part 1) CafeOBJ can be obtained from the website…
- アクセリアの研究
-
通信プロトコルの脆弱性(3) – 「ひらけごま」はバックドアへ続く合言葉？！
前回の記事からずいぶん時間が経ってしまいましたが、今回も前回に引き続き、ネットワークの通信プロトコルに潜む脆弱性について見ていきましょう。 前回…
- サイバーレジリエンス
-
Specification and Verification of Software with CafeOBJ – Part 1 – Introducing CafeOBJ
Software bugs are everywhere - the feared Blue Screen of Death, the mobile phone rebooting at the most inconvenient moment, games crashing. Most of t…
- アクセリアの研究
サービスにご興味をお持ちの方は
お気軽にお問い合わせください。
Webからお問い合わせ
お問い合わせお電話からお問い合わせ
平日09:30 〜 18:00