INA Lintaro

A software engineer.

• id:tarao
• @oarat
• @tarao
• Blog

• Work Experience
• Education
• Publications
• Talks
• Interviews
• Blog Posts
• Software

Work Experience

• Ikyu Corporation Engineer

  June 2024 - present

• Hatena Co., Ltd. Web Application Engineer

  April 2013 - May 2024
  An engineering manager, a chief engineer. Formerly a tech lead, a senior engineer.

• The Japan Society for the Promotion of Science Research Fellow (DC1)

  April 2010 - March 2013

• Kyoto University Teaching Assistant

  April 2008 - March 2013
  For Computation and Logic, Hardware and Software Laboratory Project 3, 4.

• Hatena Co., Ltd. Web Application Engineer (part-time)

  October 2008 - March 2010

• Hatena Co., Ltd. Web Application Engineer (internship)

  August 2008 - August 2008

Education

• Laboratory of Foundation of Software Science, Department of Intelligence Science and Technoogy, Graduate School of Informatics, Kyoto University Ph.D. coursework completed without a degree

  April 2010 - March 2013
  Kyoto, Japan

• Laboratory of Foundation of Software Science, Department of Intelligence Science and Technoogy, Graduate School of Informatics, Kyoto University M.Sc. Informatics

  April 2008 - March 2010
  Kyoto, Japan

• Undergraduate School of Informatics and Methematical Science, Fuculty of Engineering, Kyoto University B.Sc. Engineering

  April 2004 - March 2008
  Kyoto, Japan

• Jämsän Lukio As an exchange student to Finland, organized by AFS

  August 2001 - June 2002
  Jämsä, Finland

Publications

Academic Papers

• Gradual Typing for Generics

  doi:10.1145/2048066.2048114
  Lintaro Ina and Atsushi Igarashi
  In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2011), pages 609–624, Portland, OR, October 2011.

• Towards Gradual Typing for Generics

  doi:10.1145/1570506.1570509
  Lintaro Ina and Atsushi Igarashi
  In Proceedings of the 1st International Workshop on Script to Program Evolution (STOP 09), pages 17–26, Genova, Italy, July 2009.

• Featherweight Java のための漸進的型付け

  doi:10.11309/jssst.26.2_18
  伊奈 林太郎, 五十嵐 淳
  コンピュータソフトウェア, 26(2), pages 18–40, May 2009 (PPL2008特集号).

Tech Magazine Articles

• 第2特集 ITエンジニアスキルアッププログラム キャリアプランの考え方・効果的な勉強法 第3章 パーソナルスキルを磨く

  伊奈 林太郎
  Software Design, 2023年3月号, pages 84-89. 技術評論社.
  

• 第1特集 Web API設計・開発入門 公開・運用も見据えたベターなやり方とは 第1章 [概要編] Web APIの全体像を知る

  伊奈 林太郎
  Software Design, 2021年2月号, pages 18-26. 技術評論社.
  

• 第1特集 「メリットは？」「設計は？」「運用は？」 一問一答！ マイクロサービスアーキテクチャ 第2章 ひとつひとつのサービスはどのように作れば良い？ モノリシックなサービスを上手に切り分けるコツとは

  伊奈 林太郎
  Software Design, 2020年1月号, pages 27-37. 技術評論社.
  

• 第1特集 なぜ関数型プログラミングは難しいのか？ Lisp，Scala，Haskell，Elixir，Python，Clojure，関数型のエッセンスを学習する 第3章 機能を最大限に活かすコーディング術 Scalaで始める，型安全な関数型プログラミング

  伊奈 林太郎
  Software Design, 2015年8月号, pages 40-45. 技術評論社.
  

Talks

Research Talks

• Gradual Typing for Generics

  Lintaro Ina and Atsushi Igarashi
  The ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2011), Portland, OR, October 2011.
  Gradual Typing for Generics from Lintaro Ina

• Gradual Typing for Generics

  Lintaro Ina and Atsushi Igarashi
  The 8th Asian Symposium on Programming Languages and Systems (APLAS 2010), Shanghai, China, December 2010 (Poster session).

• Towards Gradual Typing for Generics

  Lintaro Ina and Atsushi Igarashi
  The 1st International Workshop on Script to Program Evolution (STOP 09), Genova, Italy, July 2009.

• Featherweight Java のための漸進的型付け

  伊奈 林太郎, 五十嵐 淳
  第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008), 仙台市太白区, March 2008.

