CHAGEの裏側: ブルームフィルタとISONの逆引き高速化
CHAGE開発者のヒラマツです。 前回（CHAGEの裏側: D3.jsの紹介）同様、CHAGEの紹介と並行して、CHAGEの中が気になる人に、CHAGEで使われている技術をちょっと濃い目に解説するとい…
2019年10月29日 火曜日
CHAGE開発者のヒラマツです。 前回（CHAGEの裏側: D3.jsの紹介）同様、CHAGEの紹介と並行して、CHAGEの中が気になる人に、CHAGEで使われている技術をちょっと濃い目に解説するとい…
2019年10月29日 火曜日
CHAGE開発者のヒラマツです。 CHAGEの紹介（IIJ内製調査システム CHAGE のご紹介）と並行して、CHAGEの中が気になる人に、CHAGEで使われている技術をちょっと濃い目に解説するという…
2019年09月27日 金曜日
こんにちは。IIJ-IIの山本悠滋です。 今日はここ数ヶ月私と有志で行っている、Haskellの社内勉強会と、そこで使用している自作のHaskell入門ツールについて紹介します。 Haskellの社内…
2019年07月31日 水曜日
はじめに プロダクト本部の r-fujimoto です。 今回は7月8日付で公開した IIJ Legs という新しいプロダクトの紹介をしたいと思います。 公式サイト: https://dev.smf….
2019年07月11日 木曜日
Contents イントロダクション 停止性問題とは 停止性問題の証明 停止性問題の意義 停止性問題の応用 チューリングの停止性問題 計算機械の定義 計算機械の例 計算機械の数え上げ 各集合の濃度 万…
2019年07月01日 月曜日
皆さん、仕事でボット、使ってますか？ 昨今のビジネス向けチャットサービスの普及により、チャットやその上で動作するボットを業務で活用することは一般的になりつつあります。 私たちも日々の仕事にボットを使用…
2019年02月21日 木曜日
【IIJ 2018 TECHアドベントカレンダー 12/18（火）の記事です】 IIJではコードホスティング環境としてGithub Enterpriseを導入しています。Github Enterpri…
2018年12月18日 火曜日
【IIJ 2018 TECHアドベントカレンダー 12/11（火）の記事です】 drone.io は Goで作られたオープンソースの継続的インテグレーション・継続的デリバリー(CI/CD)環境です。d…
2018年12月11日 火曜日
【IIJ 2018 TECHアドベントカレンダー 12/10（月）の記事です】 こんにちは。ももいです。 先日、共著で書いたblog記事「素人がトピックモデルを試してみた(第1回)」で紹介したようなこ…
2018年12月10日 月曜日
【IIJ 2018 TECHアドベントカレンダー 12/6（木）の記事です】 はじめに 最近go言語でDDDやクリーンアーキテクチャを実践してみたという記事を多く目にするようになりました。 自分が半年…
2018年12月06日 木曜日
HIW 2018・Haskell Symposium 2018 とは HIW 2018 (Haskell Implementors’ Workshop 2018)とHaskell Symposium …
2018年10月16日 火曜日
IIJ-II 技術研究所 技術開発室の山本です。現在技術開発室は、私を含めた4人で構成されており、主にプログラミング言語Haskellを使って開発を進めています。今回の話題である TLS(Transp…
2018年09月25日 火曜日