Haskell社内勉強会とHaskell学習ツールの紹介
こんにちは。IIJ-IIの山本悠滋です。 今日はここ数ヶ月私と有志で行っている、Haskellの社内勉強会と、そこで使用している自作のHaskell入門ツールについて紹介します。 Haskellの社内…
2019年07月31日 水曜日
開発・運用の現場から、IIJのエンジニアが
技術的な情報や取り組みについて
執筆する公式ブログです。
こんにちは。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日 火曜日
【IIJ 2017TECHアドベントカレンダー 12/24（日）の記事です】 IIJ 2017TECHアドベントカレンダーも最後の記事となりました。元々アドベントカレンダーはクリスマスを楽しみに待つた…
2017年12月24日 日曜日
こんにちは。ビッグデータ技術課で「IIJ IoTサービス」を担当しているsnaraです。 本サービスは昨年末にサービスインし、順調に引き合いをいただいております。 ところで、みなさんは「IoT」と聞い…
2017年04月05日 水曜日