このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
おい‼️離せよ‼️おれはもう病気じゃねえって‼️ゲーム依存症はとっくのとうに直ってるって言ってるだろ‼️離せって‼️お前らどうせまた、おれをあの閉鎖病棟に閉じ込めるつもりなんだろ、埃臭いベッドに薬漬けにするつもりなんだろ‼️‼️
え?閉鎖病棟じゃない...?じゃあどこだよ
___「香川県」......?
このアカウントは、notestockで公開設定になっていません。
このアカウントは、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)))
Combinatory Logic の定数 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)))))))
3 つ目の引数 x
がコピーされてふたつになることが S
のポイントである.K
combinator は等式 K(x)(y) = x
を満足する定数として定義される. i.e., (app (app K x) y) = x
λ 計算では K
を以下のように定義できる. K = λ(x)[λ(y)[x]]
K
を Emacs Lisp で定義すると次のようになる. (defconst K (lambda (x) `(lambda (y) ,x)))
2 つ目の引数をすてることが K
のポイントである.I
combinator は恒等関数を表し,等式 I(x) = x
を満足する. i.e., (app I x) = x
λ 計算では I
を以下のように定義できる. I = λ(x)[x]
(defconst I (lambda (x) x))
Combinatory Logic で S(K)(K) = I
という等式が成り立つということの意味は,任意の combinator x
に対して,S(K)(K)(x)
を計算してみると S(K)(K)(x) = K(x)(K(x)) = x
I
についても 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"
Combinatory Logic のすごいところは, S
と K
だけで計算可能な関数をすべて記述できるということです.あまりにすごいのでプログラミング言語として使う人はいないようです.これに対して,λ 計算は,同じようにすごい言語ですが,Lisp や型付の関数型言語として姿を変て現在もよく使われています.その理由は自然演繹とよばれる論理の体系との関係が深いからだと私は考えています.と、取り敢へずgzip -cd ddskk-ddskk-17.1_Neppu.tar.gz | tar xvf -
した・・・(震え聲)
あっ、つまりこれはもし make
でDDSKK
をインストールしたら一体どこにSKK
関連ファイルが置かれるかを表示してゐるってことにゃのかっ(?)
RE: https://misskey.io/notes/8hfracx36m
これは今氣附きた事にゃのですが、テキトーにノート書くよりも、自分のノートに返信して、#川音SKK みたいにゃタグ附けときた方が後で探しやすかりたりする?
このアカウントは、notestockで公開設定になっていません。
このアカウントは、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}
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
cd SuttonSignWriting/
npm install @sutton-signwriting/core
wget https://github.com/sutton-signwriting/core/archive/master.zip
してる。
これが、【\sf\small\overset{\tinyこあ}{コア}
】・・・
https://www.sutton-signwriting.io/core/#stylecompose
unzip master.zip
cd core-master
npm install
する。このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
\sf\small\overset{\tinyちかごろ}{近頃}
の\sf\small\overset{\tinyワークフロー}{流れ業}
としては、\sf\small\overset{\tinyサインメイカー}{SignMaker}\;2017
で\sf\small\overset{\tinyき}{決}
めた\sf\small\overset{\tinyてがた}{手形}
の\sf\small \overset{せいきしゅもん}{\underset{\tiny Formal\;SignWriting}{正\,規\,𧦌\,文}}
を \sf\small\overset{\tinyしゅわ}{手話}\overset{\tinyも\;じ}{文字}\overset{\tinyノード}{node}
\sf\small\overset{\tinyい}{入}
れた\sf\small\overset{\tinyターミナル}{端末}
にnode fsw/fsw-sign-svg M512x515S1dc08488x485-D_black,transparent_Z1 vr/HandGunLeft.svg
みたいにゃこと\sf\small\overset{\tinyぶ}{打}
ち\sf\small\overset{\tinyこ}{込}
んで\!\!\!\sf\small\overset{\tinyアウトプット}{出力}\!\!\!
された.svg
\sf\small\overset{\tinyファイル}{文件}
をgit push
し、\sf\small\overset{\tinyあ}{上}
がりた\sf\small\overset{\tinyファイル}{文件}
をZpDICに\sf\small\overset{\tinyお}{置}
きてある\sf\small\overset{\tinyじつにちしゅわ}{日手話}\overset{\tinyじてん}{辞典}
\sf\small\overset{\tinyない}{内}
の\sf\small\overset{\tinyマークダウン}{Markdown}
から\!\!\sf\small\overset{\tinyせっけいづきょうゆうまうたん}{設計圖共有網站}\!\!
「\sf\small\overset{\tinyギットハブ}{Github}
」を\sf\small\overset{\tinyさむせう}{參照}
し、\sf\small\overset{\tinyじしょない}{辭書內}
にSVG\sf\small\overset{\tinyけいしき}{形式}
の\sf\small\overset{\tiny}{手話文字}
を\sf\small\overset{\tinyへうじ}{表示}\overset{\tinyで\;き}{出徠}
るやうにしてる。
#手話文字 #SignWriting
Emacs完全理解者はきつと\sf\small\overset{\tinyミスキー フレイヴァード マークダウン}{Misskey\;Flavored\;Markdown}
專用のモードをちゃちゃってLISPで書いてて、さぞ簡單に\LaTeX
入りのミスキーノートを作成出徠るんだろうなぁ...羨ましい。
【今日のにっき】
けふ初めて(といふ名のSpacemacs)
の檢索置換機能をつかひました。
一度:s|Victory|Fist
などをしたら次からはs:||OpenHand
のやうに、檢索対象を省略出徠たり、同行内の置換などで:
だけで最後の檢索置換を再實行してくれた點などがよかったです。まる。
この記事がきつかけで我もテーブル作成時にはSpacemacsのOrg-Mode使ふてりゅ。
https://qiita.com/zonkyy/items/8e45d97abc2d4fce8780
一發で全變換できたwwwwこれがSpacemacs(といふかOrg-mode)の力にゃのか!
このアカウントは、notestockで公開設定になっていません。
六葩くる
追加しました!組み文字04
いったれ
でも出せます!
追加しました!組み文字04
なったれ
でも出せます!
追加しました!組み文字04
くったれ
でも出せます!
Deryck
追加しました!Emoji-like
wheezing lol laugh funny
でも出せます!
緋色なつめ
追加しました!組み文字9+
わたくしはそうではありませんわ watakusiha watakusiwa watakushiha watakushiwa sodeha sodewa soudeha soudewa arimasenwa watakusihasodehaarimasenwa watakusihasodewaarimasenwa watakusihasoudehaarimasenwa watakusihasoudewaarimasenwa watakusiwasodehaarimasenwa watakusiwasodewaarimasenwa watakusiwasoudehaarimasenwa watakusiwasoudewaarimasenwa watakushihasodehaarimasenwa watakushihasodewaarimasenwa watakushihasoudehaarimasenwa watakushihasoudewaarimasenwa watakushiwasodehaarimasenwa watakushiwasodewaarimasenwa watakushiwasoudehaarimasenwa watakushiwasoudewaarimasenwa
でも出せます!
kumayabai
追加しました!組み文字07
やさしいせかい yasasii sekai yasashii yasasi yasashi
でも出せます!
追加しました!組み文字04
大人買い おとながい otonakai
でも出せます!
緋色なつめ
追加しました!組み文字07
お肉食べなさい おにくたべなさい
でも出せます!
みさっち@ラグオリIris
追加しました!Blob
blob eating ehoumaki 食べる 恵方巻き えほうまき ehomaki
でも出せます!
Jün
追加しました!한글
自力更生 じりょくこうせい じりきこうせい jaryeok kaengsaeng 자력갱생 자력 갱생
でも出せます!
ねむだる豆腐
追加しました!People / Fediverse
ねむだるとうふ ねむだる豆腐 namudaru tofu
でも出せます!
掛空/Acier
追加しました!組み文字05
力こそパワー ちからこそぱわー chikarakosopower tikarakosopower tikarakosopawa- tikarakoso_power tikarakoso_pawa- chikarakosopower chikarakosopawa- chikarakoso_power chikarakoso_pawa-
でも出せます!
clive
追加しました!Pet the X
c30_pat pet pat nadenade なでなで icon_c30
でも出せます!
Deryck
追加しました!不当幅
がちんこバトル gachinko gatinko gatinko_battle battle batoru gachinkobatoru gatinkobatoru
でも出せます!
kumayabai
追加しました!組み文字02
深い ふかい deep hukai
でも出せます!
naskya
追加しました!Logo / OS
asahi_linux asahi linux 朝日リナックス あさひ リナックス ライナックス
でも出せます!
追加しました!Logo / OS
アーチ archlinux arch_linux linux リナックス ライナックス
でも出せます!
追加しました!Logo / Apps
ヘリックス ヒリックス helix editor post_modern_text_editor
でも出せます!
追加しました!Logo / Service
レディット
でも出せます!
kumayabai#9856
追加しました!組み文字07
やさいせいかつ yasai seikatu seikatsu
でも出せます!
追加しました!Logo / Other
カロリーゼロ ゼロカロリー zero calorie
でも出せます!
nullnyat
追加しました!ぬるきゃっとちゃん!
notlikethis notlike nullcat こんなはずでは こんにゃはずでは 頭を抱える あたまをかかえる
でも出せます!
追加しました!組み文字04
魔剤ださ まざいださ monster_not_cool モンエネださ
でも出せます!
追加しました!Pet the X
六葩くる 六葩 むゆひら なでなで pet pat
でもだせます!
このアカウントは、notestockで公開設定になっていません。
一番良く使うのは?のアンケートが終了しました!256票もあつまって嬉しいかぎりです!
また、リプライで他にも色色なものがあると聞きました。返信してくださったみなさん本当にありがとうございます!
投票結果を見たところ、みなさんはVSCodeとVimというエディターを一番使っているようです!後にみんながもっとも使っているエディターの絵文字を出せるようにしますのでしばしお待ちを!
最後に、アンケートに參加してくださったみなさま、ありがとうございました!
RE: https://misskey.io/notes/9a5bvq0qxh
認証マーク 政府認証 verified_government gov government グレー認証 政府関係 多国間機関
と 認証マーク 企業認証 verified_business ゴールド認証
でなにかがだせます。
emoji_bot (応答無し)
RE: https://misskey.io/notes/9adzpplure
smiling face hearts ハート
みどりうんち うんこ グリーンプープ green poop
happy_baby relax happy baby 赤ちゃん リラックス ハッピー しあわせ
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
絵文字bot再起動されたっぽいのでちょっと手定めにどうして今までなかった的な絵文字入れる。
このアカウントは、notestockで公開設定になっていません。
プロミスキストなら全部わかって当然!Misskeyの歷代ロゴを追加しました。
君はいくつ知ってるかな?
sky moth
李春姬 리춘희 리춘히 リチュンヒ リチュニ リ・チュンヒ リ・チュニ リーチュンヒ リーチュニ リー・チュンヒ リー・チュニ leechunhi leechunhui leechunhuy leechunhŭi leech'unhi leech'unhui leech'unhuy leech'unhŭi leecunhi leecunhui leecunhuy leecunhŭi lee_chunhi lee_chunhui lee_chunhuy lee_chunhŭi lee_ch'unhi lee_ch'unhui lee_ch'unhuy lee_ch'unhŭi lee_cunhi lee_cunhui lee_cunhuy lee_cunhŭi richunhi richunhui richunhuy richunhŭi rich'unhi rich'unhui rich'unhuy rich'unhŭi ricunhi ricunhui ricunhuy ricunhŭi ri_chunhi ri_chunhui ri_chunhuy ri_chunhŭi ri_ch'unhi ri_ch'unhui ri_ch'unhuy ri_ch'unhŭi ri_cunhi ri_cunhui ri_cunhuy ri_cunhŭi
絵文字タグ、'
をタグに含む絵文字が以外に存在しないので、投稿を
E
+'
+Enter
するだけでを生やすことができる。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
Misskeyの$[position ]
って使った後に出てきた空白が消せないんよね...
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
わかりみ。
おかゆとかあんなん水增ししたご飯やもん。
RE: https://oransns.com/users/nacika/statuses/109748816717356985
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
Mozilla Thunderbirdすげぇー。象でもちゃんと活動してるもんな。
RE: https://mastodon.online/users/thunderbird/statuses/109748799420944022
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
ビギナーおめでとうございます!!
ミスキーへようこそ!!
これであなたもミスキストですわ!!
RE: https://misskey.io/notes/9aenk441ed