generated at
2/18/2025, 5:31:54 PM
指標の接頭記号別名
指標
の
接頭記号
をつける
圏論の記法
を
自作
思いついて試験運用中
圏の多層構造とかの時に便利
圏をベースにした
指標
に
基本
記号を
エイリアス
としてメソッドにアクセスする
.->
.^
.×
函手としてはワンランク上になるけど
メソッドとして持っている、ということで
n-morph方向の結合は数字
.1
.2
明らかな場合は省略されている、と考える
予約語(記号)
0
.
話題の中心の圏
1
%
. in %
2
&
…
3
#
4
?
5
!
# より上は多分使わない
使う
参考
得物屋24時間 BOLTAC'S TRADING POST
ウィザードリィ~DIMGUIL~
より記号のレベルを引用
+あ
なんて存在しませんよ…ファンタジーや初期ロットじゃあないんですから
いやべつにひらがな使ってもいいな