This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
おい‼️離せよ‼️おれはもう病気じゃねえって‼️ゲーム依存症はとっくのとうに直ってるって言ってるだろ‼️離せって‼️お前らどうせまた、おれをあの閉鎖病棟に閉じ込めるつもりなんだろ、埃臭いベッドに薬漬けにするつもりなんだろ‼️‼️
え？閉鎖病棟じゃない...？じゃあどこだよ
＿＿＿「香川県」......？
님의 게시물
everyone@misskey.io
This account is not set to public on notestock.
님의 게시물
yamana@misskey.io
This account is not set to public on notestock.
データベースの初期化に失敗するのでfumisskey.comのインスタンスをUbuntuからRHEL（RedHatEnterpriseLinux）へ乗り換へます！！！
MozcってGoogle日本語入力のオープンソースソフトウェア版だったの！！！！！！！！！？
"SKK = I"
Combinatory Logic は，λ 計算と同様，すべての項 (term, 計算機の言葉で言えば，プログラムに相当するもの) が関数であるような体系である． Logic という名前がついているのは，その上に論理を展開することを目的としていたからであるが，論理の体系としては成功しなかった．しかし，λ 計算と密接な関係があることから，計算の体系としては重要なものである．
Combinatory Logic の項 (combinator) は以下の文法規則で定義される．
項 ::= 変数 | 定数 | 項(項)f に (引数としての) 項 a を適用した項 f(a) のいずれかである． 通常よく用いられる定数には S, K, I がある．したがって，たとえば，I, S, S(K), S(K)(K) はすべて上の定義により項になる．f の a への適用 f(a) のことを適用の演算子 * を用いて fa のように書いて， は左に結合すると約束する．したがって，fxy と書けば，これは (fx)y のことであり，f(xy)のことではない．その上で，さらに，通常は，* も省略することを許しているので，今の例は fxy となる．しかし，ここでは，そのような省略はしない．fxy とは書かないで，f(x)(y) と書くことにする．ふつう，Combinatory Logic で SKK と書かれる項は，S(K)(K) のことである．apply を用いて app を定義しておく．これにより，項 f(x) を Emacs Lisp で (app f x) と書くことができるようになる． (defun app (f x) (apply f (list x)))S は等式 S(f)(g)(x) = f(x)(g(x)) を満足する combinator として定義される． i.e., (app (app (app S f) g) x) = (app (app f x) (app g x))S を以下のように定義できる ( λ 計算の解説は省略するが，第 0 近似としては Lisp だと思ってよい:-) もちろん，歴史的には λ 計算が Lisp に影響を与えているのであるが．．．)． S = λ(f)[λ(g)[λ(x)[f(x)(g(x))]]]S を Emacs Lisp で定義すると次のようになる． (defconst S
(lambda (f) `(lambda (g) (let ((f ,f))
`(lambda (x) (app (app ,f x) (app ,g x)))))))x がコピーされてふたつになることが S のポイントである．K combinator は等式 K(x)(y) = x を満足する定数として定義される． i.e., (app (app K x) y) = xK を以下のように定義できる． K = λ(x)[λ(y)[x]]K を Emacs Lisp で定義すると次のようになる． (defconst K (lambda (x) `(lambda (y) ,x)))K のポイントである．I combinator は恒等関数を表し，等式 I(x) = x を満足する． i.e., (app I x) = xI を以下のように定義できる． I = λ(x)[x] (defconst I (lambda (x) x))S(K)(K) = I という等式が成り立つということの意味は，任意の combinator x に対して，S(K)(K)(x) を計算してみると S(K)(K)(x) = K(x)(K(x)) = xI についても I(x) = x なので，どちらも，任意の入力 x について何も変更を加えないで x をそのまま出力する関数と考えられということである．日本語入力システム SKK という名前には，ユーザの頭の中にある日本語のテキストを，なるべくストレスなしに，そのままディスプレイに出力するプログラムにしたいという気持ちが込められている．S(K)(K) を以下のように定義することにより，恒等関数をつくることができる． (defconst SKK (app (app S K) K))
examples
(app SKK 2) ;; -> 2
(app I 2) ;; -> 2
(app SKK "SKK") ;; -> "SKK"
(app I "SKK") ;; -> "SKK"
(equal SKK (app SKK SKK)) ;; -> t
(equal I (app I I)) ;; -> t
(equal SKK I) ;; -> nil となるのは，SKK と I はプログラムとしては同じふるまい
;; をするが，コードとしては異るからである．
(defun SKK (x) (app SKK x))
(SKK 2) ;; -> 2
(SKK "SKK") ;; -> "SKK"S と K だけで計算可能な関数をすべて記述できるということです．あまりにすごいのでプログラミング言語として使う人はいないようです．これに対して，λ 計算は，同じようにすごい言語ですが，Lisp や型付の関数型言語として姿を変て現在もよく使われています．その理由は自然演繹とよばれる論理の体系との関係が深いからだと私は考えています．
と、取り敢へずgzip -cd ddskk-ddskk-17.1_Neppu.tar.gz | tar xvf -した・・・（震え聲）
あっ、つまりこれはもし make でDDSKKをインストールしたら一体どこにSKK関連ファイルが置かれるかを表示してゐるってことにゃのかっ（？）
RE: https://misskey.io/notes/8hfracx36m
これは今氣附きた事にゃのですが、テキトーにノート書くよりも、自分のノートに返信して、#川音SKK みたいにゃタグ附けときた方が後で探しやすかりたりする？
This account is not set to public on notestock.
This account is not set to public on notestock.
我の場合は獨自の川音方言にゃので、akawshi氏と同じく、歴史的かなづかひ とは似て非なるモノー。
RE: https://misskey.io/notes/8hfrm0s5sb
曾毛／＼萬葉假名遠使不仁波上代日本語乃乙類甲類遠理解志帝井那氣禮婆那羅奈衣乃出無理下ー出寿。
これソースが見れにゃくなってて悲しき。
RE: https://misskey.io/notes/8hfv7uhx3e
\color{red}\begin{smallmatrix}{}&&&&H&&\\&&&&&\Huge\!\!\scriptsize＼&\\&&N&&&\rm N&\Huge\!\scriptsize―\rm H\\&{／}\mathllap{\tiny／}&&\scriptsize＼&\normalsize\!\!＿&\Huge\!\scriptsize／&\\&\backslash\:\:&&{／}\mathllap{\tiny／}&&\Huge\!\scriptsize{＼}\mathllap{\tiny＼\;}&\\&\rm N&\normalsize—&\huge\!\scriptsize\backslash&&\rm H&\Huge\!\scriptsize┈┈\\&\Huge\!\scriptsize／&& \rm N&\normalsize\!\!—&\Huge\!\!\tiny^{\:\:^／}&\\\large⌇\!\!\\\end{smallmatrix} 
님의 게시물
mewl@mewl.me
This account is not set to public on notestock.
This account is not set to public on notestock.
