search
LoginSignup
search
  1. Trend
  2. Question
  3. Qiita Conference
  4. Official Event
  5. Official Columnopen_in_new
  6. Organization
  7. AI x Dev x Teamopen_in_new
Coq を使って「どう書く」の問題を解いてみた 〜五角形の世界であなたは過去の自分に出会う〜likers
  • @saka_bar

  • Kento@denjiry

  • Dr. Kiyoshi Ogawa@kaizen_nagoya

    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.

  • Junji Hashimoto@junjihashimoto@github

  • @nyango

  • @piacerex

    福岡でプログラマしています 超高速/省電力 非ノイマン型CPU開発 プログラマ歴42年、158言語書き IT企業3社経営 大学・高専・企業でプログラミング&AI講義 fukuoka.ex/ElixirConf JP創設 2023年スペ107コスプレ開始、体脂肪-9.2kg/5ヶ月 2025年1月STEPN開始、3月STEPNGO開始⋯毎日プレイ

  • @t_niimura

  • 須原 浩道@suharahiromichi

    定理証明系や論理プログラミングに興味をもっています。

  • Ryosuke Takashima@rst76

  • @takeshinoda@github

  • @objectx

    You'll never learn if you don't see the dark side too.

1 / 1Page 1 of 1

How developers code is here.

Qiita Conference 2025 Autumn will be held!: 11/5(wed) - 11/7(Fri)
© 2011-2025Qiita Inc.

Guide & Help

  • About
  • Terms
  • Privacy
  • Guideline
  • Media Kit
  • Feedback/Requests
  • Help
  • Advertisement

Contents

  • Release Note
  • Official Event
  • Official Column
  • Advent Calendar
  • Qiita Tech Festa
  • Qiita Award
  • Engineer White Paper
  • API

Official Accounts

  • @Qiita
  • @qiita_milestone
  • @qiitapoi
  • Facebook
  • YouTube
  • Podcast

Our service

  • Qiita Team
  • Qiita Zine
  • Official Shop

Company

  • About Us
  • Careers
  • Qiita Blog
  • News Release