チューリングの停止性問題
Contents イントロダクション 停止性問題とは 停止性問題の証明 停止性問題の意義 停止性問題の応用 チューリングの停止性問題 計算機械の定義 計算機械の例 計算機械の数え上げ 各集合の濃度 万…
2019年07月01日 月曜日
開発・運用の現場から、IIJのエンジニアが
技術的な情報や取り組みについて
執筆する公式ブログです。
Contents イントロダクション 停止性問題とは 停止性問題の証明 停止性問題の意義 停止性問題の応用 チューリングの停止性問題 計算機械の定義 計算機械の例 計算機械の数え上げ 各集合の濃度 万…
2019年07月01日 月曜日
どうもこんにちは！ MVNO事業部 山添です！ 突然ですが皆様にとって「2019年3月15日」は何かの記念日でしょうか。 私の個人的な話をすると、人生で初めてプロテインを飲んだ記念すべき日でした。 今…
2019年06月11日 火曜日
はじめに 2019年度は、96名（技術職58名、営業職27名、スタッフ職1名、ビジネスサポート職10名）の新人がIIJに入社しました。 これまで過去に、2017年度・2018年度、と2回に渡ってお送り…
2019年06月03日 月曜日
［追記］5/28にSession3の資料を追加公開しました 本日2019年5月27日、19時より IIJ Technical NIGHT vol.7 を開催しました。たくさんの方にご来場頂き、盛況のう…
2019年05月27日 月曜日
はじめに 昨年から DNS over TLS （DoT）、DNS over HTTPS （DoH） にまつわる動きが急速に活発になっています。 DoT は2016年に RFC7858 が出てしばらくは…
2019年05月08日 水曜日
前回のIIJ Technical NIGHTから約半年…少々間が空いてしまいましたが、久しぶりにIIJ Technical NIGHTを開催します！ 開催日時とプログラム発表！ まずは、開催日時をお知…
2019年04月26日 金曜日
2019年4月10日、友引。 IIJは「白井データセンターキャンパス」の竣工式および内覧会を行いました。 白井データセンターキャンパスとは？ 千葉県白井市にできた、IIJの新しいデータセンターです。敷…
2019年04月23日 火曜日
ICANN 64にIIJも協賛 3月の9～14日に「ICANN（アイキャン）64」が神戸市で開催されました。IIJはこの国際会議に、ローカルホスト委員会（開催国でのホスト役）の一員として協賛しました。…
2019年04月04日 木曜日
はじめに SEIL/X4はIIJ自社開発ルータSEILシリーズの最新機種です。 SEILアプライアンスシリーズBPV4 (以下BPV4) の後継とすべく、一から設計したものです。 従来から販売している…
2019年03月28日 木曜日
皆さん、仕事でボット、使ってますか？ 昨今のビジネス向けチャットサービスの普及により、チャットやその上で動作するボットを業務で活用することは一般的になりつつあります。 私たちも日々の仕事にボットを使用…
2019年02月21日 木曜日
おはようこんにちはこんばんは、沖縄営業所のやすゆきです。 さて、約1年6ヶ月ぶりのエンジニアブログです。 唐突ですが、この記事を読んでいる皆さんに質問です。 「エンジニアに一番必要で、誰でも身に着けら…
2019年02月13日 水曜日
前回は LDA によって求めたトピック分布をもとに、「最も高い確率を示したトピック番号にその文書を所属させる」という極めて単純な方法での記事のグループ分けの結果を踏まえて、より良い結果を得るための工夫…
2019年01月28日 月曜日
