@noname512

2020年4月より理学博士。 専門は数学で、専攻は数理論理学が最も近いです。 定理証明支援系Coqを用いた形式検証が得意。

DX・自動化推進のコンサル兼ソリューションアーキテクト。フリーランスとして独立後、シンガポールに移住。AIエージェントの設計・実装、BIを活用したデータドリブンな意思決定基盤の構築を中心に活動。

名古屋工業大学 工学部情報工学科 教授。博士（工学）。専門は画像処理、映像符号化、並列プログラミング、3次元画像処理、コンピュータビジョン。

「なんにも知らないって、すっごくしあわせ！」--スヌーピー

元横浜へなちょこプログラミング勉強会を主催者 / 元 CodeIQ の出題者 / 日経 WinPC に連載を持っていました（名義が違うけど）/ https://bsky.app/profile/nabetani.bsky.social / https://misskey.yancya.club/@nabetani / https://taittsuu.com/users/nabetani

元、低レイヤーエンジニア。 現、サイバーセキュリティ研究者。 HHKBエバンジェリスト。 使用言語は C C# Java JavaScript/Node.js Python Perl Lisp シェルスクリプト N88-BASIC。 書いたことがあるアセンブリ言語は Z80 6502 6809 68000 SPARC PowerPC ARM x86/x64。

富士山🗻の里親。 不労所得で生きたい。

おそらくウェブアプリエンジニア 🐚シェルスクリプトの世界をより便利に発展させるために最新情報や高度な技術の紹介、古い情報や間違った情報の更新や訂正を行っています 📗POSIXやUNIX哲学の解説 🚩どの環境でも動作するシェルスクリプト用の高機能テストフレームワーク<ShellSpec>の開発者 🌈好きなもの：シンプルで無駄のないコードやリファクタリング 💢嫌いなもの：技術的負債やレガシーコード

UIデザインやアクセシビリティ、Webフロントエンドに興味があります。 書籍「Webアプリケーションアクセシビリティ」の共著者です

Qiita公式アカウントです。Qiitaに関するお問い合わせに反応したり、お知らせなどを発信しています。