Tech Talks

• record4s --- Extensible Records for Scala 3, and Domain Modeling with Structural Types record4s --- Scala 3のための拡張可能レコード、そして構造的型によるドメインモデリング

  Lintaro INA (id:tarao)
  ScalaMatsuri 2024, Koto-ku, Tokyo, Japan, June 2024.

• 仮想関数テーブルと型クラスを見比べる

  伊奈 林太郎
  第五回関数型プログラミング（仮）の会, 東京都渋谷区, January 2024.

• ジョブキューシステムFireworqのアーキテクチャ設計と運用時のベストプラクティス

  伊奈 林太郎
  YAPC::Kyoto 2023, 京都市下京区, March 2023.

• 型レベル処理系を実装して言語仕様を理解する

  伊奈 林太郎
  技育祭2022秋, オンライン, October 2022 (スポンサーLT).

• 10年愛され続けるWebサービスの舞台裏 ～楽天市場・はてなブックマーク・pixiv～

  橋詰 尚毅, 伊奈 林太郎, 道井 俊介, 近藤 佑子
  Developers Summit 2022, Online, February 2022 (パネリスト).

• パネルディスカッション

  橋本 泰一, 藤田 亮, 高橋 圭一郎, 伊奈 林太郎, 田中 祥太郎
  Machine Learning Meetup KANSAI #7, 京都市下京区, November 2019 (パネリスト).

• 10年でどう変わった? はてなブックマークでのPerlの使い方

  伊奈 林太郎
  YAPC::Nagoya::Tiny 2019, 名古屋市中村区, November 2019 (ゲストスピーカー).

• Percolatorを用いたカテゴリ分類

  伊奈 林太郎
  Elasticsearch勉強会, 京都市中京区, August 2018.

• はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化

  伊奈 林太郎
  WebDB Forum 2015, 東京都江東区, November 2015.
  はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化 from Lintaro Ina

• はてなブックマーク in Scala

  伊奈 林太郎
  Scala関西 Summit 2015, 大阪市北区, August 2015.
  はてなブックマーク in Scala from Lintaro Ina

• 『BrandSafe はてな』のアドベリフィケーションのしくみ

  伊奈 林太郎
  Hatena Engineer Seminar #5, 東京都港区, June 2015.
  『BrandSafe はてな』のアドベリフィケーションのしくみ from Lintaro Ina

• 『BrandSafe はてな』のアドベリフィケーションのしくみ

  伊奈 林太郎
  アドテクが見据える未来とそれを支える技術, 東京都港区, December 2014.
  『BrandSafe はてな』のアドベリフィケーションのしくみ from Lintaro Ina

• Emacs上のターミナルを最強に

  伊奈 林太郎
  第6回 関西Emacs勉強会, 京都市左京区, October 2012.
  Emacs上のターミナルを最強に from Lintaro Ina

• HTMLからの本文抽出

  伊奈 林太郎
  Kansai.pm 第11回, 京都市中京区, March 2009.
  HTMLからの本文抽出 from Lintaro Ina

Interviews

• 10年モノのサービスをアーキテクチャから再設計─はてなブックマークがScalaとDDDを使う理由

  高橋 睦美, 伊奈 林太郎, 谷口 力斗
  エンジニアHub, September 2019.

• データ分析を軸に、組織や職種の壁を越えて協力し合う環境を作る ～リクルートグループ向けデータ分析プラットフォームCrois～

  星 暁雄, 宮井 康宏, 保坂 桂佑, 阿部 直之, 峰村 聡, 伊奈 林太郎
  はてなニュース, March 2019 (記事広告).

Blog Posts

Personal Tech Blog Articles (with 50+ bookmarks)

• 株式会社一休に入社しました

  June 2024

• あらゆるプログラミング言語の最先端を行くScala 3のマクロ

  December 2023

• 部分型における変性と極性 - なぜScalaの変性は+や-で指定するのか

  December 2022

• テックリードを再生産可能にする - テックリード養成講座をやっている話

  December 2022

• 方法不確実性を下げるための松竹梅メソッド

  September 2022

• 関数の再帰的な定義に名前付けは必要か

  August 2022

• スクラムでベロシティを安定化するにはどうしたらよいか

  May 2022

• 再帰的な構造のデータの同値性判定はどうしたらいいか

  August 2021

• テックリードの抱えるプレッシャとキャリアパス

  August 2021

