自己紹介

芳賀 雅樹 (はが まさき)

  • Web 会社で働いている,修士 (工学) のパソコンカタカタオタクです.
  • しらそら (silasolla) というハンドルネームでインターネットを使っています.
  • ググると両手ピースしている恥ずかしい写真が出てくるのでググらないでください.

プログラミングについて

理論計算機科学 (プログラミング言語の基礎理論など) や,函数型プログラミングが好きです.大学在学中は,数理論理学を用いたソフトウェア基礎理論の研究をしていました.

卒論:循環証明体系の二番煎じ..を作りました.
修論:ややっこしい体系で泡を吹きながら,項書き換え系の研究をしていました.ここなんかで発表してます.

好きなプログラミング言語

以下のような性格をした言語が好きです.

  • ごちゃごちゃせずに書ける素直さ
  • 型安全でポンポン例外を投げない誠実さ
  • アノテーションなしでも型推論してくれる包容力
  • 代数的なデータ型やパターンマッチによる柔軟性
  • 中二病心をくすぐるような黒魔術もできちゃうカリスマ性
etc.

ML (とくに Standard ML)

型推論が優秀なのと,Haskell よりもゆるーくプログラミングできるのが好きです.臨機応変に逐次実行して,手続き型っぽく書けるのも良いです.研究室で出会ってどんどん好きになりました.無名函数のシンタックスをはじめとした絶妙に歯痒い仕様に腹を立てる.

Haskell

函数型プログラミングの沼に引き込まれました.最近デフォルトで正格評価にする方法を知って,心理的なハードルが下がりました.

Scheme

静的型が無いのは歯痒いですが,仕様がコンパクトで好きです.call/cc 使ったコードの解読ゲームとか面白いと思います.Common Lisp はあんま好きじゃない.

興味がある言語

  • Elm
  • Rust
  • Scala
  • F# (とか F* とか)
  • Idris
  • Agda
  • PureScript

好きなもの

音楽

いわゆる古典音楽や現代音楽を特に好みます.収集したり鑑賞したり分析したり演奏したり作ったりします.好きな作曲家はたくさんいますが,特に Beethoven, Alkan, Liszt, Brahms, Bruckner, Franck, Sibelius, Webern, Varèse, Messiaen, Xenakis, Penderecki, Crumb, 諸井三郎,湯浅譲二,あたりが好きです.

数学

数理論理学ばかりやっていますが,メタじゃないのも興味あります.余裕が出てきたらやりたいです.演繹で理論全体が大きな生き物のように繋がっていて面白いなと思います.

読書

理工書を中心に,謎雑学系の本や,小説もちょいちょい読みます.小説だと SF (Asimov, Bradbury, Dick, Orwell など) を読みがちです.

Tuba

中学一年生の頃からずっと演奏していましたが,最近は新型コロナ感染症でまともに演奏できていません.Vaughan Williams の Tuba Concerto とか,Penderecki の Capriccio とか,おもしろいので聴いてみてください.

けろけろけろっぴ,キキララ

かわいい.とてもかわいい.けろっぴ > キキララ >>>> (可算無限個続く) >>>> {その他有象無象} だと思う.

おいしいものを食べること

  • 塩分無添加のトマトジュース
  • 焼き魚,刺身
  • 天ぷら
  • 白いアルフォート
  • 高カカオチョコレート
  • 豆腐

誰も傷つかないほのぼの系のアニメを見ること

もうこういうのばっか見てる.ごちうさを見ると心が満たされます.

その他

  • Twitter
  • 散歩
  • けん玉
  • 折り紙
  • 編み物
  • 自己言及文,回文,駄洒落

苦手なもの

鉄塔

  • 曇りの日や夕方に鉄骨のシルエットがはっきりする
  • 夜の暗闇に静かに佇んでいる
  • 逆に煌々と光っている
  • でかい (軽いメガロフォビアかも)
のが苦手.

変電所

鉄塔がいっぱいあるので.

その他

  • 騒音
  • 人混み
  • ゴシップ
  • 動的型付け
  • 三人以上での雑談
  • 席を立つこと前提の大人数での飲み会
  • 共感性羞恥を刺激するドラマやアニメ
  • プロローグで主人公を虐げるシナリオ
  • リベラリズムを主張しながら他者から自由を略奪する思想