須原 浩道

(SWIPL)について、うるさい人です。

RustとHaskellとCLIツールと処理系好き。いつかRustで仕事をしてみたい初心者。 Twitterは@ogtkzkです。

来世はパンダになりたい。

設定の記事を投稿します

物理化学が専門です。

HaskellとAgdaを学び始めた大学院生

情報系の学生です。人工知能を考えるために、数学基礎論、論理学、計算論などに注目しています。強化学習が好き。

Otameshi

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

福岡でプログラマしながらIT商社とIT企業を経営してます。Elixir／Kerasをよく使う。Elixirコミュ#fukuokaex、福岡理学部#FukuokaScienceを主催。プログラマ歴41年／XPer歴22年／デジタルマーケッター／経営者／CTO／技術顧問数社。 シボと重力子放射線射出装置は別腹(^^)

The creator of the Egison programming language.

Languages: Ruby, Swift, Kotlin, Scala, TypeScript, etc... Full stack developer

Developer Advocate, Cloud Platform

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.

大学(院)では型システムについて研究してゐました。 長らくスマートフォン用電子書籍ビューアーを作る仕事をしてゐました。 最近はとあるスマートフォン用漫画配信サービスに携わってゐます。 趣味では yash といふコマンドラインシェルを作ってゐます。

横浜好きのPythonistaでありPHPerです。次くらいにObjective-Cが好きです。でも仕事ではJSやJavaも使っています。Windows使いですがLinuxもMacも使っています。エグゼクティブ・フェロー＆フルスタックエンジニアを目指しています。今は特にSwift、Bootstrap4、Electron、Grunt、CentOS7、Docker、Vagrantに興味津々です