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

C31fc9e4 d2c5 4e25 8d2e dbeb06b7c3e7?1541252405

花田 ステパノ

matsuri technologies
雇用契約書には哲学者が一番に書かれて、エンジニアが二番に書かれています。 しかしながら、もっぱらエンジニアやってます。 論理学の哲学を専攻し、計算不可能性について考えていたりしていたはずですが、なぜか計算可能な世界でいかに素早く計算するかを考えるようになりました。 大学院時代は、実体を求めない立場、特に関数型言語の思想を研究していたはずなのですが、Real Estateという真逆の業界を扱っております。 当初は何かと思想の違いで混乱することがありましたが、最近は落ち着いてきました。 私の略歴は以下の通りです。 済済黌+壺溪塾の四年制高校を卒業後、熊本大学文学部に入学、実存系の哲学をやっていたはずが、必要に駆られて論理学をやることになりました。在学中に予習復習をやっていたら、証明論、再帰理論、超準理論が好きになって、卒業論文は矛盾許容論理(Paraconsistent Logic)を対象にしました。 その後、北海道大学大学院文学研究科に入り、プログラミング言語の思想史、特に、圏論的意味論の思想を追いかけていました。その橋がけとして、認識論理の証明論的アプローチとして、抜き打ちテストのパラドックスを対象にした研究を修士論文でまとめました。 他にもアリストテレスやキリスト教についても研究していました。 研究してきた内容とはだいぶ異なる事柄を現在はやっておりますが、研究の中で培われた技術・能力・知性は仕事でもしっかり活かせることを実感しております。 最近の哲学的な観点は主に以下の二つです。 一つは、メタ言語と対象言語との区別が機械学習で活かせられるか、統計的処理が果たして本当にメタな規則には従っていない点で、果たして本当に言語を分析できるのか、といった哲学的な疑問を抱きつつあります。 もう一つは、タイプとトークンの違いを表現できる言語とはいかなる言語であるか、またそれを表現できるとするなら、それに時空間を加え、どこまでリソースセンシティブに処理できるのだろうか、と。 最近は、以前やっていた超準理論で、定理証明支援とかプログラミング言語意味論とかできないかと、妄想しております。

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

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

Skype

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

無料プランあり ¥5.6~

(395)

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

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

GitHub

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

無料プランあり $7~

(637)

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

利用している企業 (824)
UUUM株式会社 チームラボ株式会社 株式会社favy 株式会社マネーフォワード Retty株式会社

AWS

開発・テクノロジー, IaaS

$0.0123~

(358)

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

利用している企業 (701)
UUUM株式会社 チームラボ株式会社 株式会社favy 株式会社マネーフォワード Retty株式会社

LINE

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

無料プランあり

(322)

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

利用している企業 (291)
チームラボ株式会社 株式会社favy 株式会社ディー・エヌ・エー C Channel株式会社 ディップ株式会社

Trello

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

無料プランあり $5~

(202)

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

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

Docker

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

無料プランあり $7~

(185)

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

利用している企業 (238)
株式会社マネーフォワード CAMPFIRE ディップ株式会社 株式会社Gizumo 株式会社ABEJA

Bitbucket

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

無料プランあり $10~

(150)

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

利用している企業 (152)
ディップ株式会社 株式会社おかん 株式会社GIG 株式会社BitStar 株式会社ユーザベース

Sublime Text

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

$70~

(112)

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

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

Heroku

開発・テクノロジー, IaaS

無料プランあり $7~

(85)

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

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

さくらのクラウド

開発・テクノロジー

¥1~

(30)

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

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

Page top icon