Haskell社内勉強会とHaskell学習ツールの紹介
こんにちは。IIJ-IIの山本悠滋です。 今日はここ数ヶ月私と有志で行っている、Haskellの社内勉強会と、そこで使用している自作のHaskell入門ツールについて紹介します。 Haskellの社内…
2019年07月31日 水曜日
開発・運用の現場から、IIJのエンジニアが
技術的な情報や取り組みについて
執筆する公式ブログです。
こんにちは。IIJ-IIの山本悠滋です。 今日はここ数ヶ月私と有志で行っている、Haskellの社内勉強会と、そこで使用している自作のHaskell入門ツールについて紹介します。 Haskellの社内…
2019年07月31日 水曜日
はじめに 皆さんは、情報セキュリティの知識や技術力を競い合うゲームCTF （Capture The Flag）をご存じでしょうか。CTF は、全世界で開かれており、近年日本でも知名度が上がってきていま…
2019年07月29日 月曜日
はじめに プロダクト本部の r-fujimoto です。 今回は7月8日付で公開した IIJ Legs という新しいプロダクトの紹介をしたいと思います。 公式サイト: https://dev.smf….
2019年07月11日 木曜日
企業の情報システム部門でメールを担当されているみなさん、この問いに答えられる方は、どれくらいいらっしゃるでしょうか。 「そんなこと、気にしたこともない」という方も少なくないかもしれません。それもそのは…
2019年07月03日 水曜日
Contents イントロダクション 停止性問題とは 停止性問題の証明 停止性問題の意義 停止性問題の応用 チューリングの停止性問題 計算機械の定義 計算機械の例 計算機械の数え上げ 各集合の濃度 万…
2019年07月01日 月曜日
はじめに 昨年から DNS over TLS （DoT）、DNS over HTTPS （DoH） にまつわる動きが急速に活発になっています。 DoT は2016年に RFC7858 が出てしばらくは…
2019年05月08日 水曜日
はじめに SEIL/X4はIIJ自社開発ルータSEILシリーズの最新機種です。 SEILアプライアンスシリーズBPV4 (以下BPV4) の後継とすべく、一から設計したものです。 従来から販売している…
2019年03月28日 木曜日
皆さん、仕事でボット、使ってますか？ 昨今のビジネス向けチャットサービスの普及により、チャットやその上で動作するボットを業務で活用することは一般的になりつつあります。 私たちも日々の仕事にボットを使用…
2019年02月21日 木曜日
前回は LDA によって求めたトピック分布をもとに、「最も高い確率を示したトピック番号にその文書を所属させる」という極めて単純な方法での記事のグループ分けの結果を踏まえて、より良い結果を得るための工夫…
2019年01月28日 月曜日
【IIJ 2018 TECHアドベントカレンダー 12/21（金）の記事です】 はじめに 先日、FSEGに関するプレスリリースを行いました(※1)。プレスリリース内ではFSEGのターゲット市場や特徴に…
2018年12月21日 金曜日
【IIJ 2018 TECHアドベントカレンダー 12/20（木）の記事です】 こんにちは、ももいです。 先週、HITCON Pacific 2018 に参加するため、台湾に行っていました。 今日はそ…
2018年12月20日 木曜日
【IIJ 2018TECHアドベントカレンダー 12/19(水) の記事です】 皆さんはスマートフォンやビデオカメラで撮影した動画って、どうしていますか? 昔は動画を編集しようと思うと、ビデオデッキを…
2018年12月19日 水曜日