▽ﾅﾝｸﾙ力学系 | 学んだ事を書き連ねていこう｡
●06/26 08:20
ﾙﾍﾞｰｸﾞ積分を勉強するわけ
分かっている｡
PDF管理ｿﾌﾄを作ってみた
December 2021
12345
6789101112
13141516171819
20212223242526
2728293031

▽B-CHANの日記（iPhone活用やたくさんの趣味やできごとなどなど）
●06/26 00:48
2021-12-01
iPhoneをﾀｯﾌﾟしてｽﾘｰﾌﾟ解除可能にする
iPhone
iPhoneのｽﾘｰﾌﾟﾎﾞﾀﾝ iPhoneのｽﾘｰﾌﾟﾎﾞﾀﾝを知っていますか？ 最近のiPhoneなら､右側にあるﾎﾞﾀﾝです｡ 昔のiPhoneは上部にありましたね｡ ｽﾘｰﾌﾟﾎﾞﾀﾝを押すと､iPhoneをｽﾘｰﾌﾟ状態にできます｡ では､ｽﾘｰﾌﾟ状態のときにｽﾘｰﾌﾟﾎﾞﾀﾝを押…
iPhoneをﾀｯﾌﾟしてｽﾘｰﾌﾟ解除可能にする
iPhone (1578)

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

▽柳に燕
●06/11 07:44
WDC-433SU2M2BKをUbuntu 18.04.1で使う
Ubuntu Serverなんだけど細かいことは気にしない｡さて､余ったPCを活用しようと適当に無線LANｱﾀﾞﾌﾟﾀを買ってきたものの､WDC-433SU2Mの話は出てくるが､WDC-433SU2M2は出てこないわけで……｡ﾀﾞﾒ元でからgit
pikegadge.com

▽Chikirinの日記
●05/31 02:38
処刑を免れた元首 その2