• 個人/組織のOSS貢献を可視化する

  June 2021

• Docker Quizを力技で解く

  September 2020

• なぜ型ファーストで考えるのか

  February 2020

• プログラムで解く数学パズル: 囚人とスイッチの部屋の問題 - 解答の自動チェックのしくみ

  December 2018

• 契約による設計と名前による型づけ, およびオブジェクトの不変性

  September 2016

• bullet-scala: N+1クエリ問題を回避する

  August 2015

• Caskはもう古い、これからはEl-Get - いまどきのEmacsパッケージ管理

  February 2015

• 【はてなスタッフ非公式ブログバトン】 Haxeの善し悪し

  December 2013

• Evil: EmacsをVimのごとく使う - 導入編

  March 2013

• はてなダイアリーにEmacsから投稿

  January 2013

• ノートPCでLinuxの仮想化

  December 2012

• Emacs上のターミナルを最強に: term+.el

  October 2012

• LaTeXでオブジェクト指向プログラミング

  June 2012

• Rubyで関数型プログラミング

  August 2011

• JavaScriptで読む「ラムダ計算基礎文法最速マスター」

  March 2010

• ラムダ計算基礎文法最速マスター

  February 2010

Contributed Articles to Hatena Developer Blog

• YAPC::Kyoto 2023ノベルティのPerl Poemを読み解く

  March 2023

• Elasticsearchクラスタを再構築し、無停止で切り替えるベストプラクティス

  August 2020

• 開発速度と品質のトレードオフの判断基準の合意

  December 2016

• Web開発におけるコンピュータサイエンス - 機械学習編1

  October 2016

• (解説) はてなブックマークにおけるアクセス制御 - 半環構造に基づくモデル化

  December 2015

• gulpで依存関係を考慮した自動コンパイル

  December 2014

Software

Web Services

• はてなブックマーク

  The largest social bookmark service in Japan.
  As the architect and main implementer of the 4th generation of the system, and the tech lead of the development team.
  From February 2015.

Maintaining Repositories (with ★30+)

• fireworq/fireworq

  Fireworq is a lightweight, high-performance, language-independent job queue system.
  As the main implementer, architect, and maintainer.
  • ★ 2,213
  • Go

• dimitri/el-get

  Manage the external elisp bits and pieces upon which you depend!
  As the author of el-get-bundle.
  • ★ 1,657
  • Emacs Lisp

• emacs-jp/init-loader

  Original is http://coderepos.org/share/browser/lang/elisp/init-loader/init-loader.el
  • ★ 94
  • Emacs Lisp

• tarao/record4s

  Extensible records for Scala
  • ★ 66
  • Scala

• tarao/evil-plugins

  Plugins for Emacs Evil.
  • ★ 66
  • Emacs Lisp

• fireworq/fireworqonsole

  A console to manage Fireworq daemons on a Web UI.
  • ★ 64
  • TypeScript

• tarao/term-plus-el

  A terminal emulator in Emacs (term.el enhancement: 256 colors, edit mode, logging, multiplexer and shell integration)
  • ★ 57
  • Emacs Lisp

• tarao/bullet-scala

  A monadic library to resolve object relations with the aim of avoiding the N+1 query problem.
  • ★ 54
  • Scala

• tarao/LambdaJS

  An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
  • ★ 47
  • JavaScript

• tarao/apiconsole

  A web-based console view to manipulate APIs of an arbitrary website.
  • ★ 46
  • Go

• tarao/lambda-scala

  Type level lambda calculus in Scala
  • ★ 32
  • Scala

• tarao/dotfiles

  tarao's dot files.
  • ★ 31
  • Emacs Lisp

Contributing Repositories (with ★50+)

• renovatebot/renovate

  Home of the Renovate CLI: Cross-platform Dependency Automation by Mend.io
  • ★ 19,997
  • TypeScript

• Philippus/elastic4s

  🔍 Elasticsearch Scala Client - Reactive, Non Blocking, Type Safe, HTTP Client
  • ★ 1,637
  • Scala

• tagomoris/xbuild

  Language runtimes installer for production environment
  • ★ 195
  • Shell

• x-motemen/blogsync

  Push and pull blog entries from/to local filesystem
  • ★ 165
  • Go

• tokuhirom/Furl

  pretty fast http client library for perl5
  • ★ 106
  • Perl

• lestrrat-go/test-mysqld

  Create real MySQL server instance for testing
  • ★ 89
  • Go