Help us understand the problem. What are the problem?
MIZUNO Hiroki
@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。

No Organizations you are following

Followers
  • @color_box

    帰ってください

  • @yuji38kwmt

    愛知のIT企業で修行しております。2018年4月に転職しました。 基本的に自分用のメモとして、記事を書いております。 所属先の見解とは一切関係ありません。 https://qiita.com/yuji38kwmt/items/a474ad97e0d86f6081a2

  • まさ まさ
    @windows222

    AWSで環境作ったりとかTypescriptでコード書いたりしています。 AttlassianのBambooでCI/CDの便利さをしり、そこからJenkins→Code Pipline→Github Actions と色々触っており、デプロイの自動化が好きです。

  • Kohki Nakaji
    @nkjzm

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

  • 滋 中島
    @ledsun

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

  • ゆーちき
    @yuchiki1000yen

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

  • Tomoki Kobayashi
    @temoki

    Mobile App Developer

  • @ltzz

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

  • Hajime Wakahara
    @hadzimme

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

  • 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

    文系未経験でITベンチャーへ新卒就職。4年間「社内の何でも屋さん」として過ごし、その後Web系企業で1年勤務。「本当のプログラミング」をしてこなかったため、オブジェクト指向などの概念の理解に苦戦。努力するも殻を破れず、ハードやOSのサポート職に転職したら予想外にマッチ。プログラミングに適性がなかった😢 80-90年代のJROCKが大好き。

  • 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

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

  • 1 / 12