@mayah

SRE who dreams of working abroad. Go, Scala, Kotlin, Google Cloud, AWS, DDD, Scrum.

ナレッジワークというスタートアップで Go 書いてます。 読むたびに新しい発見がある、時代を超えた魅力のある記事を作成していきたいです。 最近は Zenn で活動中

サーバーエンジニア 某ソーシャルゲーム会社でフロント(JS)2年、サーバー(PHP)3年ほど経験後、 現在はVISITS Technologiesという会社でサーバーエンジニアとして従事中。 会社としてGCPに舵切っているところでもあり、主にGCP関連技術を発信していこうと思います。 PHP/Ruby(Rails)/JS/MySQL/Redis/GCP/AWS

Webプロダクトのソフトウェアエンジニアやってます。 仕事ではReact+Rails+GraphQL+AWS、個人開発はNext.js+Firebase+GCPを使って開発中。 インプット・アウトプット強化中。 Ruby / Rails / React / Typescript / Python / GCP / AWS

I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C/C++, STARC RTL Design StyleGuide (Verilog-HDL), and HAZOP.I was an editor of ISO/IEC 15504.

http://profile.hatena.ne.jp/khibino0/ http://www.haskellers.com/user/khibino Haskell で RBD query を記述するライブラリを作りました http://khibino.github.io/haskell-relational-record

C++ とか Julia とか使って数値計算とか計算物理とかしています

https://www.wantedly.com/about/engagement を作ってます

主にゲノム配列等の大規模情報処理システム・解析アルゴリズムを作ったりしてます。スピード重視なので C++ がメインですが、スクリプト言語も大好きです。

大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士（情報科学）。

1989年生まれ。ニコニコ動画、Tumblr、Webブラウザー、ブラウザー拡張、Gecko、WebKit、Blink、User Script、JavaScript/ECMAScript、Node.js、Web標準などに興味があります。現在Feedly、Slackを中心に利用しています。

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.