MIZUNO Hiroki

@mzp

Coqなどによるプログラムの正しさの検証・証明に興味があります。

Location

Nagoya, Japan.

Following Organizations

No Organizations you are following

Followers

  • @color_box

    帰ってください

  • @yuji38kwmt

    愛知のIT企業に所属しています。 基本的に自分用のメモとして、記事を書いております。 所属先の見解とは一切関係ありません。

  • なさ@yo-nagase

    AWSで環境作ったりとかTypescriptでコード書いたりしています。 AttlassianのBambooでCI/CDの便利さを知り、そこからJenkins→Code Pipeline→Github Actions と色々触っており、デプロイの自動化が好きです。 ※記事や発言は個人の考えであり、会社とは関係ありません。

  • Kohki Nakaji@nkjzm

    特に明示されていない場合、記事中のソースコードはパブリックドメインです。 月額制のメンターサービスで初心者向けの開発サポートをしているので、分からないことがあれば是非こちらで質問してください! → https://menta.work/plan/1115

  • 中島 滋@ledsun

    編集リクエスト、コメント大歓迎です。

  • ゆーちき@yuchiki1000yen

    はてなブログ: http://yuchiki1000yen.hatenablog.com/ C#や型理論、形式検証に興味があります

  • Tomoki Kobayashi@temoki

    Software Developer

  • @ltzz

    仕事ではバックエンドしてます。元組み込み屋。いろいろ。

  • Hajime Wakahara@pansimey

    また今日も良いコードを書いてしまった

  • Takaki Omi@umikaki

    Androidアプリの開発者。カスタムROMも自作したりしてる人。

  • Junichi Kato@j5ik2o

    Chatwork社テックリード/DDD Evans本レビューア/Scala,Rust/お仕事は➡ https://bit.ly/3kIYMJU / 質問は➡ https://peing.net/ja/j5ik2o / Github sponsor ➡ https://github.com/sponsors/j5ik2o

  • Satoshi@satoshi326

    ストック用

  • @karupanerura

    https://karupas.org/

  • @tacke

    Software Engineer

  • 令掛 ベイン@vain0x

    プログラミング言語処理系が好き。古い記事にもコメントなど大歓迎です

  • rinasan3@rinasan3

    2013年文系未経験でITベンチャーへ就職。4年間SEとして過ごし、2017年からWeb系企業で1年勤務。「本当のプログラミング」をしてこなかったためオブジェクト指向などの概念の理解に苦戦。自分なりに努力するも殻を破れず、2018年にハードやOSのサポート職に転職したら予想外にマッチ。プログラミングに関しての適性がなかった疑惑あり。ごく稀に閲覧があり自分が元エンジニアである証のため記事は残す。

  • Shoma Tanabe@nosticommune

    https://twitter.com/artrical の代表

  • @jTakasuRyuji

    ネタ投稿たのしいです

  • @c-bata

    Python, Golang, JavaScript

  • Hiroyuki Tomine@htomine

    とみねです。cluster のPMをやっています。ex: Increments, サイボウズ, はてなアルバイター

  • あらっきぃ alucky0707@alucky0707

    ウィルキンソンジンジャエールを片手にコードを書く人。JavaScriptぐらいしかまともに書けない…。東京都内の工業高校に通うザコ学生。

  • @mikkame

    兼業フリーランス

  • @luccafort

    Web Application Engineer. i love php, go-lang, mysql, ruby(not rails).

  • Masayuki Higashino@61503891

    寿司の上の部分って美味しいですよね。