▽檜山正幸のｷﾏｲﾗ飼育記
●04/29 19:09
2021-10-19
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題
雑記／備忘
ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語や型理論の文脈で､空ﾘｽﾄの型つけ〈ﾀｲﾋﾟﾝｸﾞ〉が話題になることがあります｡集合論と圏論で解釈してみると､結果が違ってきます｡発想が違うので結果がｽﾞﾚるのは驚くことではありませんが､意外に思う人もいるかも知れません｡内容…
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題
集合論と圏論がｽﾞﾚるとき： 空ﾘｽﾄ問題

▽ぴょぴょぴょ？ - Linuxとかﾌﾟﾛｸﾞﾗﾐﾝｸﾞの覚え書き -
●04/23 11:01
2021-10-10
GNU screen をﾏｳｽでｽｸﾛｰﾙさせる方法
Tweet
~/.screenrc に以下の一行を加えるだけ
termcapinfo xterm* ti@:te@
これでﾏｳｽのｽｸﾛｰﾙ（ﾏｳｽﾎｲｰﾙや，mac のﾄﾗｯｸﾊﾟｯﾄﾞのmulti-touchのﾄﾞﾗｯｸﾞ）で GNU screen をｽｸﾛｰﾙできます
ﾃﾞﾌｫﾙﾄ設定のGNU screenだと，ｽｸﾛｰﾙは ”C-a” ”C-[” でｺﾋﾟｰﾓｰﾄﾞに遷移して，それから”C-b”とか”C-f”とか”Command-↑”とかで，結構ｽﾄﾚｽが溜まります．mac book とかﾉｰﾄPCで作業するときは上記設定でﾄﾗｯｸﾊﾟｯﾄﾞでｽｸﾛｰﾙした方が便利です
pyopyopyo 2021-10-10 13:05
GNU screen をﾏｳｽでｽｸﾛｰﾙさせる方法
Tweet
広告を非表示にする
もっと読む
ｺﾒ

▽黎明日記(目指せｱﾙﾌｧﾊﾞｲﾅﾘｱﾝ)
●04/12 15:55
ﾎｰﾑ 特集
【今週のお題】見る派？ やる派？｢好きなｽﾎﾟｰﾂ｣をﾃｰﾏにﾌﾞﾛｸﾞを書いてみましょう
子どもにｽﾏﾎを持たせるなら､考えておきたい｡親子で学ぶ｢ｲﾝﾀｰﾈｯﾄとの安全な付き合い方｣
ﾃﾞｰﾀ駆動野球観戦のすすめ - お笑いとﾗｼﾞｵ､ﾃﾞｰﾀ分析が野球の楽しさを教えてくれた【わたしの偏愛】
社会
人びとを｢ﾌﾟｱ｣から｢ﾜｰｷﾝｸﾞﾌﾟｱ｣に全力でｸﾗｽﾁｪﾝｼﾞさせようとしている国で生きるということ
fujipon.hatenablog.com※前回のこの記事の続きです｡ anond.hatelabo.jp anond.hatelabo.jp これらの『匿名ﾀﾞｲｱﾘｰ』を読んだ人たちに知っておいてもらいたいのは､現在の日本は､すでに､生活保護や低所得者への援助を積極的に行っている国ではない､ということな…
いつか電池がきれるまで - 2021-08-19 08:45:00
僕らも金ﾒﾀﾞﾙ

▽まじかんと雑記
●04/02 18:39
2021年10月11日 (月)
Yash 2 その 291: ﾊﾞｰｼﾞｮﾝ 2.52 ﾘﾘｰｽ
久々のﾘﾘｰｽとなる 2.52 をﾘﾘｰｽした｡最近は yash-rs の開発に注力してゐるので今後 yash に手を入れることはどんどん減るだらう｡
Tweet
«ﾃﾚﾋﾞ番組等感想 その 474: 2020 年第 1 四半期の纏め

▽川o･-･）＜2nd life
●03/28 11:48
このﾌﾞﾛｸﾞについて