コラム

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に参加した所感をまとめてもらいました。初参加…

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…

「CES 2018」に見る家電のトレンドと、サービス基盤として求められる安定したインターネットの重要性

早いものでこのコラムを始めて一年が過ぎました。一年前にこのコラムで紹介した米国ラスベガスで開催された家電の展示会「CES」、今回は昨年との差分を中心に…