小柳 圭輔

投稿記事の内容は個人の見解によるものであり、所属団体を代表するものではありません。

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

エンジニア歴20年の老害エンジニア

Androidエンジニア

自称Kotlinエバンジェリスト

Cloud Consultant, Google Cloud Professional Services. All views and opinions are my own. GCPサービスについて試してみた内容について書いていきたいと思います。 GCP<-AWS<-NetApp<-SES

意識高い系IT企業経営者、エンジニア、コンサルタントだがMacは使いこなせないし、渋谷はちょっと苦手、コーヒーアレルギーだから意識高いカフェにもほとんど行かない。 中小企業診断士、オープンソースコンサルタント、コンタクトセンターシステムコンサルタント よく触るものはAWS、Linux、c++

Qiitaにある記事はもう更新しない予定です。主要な記事はZenn( https://zenn.dev/masatoshi_tada )に移管しましたので、そちらをご確認ください。

千葉市立函館中学校のパソコン部に所属している3年生で部長をしています！最近パソコンを勉強しはじめたので、それを備忘録として投稿しています。 資格等: AtCoder（アカウント未登録）、TOEIC(L&R 175点)、パソコン検定(6級)、基本情報技術者試験(令和2秋 午前: 32.5 午後: -)、応用情報技術者試験(令和6春 午前: 30 午後: -)

イギリスの会社でソフトウェアエンジニアをしています。

プログラミングの時間が減りつつあることに危惧を覚え、50歳を機に転職しました。 言語はJava(Spring Framework)とTypeScript(Angular)を中心にコンパイラ言語が好き。KotlinやScalaにも挑戦中。

KotlinやDDDを勉強中です

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.

著: Laravelリファレンス(インプレス) Laravelエキスパート養成読本(技術評論社) PHPフレームワーク Laravel Webアプリケーション開発 バージョン 5.5 LTS対応(ソシム)

ITエンジニアです。スマホアプリ、Webサービス開発幅広くやっております。 最近は、「人は何によって動かされるのか」に興味があり、コーチングなどを学んでおります。 スピーチも大好きです。

「Nullius in verba」権力の支配に抵抗する、そして実験によって決定づけられた事実の訴えによるすべての陳述を確かめる、フェローたちの決心の言葉* Kyash ID: twovolts です。投銭等いただけると幸いです

サイボウズ株式会社の新人です。

インフラ・ネットワークエンジニア(半年) -> Web開発兼インフラ・ネットワークエンジニア(2年6ヶ月) -> バックエンドエンジニアとその他諸々(1年)

Software Engineer

アルパカ隊長だぞーう

Webサービスの受託開発の会社をやっています。フロントからインフラまで。最近はFlutterとRailsを触ってます。

Freelance Technology Handyman. Server and Front-End Programmer / Producer / Game Designer / Web Designer.