tarosayのｱﾝﾃﾅ - はてなｱﾝﾃﾅ

▽きしだのはてな
●04/27 09:23
2021-10-14
代数ﾃﾞｰﾀ型の直積型と直和型の理解
代数ﾃﾞｰﾀ型という考え方があって､型に対する代数的な操作を行うものっぽいです｡代数的な操作というのは､足し算とか掛け算ですね｡直和型と直積型というのがあります｡
直積型は構造体のようなもので､Javaだとrecordが導入されましたね｡
record A(int p1, boolean p2) {}
みたいなものです｡
これがなぜ積なのかというと､このﾚｺｰﾄﾞAの取りうる値の組み合わせは､intの値のﾊﾟﾀｰﾝ数(2 ^ 32) × booleanの値のﾊﾟﾀｰﾝ数(2)で2 ^ 33になるからなんだと思います｡
直和型は､型がこれかこれ､みたいになるやつです｡Javaだとtry-catchのcatch句に直和型が指定できて､この例外かこの例外､みたいな書き方ができますね｡
catch (NullPointerException | N

▽新適当ﾏｲｺﾝ電子工作研究所：So-net blog
●04/10 00:06
Smart I/O でﾜﾝｼｮｯﾄﾊﾟﾙｽを作る [PSoC]
貧弱な PSoC 4000S でﾜﾝｼｮｯﾄﾊﾟﾙｽを出したい｡こういう要望があったので､ Smart I/O で実現してみました｡与えたｸﾛｯｸ数発分のﾊﾟﾙｽをｿﾌﾄｳｪｱでﾄﾘｶﾞします｡
このﾌﾟﾛｼﾞｪｸﾄは､ CY8CKIT-145-40XX PSoC 4000S Prototyping Kit で動作させています｡
大まかな動作原理
Smart I/O の内部は､このように構成してみました｡ｿﾌﾄｳｪｱのﾄﾘｶﾞは､ data4 から LUT5 に入り､立ち上がりが検出されます｡立ち上がりが検出されると LUT4 のｽﾃｰﾄﾏｼﾝが動作を始めます｡LUT4 は､ LUT6 を介して､ Data Unit (DU) のﾀﾞｳﾝｶｳﾝﾀを起動します｡ｶｳﾝﾀがｾﾞﾛになったら､ LUT4 に通知し､ｶｳﾝﾀもﾘｾｯﾄされます｡
ｺﾝﾄ

▽はてなﾎﾟｲﾝﾄ3万を使い切るまで死なない日記
●03/28 10:25
読者になる
この説明だと驚きを与えてくれる世の中のものはすべてｺﾝﾃﾝﾂとなってしまうが､すくなくともｺﾝﾃﾝﾂではなくｱｰﾄというのであれば､その定義はおおむね正しいように思える｡そしてｱｰﾄがｺﾝﾃﾝﾂになる条件はｱｰﾄが人間にとってなんらかの機能性を伴って切り出せるときだ｡絵画､彫刻､音楽とかいったものは人間にとってなんらか