Wantedlyは、月間200万人が利用する国内最大のビジネスSNSです

This page is intended for users in Japan. Go to the page for users in United States.
1cb381c6 9958 4f36 b964 d563c7272808?1519785924

花田 ステパノ

matsuri technologies
matsuri tech.で哲学者兼エンジニアとして働いております。 論理学の哲学を専攻していたはずですが、今はRailsで開発をするようになりました。 実体を求めない立場、特に関数型言語の思想を研究していたはずなのですが、オブジェクト指向言語という真逆の言語を扱っております。 何かと思想の違いで混乱することがあります。 済済黌+壺溪塾の四年制高校を卒業後、熊本大学文学部に入学、実存系の哲学をやっていたはずが、必要に駆られて論理学の哲学をやることになっておりました.在学中に予習復習をやっていたら、証明論、再帰理論、超準理論が好きになって、卒業論文は矛盾許容論理(Paraconsistent Logic)を対象にしました。 その後、北海道大学大学院文学研究科に入り、Haskellを主にプログラミング言語の思想史、特に、圏論的意味論の思想を追いかけていました。その橋がけとして、認識論理の証明論的アプローチとして、抜き打ちテストのパラドックスを対象にした研究を修士論文でまとめました。 研究してきた内容とはだいぶ異なる事柄を現在はやっておりますが、研究の中で培われた技術・能力・知性は仕事でもしっかり活かせることを実感しております。 最近は、メタ言語と対象言語との区別が機械学習で活かせられるか、統計的処理が果たして本当にメタな規則には従っていない点で、果たして本当に言語を分析できるのか、といった哲学的な疑問を抱きつつあります。

花田 ステパノさんが所属している会社

花田 ステパノが利用しているツール

Skype

テレビ・ウェブ会議, 社内チャット, コミュニケーション

無料プランあり ¥5.6~

(329)

時間・場所を選ばずに音声通話ができ、文章によるチャットや画面共有、ファイルの送受信なども可能です。特にマイクロソフトのOutlookを使用している場合、連...

利用している企業 (533)
UUUM株式会社 Retty株式会社 チームラボ株式会社 C Channel株式会社 MATCHA

GitHub

社内情報共有, タスク管理, 開発基盤, Web制作・CMS, 情報共有・蓄積, プロジェクト管理, 開発・テクノロジー

無料プランあり $7~

(487)

ソフトウェア開発向けのWebサービスです。ブラウザ上からコードを元に開発者同士で会話をすることができる仕組み。バグの管理やコードレビューをより見やすくする...

利用している企業 (754)
UUUM株式会社 株式会社Loco Partners Retty株式会社 株式会社ディー・エヌ・エー チームラボ株式会社

AWS

開発・テクノロジー, IaaS

$0.0123~

(297)

信頼性と拡張性に優れたサーバー、ストレージ、データベースをはじめとしたクラウドコンピューティングサービスを低料金で提供します。アカウント作成は無料。料金は...

利用している企業 (645)
UUUM株式会社 株式会社Loco Partners Retty株式会社 株式会社ディー・エヌ・エー チームラボ株式会社

LINE

コミュニケーション, 社内チャット, テレビ・ウェブ会議

無料プランあり

(261)

LINE(ライン)は、24時間、いつでも、どこでも、無料で好きなだけ通話やメールが楽しめる新しいコミュニケーションアプリです。

利用している企業 (281)
株式会社ディー・エヌ・エー チームラボ株式会社 株式会社favy C Channel株式会社 株式会社サーキュレーション

Trello

タスク管理, プロジェクト管理

無料プランあり $5~

(153)

コメント・ファイル添付・チェックリストなどの機能を備えたカードを登録し、進捗や状態に合わせてボード上を移動させることができるプロジェクト管理サービスです。...

利用している企業 (337)
UUUM株式会社 株式会社Loco Partners 株式会社マネーフォワード 株式会社サイバーエージェント キャリア採用 アソビュー株式会社

Bitbucket

開発・テクノロジー, 開発基盤

無料プランあり $10~

(118)

Gitホスティングサービス。無料・有料・アカデミックの3種類のプランから、無制限でプライベートに特化したリボジトリの作成をします。大きさやニーズに応じて、...

利用している企業 (142)
ディップ株式会社 株式会社BitStar 株式会社おかん スマートニュース株式会社 株式会社プラチナエッグ

Docker

開発・テクノロジー, 開発基盤

無料プランあり $7~

(141)

エンジニアやシステムアドミニストレーターのためのアプリ・OS開発の基盤ソフトウェア。インフラエンジニアがいなくても、必要なインフラ構築をしてくれることが大...

利用している企業 (201)
株式会社マネーフォワード 株式会社ABEJA CAMPFIRE 株式会社ビザスク 株式会社エニグモ

Sublime Text

開発基盤, 開発・テクノロジー

$70~

(97)

Sublime Textはクロスプラットフォームのソースコードエディタです。多くのプログラミング・マークアップ言語をサポートしており、かつプラグインによる...

利用している企業 (71)
C Channel株式会社 ランサーズ株式会社 株式会社フロムスクラッチ 株式会社ソニックムーブ 株式会社オーガランド

さくらのクラウド

開発・テクノロジー

¥1~

(26)

laaS型のクラウドサービス。初期費用は無料なことに加え、多機能で高性能なサービスが大きな魅力。簡単で柔軟なネットワーク設計・システムセキュリティ設計など...

利用している企業 (68)
株式会社マネーフォワード 株式会社ABEJA 株式会社フロムスクラッチ さくらインターネット株式会社 株式会社i-plug (アイプラグ)

Heroku

開発・テクノロジー, IaaS

無料プランあり $7~

(68)

アプリケーションの構築と運用をすべてクラウド上で実行することができるPaaSサービス。サービスの立ち上げから公開までに必要なインフラ構築をすべてHerok...

利用している企業 (106)
株式会社マネーフォワード trippiece<トリッピース> 株式会社ABEJA CAMPFIRE 株式会社Schoo

Page top icon