はてなブックマーク

ここではHaskellの中級者向けのトピックを簡単に取り上げたいと思います。 今回は余代数(Coalgebra)についてです。Haskellを書いていると『余（なんとか）』という言葉をみかけることがあります。これは英語の接頭辞 Co- の訳で、ここでは代数(Algebra)の双対(Dual)という意味で余代数と呼ばれています。 さてHaskellやOCamlのデータ型は一般に代数的データ型(Algebraic data type)と呼ばれます。このデータ型にパターンマッチングを加えて、（オブジェクト指向言語などと比較したときの）関数型言語の特徴と紹介されることも多いと思います。実はこのデータ型にはもともと余データ(Codata)と呼ばれるような相方がいたのですが、人類が扱うには早すぎたのか、データ型に比べると余データは長らく影の存在でありました（ちなみに余データは口語上はコデータと呼ぶかも

初めまして。朝日ネットのhakuです。今回はわかるようでよくわからないSSL証明書について話してみたいと思います。 Protocol HTTPとHTTPS SSLとTLS 暗号化アルゴリズムのCipher Suite（暗号スイート） 証明書の構成 ルート証明書 中間証明書 サーバ証明書 クロスルート証明書 認証別証明書の種類 自己署名証明書（通称：オレオレ証明書） DV証明書 ドメイン認証（DV: Domain Validation） OV証明書 企業認証（OV: Organization Validation） EV証明書（Extended Validation） 認証別証明書の疑問 サービス別証明書の種類 ワイルドカード証明書 マルチドメイン証明書 （MDC） プロトコル側の対応：SNI（Server Name Indication） ネイキッドドメイン（Naked Domain） ま

はじめに 朝日ネットのaibaです。 前回のサーバラックでのケーブリングについて の記事に引き続きデータセンターに関係する話題について書いていきたいと思います。 今回は、データセンター内の機器管理手法について検討したいと思います。 はじめに DCIMとは 管理手法の検討 機能要件 OpenDCIM (Opensource Data Center Infrastructure Management ) Netbox phpIPAM (php IP Address Management) Google スプレッドシート Microsoft Office Excel 管理ソフトウェアの決定 実際に触ってみた Dockerで即席試用 できること IPアドレス管理 ラック管理 実際に使ってみて 導入するにあたっての課題 将来的な展望 まとめ 採用情報 DCIMとは DCIMとは「Data Cente

開発部のxgotoです。Haskellの初級・中級者向けのトピックを取り上げたいと思います。 今回は型(Type)についてです。型はHaskellの入門書でも必ず最初のほうに説明されるもので、手元の本によれば、 型とは、互いに関連する値の集合である。 ---- 『プログラミングHaskell』 Graham Hutton 著 / 山本和彦 訳 だとか、 値の世界は型と呼ばれる系統的な集まりへと分割される。 ---- 『関数プログラミング入門 Haskellで学ぶ原理と技法』 Richard Bird 著 / 山下伸夫 訳 などのように書かれています。たとえば Bool は True と False の2つの値からなる集合だし、Intは整数の集合というように、型は値の集合というふうにみることができます。それならば型などと呼ばずに集合と呼べばいいと思いますが、「異なるものには異なる名前をつけろ

朝日ネット ネットワーク部のTと申します。初めまして。 今回、BBIX BGP Meeting 2019 Summer が 都内で開かれました。 このイベントで、朝日ネットのバックボーン運用について、少しお話しさせていただきました。 その中でお話したことの一部を紹介させていただきます。 はじめに データセンターの契約 フレッツ収容設備の場変 採用情報 はじめに 2016年春を過ぎた頃、大きなプロジェクトの話が持ち上がりました。朝日ネットのVNE事業者としての参入です。 いろんな議論を経て、自社でVNE事業者として、NTT東西とIPv6接続するというプロジェクトです。一般的には、IPoEといわれるサービスです。 このIPoEサービスは、「IPv6接続機能」として、2017年4月にリリースしました。それまで、朝日ネットは、IPv6をサービスしていなかったのですが、実験的に実装した構成のため、サ

はじめに こんにちは。朝日ネットでWebアプリケーションの開発を行っている tommy です。 OpenAPI Specification は RESTful な API を記述するための仕様です1。2015年に Open API Initiative が発足し、それまで Swagger という名前で進められていたプロジェクトを引き継ぎました。 現在では実質上の世界標準といえます。 今回は、この OpenAPI を書いている時に、コピペして使える、逆引きの小さなサンプル集が欲しいと思ったので、書いていこうと思います2。 はじめに OpenAPI について Swagger Editor チートシート GET アクセス パラメータ (parameters) クエリパラメータ パスパラメータ リクエスト本文 (requestBody) multipart/form-data JSON リクエスト

はじめに 開発部の tasaki です。8 月の記事では TypeScript + React + Redux + React Router + α を使って 1 ファイルで完結する小さいアプリケーションを書きました。 techblog.asahi-net.co.jp 今回は TypeScript + Vue + Vuex + Vue Router の組み合わせで同じものを書き、2 つのライブラリの共通点と違いについて探ってみたいと思います。 このようなものを書いた主な理由は以下の 3 つです。 適度に小さく完備なアプリケーションの構成を作っておき、そのソースコード自体をチートシートとして使いたい React と Vue の共通点や差異について説明をする時に使える実例を用意しておきたい React や Vue を TypeScript から使う際の書き方を確立しておきたい 以下、実際にアプ

はじめに watanabeです。 前回の記事ではデバッグ機能からプッシュ通知を送信して受け取ったときの処理を実装しましたが 今回は受信する端末ごとに異なるトークンを取得して、特定の端末にプッシュ通知を送れるようにします。 はじめに 実装の手順 1.Firebase Cloud Messagingで必要な値を取得する 2.端末ごとのトークンを取得して表示する仕組みを作る index.html（メインのHTML） main.js(メインページで読み込むjs) manifest.json（PWA化に必要なManifestファイル） firebase-messaging-sw.js（新たに作成したService Worker） 3.コマンドをCurlで送信してプッシュ通知を受け取る 次回予告 採用情報 実装の手順 Firebase Cloud Messaging（FCM）で必要な値を取得する 端末

朝日ネットで業務システムを開発しているkakoです。以前からやりたかったテーマに取り組んでみたいと思います。 やりたいこと モチベーション 本気でISP事業者を立ち上げるには なんちゃってISP（KakoNet）の概要 採用情報 やりたいこと ISPの機能を持ったシステムを構築してみたい。 後述しますが、本気でISP事業者を立ち上げるのではなく、AsahiNet内のプライベートASになんちゃってISP（KakoNetと命名）を構築することを目標に取り組んでいきたいと思います。 モチベーション 筆者は業務システム開発のエンジニアとして勤務していますが、ISPって何をやってるの？どういう機能を持ってたらいいの？と考えてみたら、抽象的／概念的なことしか理解できていないなと…。ISP事業者で働き始めて数年が経っているのだから、自信を持って誰かに説明できるくらいにはなりたい…。じゃあイチからISPを