1cb381c6 9958 4f36 b964 d563c7272808?1519785924

Stephen Satoru Hanada

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

Companies Stephen Satoru Hanada belongs

Tools Stephen Satoru Hanada uses

Skype

TV web conference, Messenger, Communication

Free Plan ¥5.6~

(337)

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

Using companies (538)
UUUM株式会社 Retty株式会社 チームラボ株式会社 C Channel株式会社 MATCHA

GitHub

Information sharing, Task management, Development platforms, Web production / CMS, Knowledge, Project Management, Development

Free Plan $7~

(499)

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

Using companies (764)
UUUM株式会社 株式会社Loco Partners Retty株式会社 株式会社ディー・エヌ・エー チームラボ株式会社

AWS

Development, IaaS

$0.0123~

(306)

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

Using companies (658)
UUUM株式会社 株式会社Loco Partners Retty株式会社 株式会社ディー・エヌ・エー チームラボ株式会社

LINE

Communication, Messenger, TV web conference

Free Plan

(267)

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

Using companies (282)
株式会社ディー・エヌ・エー チームラボ株式会社 株式会社favy C Channel株式会社 株式会社サーキュレーション

Trello

Task management, Project Management

Free Plan $5~

(159)

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

Using companies (341)
UUUM株式会社 株式会社Loco Partners 株式会社マネーフォワード 株式会社サイバーエージェント キャリア採用 アソビュー株式会社

Bitbucket

Development, Development platforms

Free Plan $10~

(122)

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

Using companies (143)
ディップ株式会社 株式会社おかん 株式会社BitStar スマートニュース株式会社 株式会社プラチナエッグ

Docker

Development, Development platforms

Free Plan $7~

(145)

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

Using companies (205)
株式会社マネーフォワード CAMPFIRE 株式会社ABEJA 株式会社ビザスク 株式会社エニグモ

Sublime Text

Development platforms, Development

$70~

(98)

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

Using companies (73)
C Channel株式会社 ランサーズ株式会社 株式会社フロムスクラッチ 株式会社ソニックムーブ 株式会社オーガランド

さくらのクラウド

Development

¥1~

(27)

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

Using companies (69)
株式会社マネーフォワード 株式会社ABEJA 株式会社フロムスクラッチ さくらインターネット株式会社 株式会社 Zaim

Heroku

Development, IaaS

Free Plan $7~

(68)

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

Using companies (109)
株式会社マネーフォワード trippiece<トリッピース> CAMPFIRE 株式会社ABEJA 株式会社BitStar

Page top icon