高階氏現る

でこれき @dico_leque

らむだちゃん（仮）の名前が「高階（たかしな）ことりちゃん」に決まったときに「かたなしくん！」「ことりちゃん！」という声が上がっていたことを報告しておかねばなるまい

κねこせん @necocen

高階、いつかなにかに使ってみたい苗字ではある

ふみ (DJ Monad) @fumieval

高階姓は関数型の血を引く人々に多いという設定を普及させたい

ふみ (DJ Monad) @fumieval

高階螺徒(らむだ) 高階関数(せきかず) 高階理(おさむ)

ふみ (DJ Monad) @fumieval

高階再帰(りか) recursionでりかは無理があるか…

ふみ (DJ Monad) @fumieval

高階圏(けん) 高階群(こおり)　高階環(たまき)

でこれき @dico_leque

ミドルネームを入れて高階・関・数子みたいにすると孝和さんがちらちらしたという

ふみ (DJ Monad) @fumieval

割と実際の姓も高階にしたい

スマートコン @mr_konn

高階 論理子（たかしな・ろじこ） は DQN ネームすぎるか

スマートコン @mr_konn

高階ろじ子です☆

ふみ (DJ Monad) @fumieval

高階函手(ごんた)

みょん @myuon_myon

Haskellを習得した暁には私も高階 射(IRU TAKASHINA)を名乗ります

にゃんだーすわん @tadsan

高階兄弟… 何者なんだ。

ふみ (DJ Monad) @fumieval

もともとの名前の後方互換性を考えてしばらく高階 文にしよう

Tomoki UDA @t_uda

タカシナファミリーのリストはどこにありますか？ [List Takasina]

ふみ (DJ Monad) @fumieval

https://t.co/w6OuMh0n 高階兄弟のリスト作った。私に知らせてくれればどんどん追加します

くりんぺっと @climpet

高階兄弟とは……？

くりんぺっと @climpet

名前からして怖いんですが