diff --git a/content/.smart-env/multi/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング_md.ajson b/content/.smart-env/multi/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング_md.ajson index d874248e..84ac44fd 100644 --- a/content/.smart-env/multi/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング_md.ajson +++ b/content/.smart-env/multi/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング_md.ajson @@ -66,3 +66,17 @@ "smart_sources:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md": {"path":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md","embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.04797284,-0.01514376,0.00822691,-0.02796871,0.03500942,0.03137705,-0.07464059,0.05364701,0.04419397,0.01997418,0.01282551,-0.06342179,0.05363715,0.06059757,0.01135918,-0.01892523,0.01345181,-0.05073776,-0.05255586,-0.01493794,0.15628858,-0.03909787,0.03429231,-0.02516746,0.07518069,0.01852393,-0.0208436,-0.01776788,-0.03504331,-0.165022,-0.03791561,0.01389311,0.07210074,0.01558047,0.04756897,0.00612828,0.01218148,0.04726719,0.00247854,0.05504459,-0.03592486,-0.01150354,0.02695288,-0.003369,0.04048013,-0.01939424,-0.00863987,-0.06277598,-0.03070859,-0.04585119,-0.1042105,-0.05971695,-0.01243348,0.00907515,0.02793896,0.00781022,0.05900117,-0.01834834,0.0100961,0.05862171,0.02634553,0.02833506,-0.27017796,0.03080764,0.0418456,-0.02899948,-0.09187603,-0.01792888,0.04296144,0.00836143,-0.04737895,0.01113774,0.00875785,0.01959995,0.05457063,0.01914436,-0.02436715,-0.0654351,-0.0038321,-0.05271698,-0.02785841,0.0568824,0.01023884,-0.01195943,-0.03782531,-0.0088461,0.01901948,-0.03619424,0.01554132,0.0196151,-0.03082502,-0.01120769,0.0070196,0.04236389,-0.07534435,-0.02063013,0.00707797,0.02640191,-0.00325287,0.10385492,-0.05059646,0.01888697,0.0149401,-0.0534806,0.00585066,-0.03698408,-0.0378527,-0.06154487,0.01944866,0.00754821,-0.02783296,0.00132159,0.02813685,-0.04777101,0.00615287,-0.0091171,0.08358477,-0.01303933,-0.00912565,-0.00062982,0.02533669,0.00869524,0.00235899,-0.01515085,0.01157526,-0.00369871,0.0265813,0.03401062,0.01704326,-0.01479598,0.05463137,0.05954887,-0.05432053,-0.00778247,-0.00513159,0.01658789,-0.02657091,-0.02217783,0.00104743,-0.01607437,-0.03394846,-0.12616856,-0.02360024,-0.07769147,-0.09931658,0.14031333,-0.05424405,0.00347841,0.01906625,-0.00868054,-0.02789463,0.07654026,-0.01550362,-0.02221878,0.03304212,-0.0464986,0.05890322,0.1275031,-0.04809604,0.00153265,-0.03374957,-0.07627244,-0.03038905,0.12601237,0.0178045,-0.02805271,-0.02053697,0.06099268,0.01845413,-0.07104353,0.01435329,-0.00357044,0.01902367,-0.01606053,0.06698866,0.0968571,0.09614444,0.00938437,-0.03787158,0.03990397,-0.00618516,-0.02726692,-0.04004028,0.04161443,-0.01560111,-0.03533424,0.01509051,-0.02265481,0.03780136,-0.00599606,-0.0736769,0.01729315,0.006515,0.03048175,-0.05211283,-0.05726473,-0.03451885,-0.02240416,-0.00212964,-0.09054831,0.09855695,0.04946164,-0.0412306,-0.03288511,0.05873515,-0.00146653,0.03854771,-0.0252528,0.02998902,0.03674361,-0.0369213,-0.00972096,0.05987938,0.04448581,0.00336064,0.02912437,0.01810445,-0.00117169,0.04776398,0.10216578,0.02792827,-0.00718199,-0.08797565,-0.2016224,-0.00141556,0.03864836,-0.05786346,-0.01278544,0.01547043,0.05165989,-0.07658099,0.10380264,0.07558663,0.07777319,0.07032349,-0.05988979,-0.00736453,0.00527991,-0.00674378,0.03742466,-0.04293481,-0.02190521,0.05099948,0.02170435,-0.0104924,0.00643588,-0.00544869,0.04378416,0.00554015,0.09547088,0.04065576,-0.04224884,-0.02663669,0.05310873,0.0155903,-0.00680955,-0.09201697,0.05586169,0.00668271,-0.04788799,-0.01216409,-0.01337374,-0.05992963,0.01787941,0.02414248,0.00852063,-0.04524852,-0.04182209,-0.05558977,-0.02331708,-0.00496024,-0.05388159,0.0420231,0.04029316,0.00615293,0.09462901,0.03698707,-0.00573087,-0.01648615,-0.01069186,-0.0044095,0.00067488,0.00443728,0.02871796,0.00688357,-0.01325502,-0.07000337,-0.02261164,-0.00198688,0.00657673,0.02590713,-0.02346882,0.04414793,0.02154407,0.13056327,0.01404751,0.02581849,0.05425116,0.04252414,0.00239445,-0.07828871,-0.00649525,0.00191337,0.03884473,0.00221441,0.08441276,0.05136834,-0.02402326,0.01343964,0.03699203,-0.05104097,0.01453794,-0.01439284,-0.06647873,-0.04076362,-0.01231101,-0.00049693,0.03414689,-0.00558376,-0.32309732,0.02445185,-0.04959038,0.01212261,0.02690751,0.01745267,-0.01630456,-0.01028822,-0.03634364,0.03676596,-0.05585236,0.07628901,0.03029556,-0.07217823,0.00531406,0.01599801,0.00830728,-0.01968461,0.0014262,-0.03920742,-0.02589469,0.02663815,0.19150409,-0.0307814,-0.01613029,-0.03290735,-0.01725429,0.04898672,0.08630656,-0.0094976,-0.01417624,-0.01815445,0.09612129,0.02920593,0.01019831,0.01867248,-0.04564152,0.0146718,-0.01742903,-0.04557006,-0.04653626,0.04610764,-0.01526024,0.01708659,0.09284908,0.0067427,-0.0560169,-0.06244278,-0.0162932,0.00111529,-0.02346022,-0.02284654,-0.03823626,0.03330237,0.02313568,0.06854727,0.04872558,0.018211,-0.02939068,-0.01488996,0.03104602,0.01256117,0.00864294,0.05355026,0.03351554],"last_embed":{"hash":"4h1m6g","tokens":490}}},"last_read":{"hash":"4h1m6g","at":1764384278080},"class_name":"SmartSource","last_import":{"mtime":1764384264933,"size":18405,"at":1764384277940,"hash":"4h1m6g"},"blocks":{"#---frontmatter---":[1,3],"#paper #research":[4,261],"#paper #research#{1}":[6,6],"#paper #research#概要":[7,16],"#paper #research#概要#{1}":[9,16],"#paper #research#背景とモチベーション":[17,41],"#paper #research#背景とモチベーション#{1}":[19,41],"#paper #research#mimium and lambda-mmm":[42,59],"#paper #research#mimium and lambda-mmm#{1}":[44,59],"#paper #research#多段階計算":[60,129],"#paper #research#多段階計算#{1}":[62,66],"#paper #research#多段階計算#シンタックス":[67,76],"#paper #research#多段階計算#シンタックス#{1}":[69,76],"#paper #research#多段階計算#シンタックスシュガー":[77,84],"#paper #research#多段階計算#シンタックスシュガー#{1}":[79,84],"#paper #research#多段階計算#多段階計算によるメタ操作の実例":[85,129],"#paper #research#多段階計算#多段階計算によるメタ操作の実例#{1}":[87,129],"#paper #research#コールツリーの解析":[130,142],"#paper #research#コールツリーの解析#{1}":[132,134],"#paper #research#コールツリーの解析#{2}":[135,142],"#paper #research#状態構造ツリー同士の比較":[143,179],"#paper #research#状態構造ツリー同士の比較#{1}":[145,165],"#paper #research#状態構造ツリー同士の比較#サンプルコード":[166,179],"#paper #research#状態構造ツリー同士の比較#サンプルコード#{1}":[168,179],"#paper #research#議論":[180,249],"#paper #research#議論#他の言語とのコンパイル時計算のパラダイム比較":[183,199],"#paper #research#議論#他の言語とのコンパイル時計算のパラダイム比較#{1}":[185,199],"#paper #research#議論#ライブ状態更新のエッジケース":[200,249],"#paper #research#議論#ライブ状態更新のエッジケース#{1}":[202,249],"#paper #research#将来的な展望":[250,261],"#paper #research#将来的な展望#{1}":[253,261]},"outlinks":[{"title":"mimium","target":"mimium","line":9}],"metadata":{"date":"2025-09-25 11:42","tags":["#paper","#research"]},"task_lines":[],"last_embed":{"hash":"4h1m6g","at":1764384277941},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md"},"smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05273372,-0.02165601,-0.00453774,-0.02639868,0.03617432,0.03989276,-0.05829507,0.06787937,0.05544473,0.01683824,0.00944929,-0.04131813,0.04975746,0.04249612,0.00601648,-0.02320141,0.01385048,-0.02836133,-0.05464938,0.00126234,0.14952935,-0.04835892,0.04019731,-0.01340508,0.06996696,0.0117926,-0.0297452,-0.02019214,-0.03379869,-0.17677037,-0.03401994,0.0228439,0.0715771,0.02711249,0.05887774,0.03011351,0.01046379,0.03525938,0.0295621,0.05564066,-0.04082784,-0.02339122,0.04068279,-0.00103308,0.04737559,-0.02614677,-0.00157283,-0.06309751,-0.02356657,-0.04742584,-0.11057398,-0.058929,-0.01682226,0.00575309,0.01807426,0.00444417,0.06594295,-0.02196869,0.01185055,0.05665044,0.02163569,0.04410809,-0.26352197,0.03506105,0.04915562,-0.02158723,-0.12519099,-0.01450077,0.02745209,0.01330571,-0.052622,0.03341446,0.02664769,0.01345502,0.05686922,0.01796383,-0.01904994,-0.05614163,-0.00128722,-0.05132373,-0.03643546,0.06242369,0.01691974,0.00529408,-0.0689187,-0.01149709,0.01202819,-0.04279082,0.02769339,0.00499729,-0.01699821,-0.00147062,0.00298516,0.04694655,-0.07711953,-0.04558005,0.01202092,0.03569763,0.01308077,0.1117646,-0.04099198,-0.0154309,0.04491256,-0.04675697,0.0004975,-0.04681257,-0.04212457,-0.06032064,0.0178198,0.02326653,-0.03485757,-0.00198967,-0.00033519,-0.0411185,0.00975619,-0.0291481,0.04768338,-0.02600139,-0.01554595,-0.01201524,-0.01026237,0.02614612,-0.01635645,-0.0050271,0.01031367,-0.03029258,0.02858784,0.03640481,0.02874865,-0.00960465,0.03335962,0.05339521,-0.03146278,-0.00914825,-0.01769922,0.01392257,-0.02862723,-0.00494172,-0.00132436,-0.01241775,-0.01279086,-0.08739515,-0.01897447,-0.07299414,-0.09977113,0.13739218,-0.04388431,0.00098003,0.00499411,0.00260516,-0.01585288,0.07795175,-0.0337732,0.00105457,0.02974763,-0.04099207,0.05613377,0.12726225,-0.04103312,-0.00345144,-0.03060739,-0.06724332,-0.02387329,0.1415344,-0.00245521,-0.01046119,-0.02988375,0.06105381,-0.01171024,-0.06962652,0.01573937,-0.01000025,0.02341633,-0.01759198,0.03887944,0.09099069,0.07573443,0.00162727,-0.03059998,0.03894705,-0.0030623,-0.01690728,-0.05143594,0.03093671,-0.00064813,-0.02933847,0.00917826,-0.0229399,0.03516247,-0.01225788,-0.08078456,0.0228637,0.00926891,0.0205736,-0.06991459,-0.04465081,-0.03632303,-0.04724399,-0.00946042,-0.10015751,0.09701489,0.07377952,-0.04475045,-0.02299151,0.05400223,0.01346228,0.04120827,-0.01541251,0.03040561,0.03414802,-0.05228374,-0.01411834,0.05155898,0.03396478,0.00530728,0.03248451,0.02520824,-0.00954745,0.06329566,0.12180442,0.04594618,-0.02809936,-0.10006942,-0.19962557,-0.01598895,0.03098581,-0.05683093,-0.0000465,0.01263551,0.0547585,-0.0603808,0.08615553,0.06843385,0.07536694,0.06692903,-0.07991468,0.0003995,0.01765823,-0.00846097,0.02707081,-0.04789522,-0.02160741,0.04461315,0.02742323,-0.00999254,0.00681879,0.01208393,0.05955888,0.00372383,0.10405361,0.02186527,-0.03097122,-0.01412382,0.03783211,0.01462672,-0.00540033,-0.08624139,0.05456514,0.01765933,-0.0471524,-0.00909721,-0.01380324,-0.0602528,0.01997694,0.02427671,0.00393269,-0.03737234,-0.03596887,-0.05195442,-0.02503901,-0.01042597,-0.05742437,0.03926107,0.03015535,0.01585319,0.07913065,0.02110583,-0.00877144,-0.00414619,-0.00314934,0.00682486,-0.01639394,-0.00267241,0.03152964,-0.00451902,0.02455704,-0.08030965,-0.00968697,0.01496994,0.00588523,0.03600232,-0.01684437,0.04778869,0.03239069,0.1372077,0.02485161,0.03440679,0.0479346,0.05266575,0.02213356,-0.08043625,-0.00641895,-0.00421287,0.03441288,0.01204307,0.0780843,0.02375744,-0.03983851,0.01736201,0.03657765,-0.06215028,0.00490783,-0.02292787,-0.07554965,-0.02601121,-0.00826848,0.01532827,0.03587163,-0.02053938,-0.31468356,0.0128571,-0.05930153,0.02359582,0.01682398,0.01905085,-0.00963935,0.00242366,-0.0220183,0.02016177,-0.05551607,0.06605476,0.03440106,-0.07199756,-0.01086349,0.02328001,0.00104997,-0.02239834,0.0174026,-0.03479669,-0.03004745,0.02026642,0.19897357,-0.05269459,-0.01805904,-0.05224149,0.00201831,0.05259074,0.06977126,-0.02002571,0.01201115,-0.02129832,0.08820001,0.02615365,0.02673756,0.02100565,-0.04591774,0.01788474,-0.00890971,-0.06537794,-0.03387093,0.04584585,-0.03275524,-0.00648606,0.0758143,0.01153338,-0.04503426,-0.06086413,-0.01673165,0.00381485,-0.02606864,-0.02225038,-0.05625043,0.0249627,0.04605991,0.05832724,0.03333898,0.00609461,-0.02407321,-0.00503202,0.03442422,0.01522323,0.02490835,0.07467421,0.03385117],"last_embed":{"hash":"1hs2l38","tokens":506}}},"text":null,"length":0,"last_read":{"hash":"1hs2l38","at":1764384277992},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research","lines":[4,261],"size":8122,"outlinks":[{"title":"mimium","target":"mimium","line":6}],"class_name":"SmartBlock","last_embed":{"hash":"1hs2l38","at":1764384277992}}, "smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#mimium and lambda-mmm": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05440178,-0.00671478,-0.01002396,-0.02865946,0.05392362,0.02859948,-0.08803374,0.04605081,0.04415525,0.02059337,0.02827359,-0.11906242,0.07025527,-0.00029528,0.0518587,0.01070955,0.01982234,0.01045818,-0.07763758,-0.04863439,0.1035933,-0.03500324,0.04150868,-0.06644732,0.07694151,0.00859159,-0.02420224,0.00086095,-0.00873476,-0.1886737,-0.01046854,-0.03934969,0.06094317,0.00740855,0.00221791,0.000907,0.00884847,0.01386486,-0.03334834,0.03221743,-0.0104774,0.00070127,0.00244622,-0.00938378,-0.00719522,-0.01125031,0.02126784,-0.06796609,-0.00976847,-0.030119,-0.10284418,-0.04158811,-0.00358717,-0.0089217,0.02010537,0.03375613,0.05993706,-0.01651239,0.01304952,0.06242289,-0.00027782,0.00915229,-0.21199527,0.01201591,0.08491693,0.00825195,-0.08130134,-0.03787591,0.05471925,0.00445392,-0.0403222,0.00130111,-0.0037257,0.04557282,0.07934028,0.0298909,-0.03994773,-0.05615114,-0.00668867,-0.03260382,-0.05233011,0.04213007,0.03174836,-0.0093467,-0.01892045,0.00834607,0.05196224,-0.01641323,0.05149352,-0.00091852,-0.04295072,-0.02106263,0.02310854,0.07045054,-0.07508966,0.01353558,0.00143387,0.00800195,0.02768407,0.11071151,-0.03156416,0.01830795,-0.02558169,-0.07944793,0.04970926,0.00322107,-0.03967045,-0.04233482,0.0219235,0.0009512,0.03425663,-0.01398,-0.00670105,-0.02633243,0.00280773,-0.03331662,0.04899649,-0.0135648,-0.02298335,-0.01167879,0.01387837,0.01584739,0.03912248,-0.00084556,0.03381316,0.01804551,0.02009844,0.03619972,0.00585061,-0.01648356,0.01913537,0.04028659,-0.0369564,-0.02493094,-0.01231657,0.0096049,-0.04093704,-0.0319967,0.05380798,0.00715039,-0.01745843,-0.13484484,-0.01627087,-0.0811936,-0.10138232,0.10790227,-0.01309707,-0.02504407,0.03921466,0.00264763,-0.0015873,0.08351602,-0.04694173,-0.00360483,0.03710327,-0.06863505,0.0145693,0.17136653,-0.01545164,-0.02494757,-0.03440242,-0.07286297,-0.0572044,0.16684087,-0.00467941,-0.01859338,0.00078582,0.08532728,-0.00709839,-0.03052478,0.01665378,0.03131006,0.00442844,-0.01178679,0.04942636,0.02422897,0.00798516,-0.0092007,-0.03234529,0.04085525,-0.00615791,-0.01470167,-0.03401471,0.04715027,-0.00255734,-0.05891915,0.01085693,-0.01371245,0.03566295,-0.0155283,-0.06937867,0.03997017,0.00730188,0.03309422,-0.06103802,-0.03455627,0.00044698,-0.00720701,-0.0022121,-0.05129251,0.09988137,0.09121676,-0.05387374,-0.03690866,0.03174929,-0.00389321,0.00114121,-0.02174211,0.03273834,0.04599617,-0.04775682,-0.02209301,0.01556226,0.04650365,0.00363403,0.00898246,0.02641266,0.00127461,0.04611845,0.0941442,0.05070799,-0.02683021,-0.15874116,-0.22826113,0.01331553,0.01048392,-0.07489423,-0.02132263,-0.03102761,0.05421478,-0.06692176,0.08771335,0.00943791,0.07569842,0.06401128,-0.03400512,-0.05822777,-0.02343265,-0.00361633,0.03266352,-0.01926381,-0.02642667,0.06485146,0.01571645,-0.01289724,0.03184905,0.00660196,0.05385002,-0.03387658,0.12789147,0.04586397,-0.00640605,-0.01816393,0.02324538,-0.00604666,0.0180548,-0.09552744,0.02073202,0.02425187,-0.03817558,-0.0144545,-0.02502036,-0.01728108,0.02118523,0.02148977,-0.0252453,-0.07407125,0.01064948,-0.03716573,-0.02021626,-0.00252813,-0.02765654,0.01446248,0.02010536,0.02579701,0.05659058,0.00759823,-0.0129502,0.00499326,-0.03898663,-0.02178731,-0.00881807,0.00292686,0.03068644,0.00782667,0.02667753,-0.04834171,0.00961932,0.00805162,-0.02869539,0.02543183,0.00333224,0.01223867,0.01634861,0.13182481,0.02566509,0.01336069,0.01859978,0.04090822,-0.04266464,-0.08168115,-0.02367003,0.00693147,0.00922792,-0.01102372,0.0600237,0.03075206,0.01692945,0.05200796,0.00504089,-0.04908283,0.01214163,0.0040579,-0.06573867,-0.03032666,-0.00710619,-0.028401,0.02111985,0.01322734,-0.32075149,0.01594842,-0.0257449,0.01647081,0.01023158,0.01312737,0.00665618,-0.07099484,-0.02867538,0.029882,0.00038165,0.09743459,0.07102541,-0.04006482,0.0267919,0.01670826,0.02545915,0.01174418,0.00986192,-0.04973405,-0.0227082,0.04164733,0.21277981,-0.004034,0.01924933,-0.01636145,0.00837249,0.03828043,0.08479803,0.02543836,0.00195329,0.00357508,0.1170199,0.0442566,0.00397142,0.00198652,-0.0379323,0.00037668,0.00713461,-0.03718403,-0.0593292,0.01950129,-0.04303136,0.00979786,0.0844043,-0.00905541,-0.02625015,-0.08221978,-0.03457146,0.03968896,-0.02858436,0.01075407,-0.0589734,0.01458215,0.00093956,0.03529185,0.02714332,0.01872806,-0.05326661,-0.00094783,0.041044,0.04058253,-0.00941734,0.04523893,0.04507415],"last_embed":{"hash":"1en1rmz","tokens":419}}},"text":null,"length":0,"last_read":{"hash":"1en1rmz","at":1764384278043},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#mimium and lambda-mmm","lines":[42,59],"size":1083,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"1en1rmz","at":1764384278043}}, "smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#mimium and lambda-mmm#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05605056,-0.01404573,-0.01049904,-0.03541065,0.05173294,0.02319649,-0.09372571,0.04148747,0.04778454,0.02248985,0.02582664,-0.11988065,0.07307868,-0.00632039,0.05526242,0.01163564,0.02151901,0.0147744,-0.07956644,-0.05007254,0.10136466,-0.03324701,0.03119206,-0.06382356,0.0843244,0.01005335,-0.01849662,0.00479024,-0.0073755,-0.18919118,-0.00726406,-0.04162487,0.06038035,0.00182094,-0.00047421,-0.00588192,0.00239243,0.01199497,-0.04243956,0.02947734,-0.00926399,0.00461367,0.00043763,-0.01320795,-0.00766903,-0.01075194,0.02733925,-0.0653021,-0.00217,-0.02527686,-0.09840274,-0.03381902,-0.00749081,-0.01035963,0.02292681,0.03389892,0.05382998,-0.01120914,0.01615302,0.06218759,-0.00265532,0.00575409,-0.19646727,0.01397717,0.08258132,0.0044878,-0.07621367,-0.03708151,0.05713384,0.00777997,-0.03727322,-0.00034945,-0.00733326,0.04228764,0.07169794,0.03040931,-0.03271328,-0.05411107,-0.00947308,-0.02422962,-0.06085479,0.03959586,0.03145477,-0.01434254,-0.01604265,0.01938678,0.05252537,-0.01702392,0.0540702,-0.00247104,-0.04694085,-0.02468449,0.02509841,0.07178396,-0.07476261,0.01028065,0.00614679,0.00460312,0.02366409,0.11012863,-0.02926095,0.01969755,-0.03119488,-0.08367255,0.06019321,0.01215838,-0.03744251,-0.0396948,0.02250826,-0.00195901,0.03412656,-0.01330174,-0.01028974,-0.03163779,0.00408195,-0.03584982,0.04876338,-0.01651352,-0.02424858,-0.01435217,0.01568952,0.01547689,0.04503542,-0.00308063,0.03220749,0.01867612,0.01959424,0.03819793,0.00121114,-0.01323751,0.01684241,0.03601643,-0.03315677,-0.03071516,-0.00891448,0.01149204,-0.03914385,-0.03820467,0.06375049,0.00909692,-0.02310948,-0.1424631,-0.02127101,-0.07630529,-0.09701835,0.10014424,-0.0172348,-0.0295543,0.03695255,0.00771525,0.00351688,0.08399748,-0.04931401,0.00123133,0.04328855,-0.07485519,0.01565049,0.17648484,-0.01789371,-0.02705719,-0.03088154,-0.07991596,-0.06001914,0.16755635,-0.00816134,-0.02301686,0.00044095,0.07771412,-0.01202319,-0.0317084,0.01437003,0.03592634,0.00260741,-0.00882594,0.05092709,0.02490564,0.00362225,-0.01044654,-0.03690407,0.03804018,-0.01145159,-0.01362933,-0.03051426,0.04819864,0.00424671,-0.05894364,0.01187661,-0.01755965,0.03161885,-0.02446663,-0.06720515,0.04491957,0.00524208,0.03382574,-0.06404974,-0.03455973,-0.0041096,-0.00564563,0.00411474,-0.05282725,0.10056065,0.09193467,-0.04931342,-0.04127784,0.03222505,-0.00678252,-0.0051821,-0.02357467,0.02814079,0.04988858,-0.04932825,-0.0270749,0.01589132,0.04116008,0.00197772,0.00741855,0.02471479,0.00766744,0.04139219,0.08413409,0.05327534,-0.02281126,-0.16575147,-0.2275859,0.02136538,0.00890317,-0.07843795,-0.02643118,-0.03033834,0.05364982,-0.06936767,0.08297651,-0.00060246,0.07422799,0.06135052,-0.02888218,-0.06901704,-0.02760622,0.000652,0.03548935,-0.01169749,-0.0239138,0.06456207,0.01391326,-0.01154863,0.03078171,0.0115538,0.05630192,-0.03970461,0.12733321,0.04640978,-0.00393206,-0.01780891,0.0321882,-0.00573367,0.01978109,-0.09158854,0.02127722,0.02044076,-0.03447492,-0.01426042,-0.02016304,-0.00725454,0.01732842,0.02165126,-0.03039685,-0.07796183,0.02326929,-0.04095761,-0.01347661,-0.00217581,-0.03305934,0.01437363,0.02598508,0.02494144,0.05216546,0.00440789,-0.0125299,0.0067114,-0.037708,-0.02484256,-0.00766033,0.00053127,0.02824475,0.00633699,0.02728349,-0.04363217,0.00710674,0.00929854,-0.02590018,0.0220277,0.01061173,0.00456647,0.01261736,0.12331807,0.02396628,0.00957326,0.0202594,0.03809897,-0.05144633,-0.06692839,-0.01866237,0.00903291,0.00560162,-0.00865196,0.05977133,0.02708912,0.02208393,0.05175631,0.00980782,-0.04042782,0.00703666,0.01070757,-0.06816422,-0.03070937,-0.00682152,-0.02095562,0.0165239,0.00624461,-0.31728289,0.01030192,-0.02353572,0.01940204,0.00342234,0.01622439,0.00343402,-0.07473026,-0.03343846,0.02450311,0.00423926,0.09858812,0.07224281,-0.0422007,0.0365404,0.01427584,0.02411827,0.0177608,0.01524952,-0.04555134,-0.02393289,0.03999573,0.21538402,0.0028187,0.01839305,-0.00750895,0.00785344,0.04023951,0.08933024,0.03301612,0.00289872,0.01121919,0.13255994,0.04828013,0.00568928,-0.00455957,-0.03811258,0.00433079,0.01503177,-0.03774484,-0.05747939,0.02219891,-0.0472241,0.00980504,0.0764783,-0.01052007,-0.01966777,-0.08117785,-0.03538431,0.04065439,-0.02830886,0.01272458,-0.05051747,0.01811823,-0.00139866,0.03771883,0.02016056,0.0123662,-0.05507052,0.000881,0.04453652,0.04111216,-0.00702626,0.0378131,0.04441938],"last_embed":{"hash":"327fcp","tokens":420}}},"text":null,"length":0,"last_read":{"hash":"327fcp","at":1764384278080},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#mimium and lambda-mmm#{1}","lines":[44,59],"size":1057,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"327fcp","at":1764384278080}}, + +"smart_sources:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md": {"path":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md","embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.04797284,-0.01514376,0.00822691,-0.02796871,0.03500942,0.03137705,-0.07464059,0.05364701,0.04419397,0.01997418,0.01282551,-0.06342179,0.05363715,0.06059757,0.01135918,-0.01892523,0.01345181,-0.05073776,-0.05255586,-0.01493794,0.15628858,-0.03909787,0.03429231,-0.02516746,0.07518069,0.01852393,-0.0208436,-0.01776788,-0.03504331,-0.165022,-0.03791561,0.01389311,0.07210074,0.01558047,0.04756897,0.00612828,0.01218148,0.04726719,0.00247854,0.05504459,-0.03592486,-0.01150354,0.02695288,-0.003369,0.04048013,-0.01939424,-0.00863987,-0.06277598,-0.03070859,-0.04585119,-0.1042105,-0.05971695,-0.01243348,0.00907515,0.02793896,0.00781022,0.05900117,-0.01834834,0.0100961,0.05862171,0.02634553,0.02833506,-0.27017796,0.03080764,0.0418456,-0.02899948,-0.09187603,-0.01792888,0.04296144,0.00836143,-0.04737895,0.01113774,0.00875785,0.01959995,0.05457063,0.01914436,-0.02436715,-0.0654351,-0.0038321,-0.05271698,-0.02785841,0.0568824,0.01023884,-0.01195943,-0.03782531,-0.0088461,0.01901948,-0.03619424,0.01554132,0.0196151,-0.03082502,-0.01120769,0.0070196,0.04236389,-0.07534435,-0.02063013,0.00707797,0.02640191,-0.00325287,0.10385492,-0.05059646,0.01888697,0.0149401,-0.0534806,0.00585066,-0.03698408,-0.0378527,-0.06154487,0.01944866,0.00754821,-0.02783296,0.00132159,0.02813685,-0.04777101,0.00615287,-0.0091171,0.08358477,-0.01303933,-0.00912565,-0.00062982,0.02533669,0.00869524,0.00235899,-0.01515085,0.01157526,-0.00369871,0.0265813,0.03401062,0.01704326,-0.01479598,0.05463137,0.05954887,-0.05432053,-0.00778247,-0.00513159,0.01658789,-0.02657091,-0.02217783,0.00104743,-0.01607437,-0.03394846,-0.12616856,-0.02360024,-0.07769147,-0.09931658,0.14031333,-0.05424405,0.00347841,0.01906625,-0.00868054,-0.02789463,0.07654026,-0.01550362,-0.02221878,0.03304212,-0.0464986,0.05890322,0.1275031,-0.04809604,0.00153265,-0.03374957,-0.07627244,-0.03038905,0.12601237,0.0178045,-0.02805271,-0.02053697,0.06099268,0.01845413,-0.07104353,0.01435329,-0.00357044,0.01902367,-0.01606053,0.06698866,0.0968571,0.09614444,0.00938437,-0.03787158,0.03990397,-0.00618516,-0.02726692,-0.04004028,0.04161443,-0.01560111,-0.03533424,0.01509051,-0.02265481,0.03780136,-0.00599606,-0.0736769,0.01729315,0.006515,0.03048175,-0.05211283,-0.05726473,-0.03451885,-0.02240416,-0.00212964,-0.09054831,0.09855695,0.04946164,-0.0412306,-0.03288511,0.05873515,-0.00146653,0.03854771,-0.0252528,0.02998902,0.03674361,-0.0369213,-0.00972096,0.05987938,0.04448581,0.00336064,0.02912437,0.01810445,-0.00117169,0.04776398,0.10216578,0.02792827,-0.00718199,-0.08797565,-0.2016224,-0.00141556,0.03864836,-0.05786346,-0.01278544,0.01547043,0.05165989,-0.07658099,0.10380264,0.07558663,0.07777319,0.07032349,-0.05988979,-0.00736453,0.00527991,-0.00674378,0.03742466,-0.04293481,-0.02190521,0.05099948,0.02170435,-0.0104924,0.00643588,-0.00544869,0.04378416,0.00554015,0.09547088,0.04065576,-0.04224884,-0.02663669,0.05310873,0.0155903,-0.00680955,-0.09201697,0.05586169,0.00668271,-0.04788799,-0.01216409,-0.01337374,-0.05992963,0.01787941,0.02414248,0.00852063,-0.04524852,-0.04182209,-0.05558977,-0.02331708,-0.00496024,-0.05388159,0.0420231,0.04029316,0.00615293,0.09462901,0.03698707,-0.00573087,-0.01648615,-0.01069186,-0.0044095,0.00067488,0.00443728,0.02871796,0.00688357,-0.01325502,-0.07000337,-0.02261164,-0.00198688,0.00657673,0.02590713,-0.02346882,0.04414793,0.02154407,0.13056327,0.01404751,0.02581849,0.05425116,0.04252414,0.00239445,-0.07828871,-0.00649525,0.00191337,0.03884473,0.00221441,0.08441276,0.05136834,-0.02402326,0.01343964,0.03699203,-0.05104097,0.01453794,-0.01439284,-0.06647873,-0.04076362,-0.01231101,-0.00049693,0.03414689,-0.00558376,-0.32309732,0.02445185,-0.04959038,0.01212261,0.02690751,0.01745267,-0.01630456,-0.01028822,-0.03634364,0.03676596,-0.05585236,0.07628901,0.03029556,-0.07217823,0.00531406,0.01599801,0.00830728,-0.01968461,0.0014262,-0.03920742,-0.02589469,0.02663815,0.19150409,-0.0307814,-0.01613029,-0.03290735,-0.01725429,0.04898672,0.08630656,-0.0094976,-0.01417624,-0.01815445,0.09612129,0.02920593,0.01019831,0.01867248,-0.04564152,0.0146718,-0.01742903,-0.04557006,-0.04653626,0.04610764,-0.01526024,0.01708659,0.09284908,0.0067427,-0.0560169,-0.06244278,-0.0162932,0.00111529,-0.02346022,-0.02284654,-0.03823626,0.03330237,0.02313568,0.06854727,0.04872558,0.018211,-0.02939068,-0.01488996,0.03104602,0.01256117,0.00864294,0.05355026,0.03351554],"last_embed":{"hash":"ed447e","tokens":490}}},"last_read":{"hash":"ed447e","at":1764390906728},"class_name":"SmartSource","last_import":{"mtime":1764390895600,"size":18784,"at":1764390906600,"hash":"ed447e"},"blocks":{"#---frontmatter---":[1,3],"#paper #research":[4,259],"#paper #research#{1}":[6,6],"#paper #research#概要":[7,16],"#paper #research#概要#{1}":[9,16],"#paper #research#背景とモチベーション":[17,41],"#paper #research#背景とモチベーション#{1}":[19,41],"#paper #research#mimium and lambda-mmm":[42,59],"#paper #research#mimium and lambda-mmm#{1}":[44,59],"#paper #research#多段階計算":[60,127],"#paper #research#多段階計算#{1}":[62,64],"#paper #research#多段階計算#シンタックス":[65,74],"#paper #research#多段階計算#シンタックス#{1}":[67,74],"#paper #research#多段階計算#シンタックスシュガー":[75,82],"#paper #research#多段階計算#シンタックスシュガー#{1}":[77,82],"#paper #research#多段階計算#多段階計算によるメタ操作の実例":[83,127],"#paper #research#多段階計算#多段階計算によるメタ操作の実例#{1}":[85,127],"#paper #research#コールツリーの解析":[128,140],"#paper #research#コールツリーの解析#{1}":[130,132],"#paper #research#コールツリーの解析#{2}":[133,140],"#paper #research#状態構造ツリー同士の比較":[141,177],"#paper #research#状態構造ツリー同士の比較#{1}":[143,163],"#paper #research#状態構造ツリー同士の比較#サンプルコード":[164,177],"#paper #research#状態構造ツリー同士の比較#サンプルコード#{1}":[166,177],"#paper #research#議論":[178,247],"#paper #research#議論#他の言語とのコンパイル時計算のパラダイム比較":[181,197],"#paper #research#議論#他の言語とのコンパイル時計算のパラダイム比較#{1}":[183,197],"#paper #research#議論#ライブ状態更新のエッジケース":[198,247],"#paper #research#議論#ライブ状態更新のエッジケース#{1}":[200,247],"#paper #research#将来的な展望":[248,259],"#paper #research#将来的な展望#{1}":[251,259]},"outlinks":[{"title":"mimium","target":"mimium","line":9}],"metadata":{"date":"2025-09-25 11:42","tags":["#paper","#research"]},"task_lines":[],"last_embed":{"hash":"ed447e","at":1764390906603},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md"},"smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05308204,-0.02138919,-0.00437967,-0.02619966,0.03615321,0.03981811,-0.05840481,0.06778048,0.05570724,0.01690661,0.00976039,-0.04134789,0.0497428,0.04249992,0.00600175,-0.02349108,0.01321653,-0.02846229,-0.05468845,0.00169128,0.14994439,-0.04866773,0.03987444,-0.01354485,0.06955802,0.01229854,-0.02979837,-0.02053421,-0.03370921,-0.17672585,-0.03403599,0.02253302,0.07167883,0.02701902,0.05929814,0.02988437,0.01064813,0.03521395,0.02957221,0.05544588,-0.0406218,-0.02354413,0.04087417,-0.00129137,0.04750227,-0.02616785,-0.0016379,-0.06314857,-0.02325474,-0.04709224,-0.11047579,-0.0588865,-0.01675984,0.00617208,0.01814706,0.00414112,0.06583983,-0.02244556,0.01175704,0.05657806,0.02096783,0.04420395,-0.26397225,0.03495819,0.04919017,-0.02164876,-0.12586592,-0.01392305,0.02767582,0.01314304,-0.052488,0.0337002,0.02679299,0.01356336,0.05696335,0.01804047,-0.01912323,-0.05614001,-0.00131131,-0.05139995,-0.03668588,0.06245734,0.01690433,0.00522281,-0.06918578,-0.0113768,0.01211287,-0.04264325,0.02733373,0.00551232,-0.01731631,-0.0012296,0.00279214,0.04724977,-0.07679161,-0.04560816,0.01207974,0.03588146,0.01322791,0.11209043,-0.04090538,-0.01557995,0.04475839,-0.04650903,0.00001306,-0.04688694,-0.04185332,-0.06014398,0.01749903,0.02357281,-0.03505942,-0.00200935,-0.00062109,-0.0411518,0.01006902,-0.02928,0.04775517,-0.02625312,-0.01558926,-0.01158698,-0.01018169,0.02646307,-0.01675614,-0.00481401,0.01031324,-0.0302578,0.02853843,0.03633075,0.02860457,-0.01010954,0.03340569,0.05297885,-0.03149252,-0.00915201,-0.01790193,0.01406071,-0.02853438,-0.00501003,-0.00089577,-0.01234203,-0.01249576,-0.08717472,-0.01908664,-0.07324255,-0.09933276,0.13736959,-0.04354341,0.00122772,0.00485594,0.00282728,-0.01604679,0.07786736,-0.03351445,0.00104826,0.02970166,-0.04143598,0.05616305,0.12728287,-0.04047729,-0.00361254,-0.03111786,-0.06681016,-0.02400213,0.14189748,-0.00192736,-0.01016037,-0.03004312,0.06107567,-0.01201889,-0.06981041,0.01559421,-0.01006671,0.02362625,-0.01757102,0.03882075,0.09075309,0.07576711,0.00133647,-0.03056328,0.03867658,-0.00301767,-0.01667743,-0.05160293,0.0309261,-0.0000349,-0.02949754,0.00910478,-0.02275408,0.03487124,-0.01187139,-0.08079342,0.02295768,0.0092772,0.02078374,-0.06996609,-0.04476522,-0.03653149,-0.04714885,-0.00949103,-0.10015152,0.09727366,0.07397154,-0.04452169,-0.02264082,0.0535036,0.01343402,0.04097474,-0.01507881,0.030475,0.03403138,-0.05257585,-0.0137477,0.05136736,0.03377632,0.00530478,0.03269537,0.02535103,-0.00975627,0.06331661,0.12182951,0.04606133,-0.02828055,-0.09969392,-0.19913286,-0.01636249,0.03097582,-0.05660974,0.0000126,0.01232122,0.05490232,-0.06026942,0.08605243,0.06853266,0.07511716,0.06655137,-0.08025011,0.00035447,0.01751039,-0.00860235,0.02677863,-0.04805223,-0.02159243,0.04442795,0.02759003,-0.01009605,0.00680374,0.01211937,0.05949413,0.00350848,0.10418895,0.02180018,-0.03075611,-0.01426239,0.03784265,0.01450223,-0.00565001,-0.0865422,0.05423686,0.01781956,-0.04731909,-0.00899935,-0.01360855,-0.06045732,0.01990941,0.02420941,0.00393234,-0.0373161,-0.03601072,-0.05184573,-0.02482676,-0.0105454,-0.05741068,0.03922894,0.02948195,0.01552677,0.07894153,0.02075038,-0.00887256,-0.00404525,-0.00336681,0.00713376,-0.01651995,-0.00249513,0.03153067,-0.00459218,0.02424297,-0.08009505,-0.00973907,0.01546361,0.00581069,0.0361558,-0.01684192,0.0480005,0.03341311,0.13674761,0.02498351,0.03451042,0.04756729,0.0528944,0.02216951,-0.08040408,-0.00615056,-0.00434943,0.03473772,0.01201846,0.07808211,0.023259,-0.03983062,0.017187,0.03695093,-0.06266608,0.00473544,-0.02298073,-0.07585337,-0.02580069,-0.00830453,0.01572202,0.03577675,-0.02100121,-0.31464767,0.01245105,-0.05931846,0.02377241,0.01658174,0.01935146,-0.00940638,0.00272447,-0.02192815,0.02042532,-0.05549586,0.06608821,0.03431296,-0.07219421,-0.01096205,0.02340548,0.0009046,-0.02246281,0.01772082,-0.0342594,-0.02998085,0.02060376,0.19861153,-0.05226149,-0.01787988,-0.05234346,0.00234454,0.05238266,0.06970153,-0.02013779,0.01203502,-0.02159661,0.08770607,0.02601783,0.02706972,0.02131653,-0.04588569,0.0179028,-0.00910753,-0.06582255,-0.0337447,0.04597554,-0.03261035,-0.00681673,0.07545063,0.01162585,-0.04490308,-0.06104623,-0.01663556,0.00361534,-0.02618174,-0.02225429,-0.05644951,0.02490525,0.04613857,0.05850394,0.03367634,0.0060946,-0.023693,-0.00482512,0.03467818,0.01535188,0.02503649,0.0745393,0.03382127],"last_embed":{"hash":"10zarcf","tokens":505}}},"text":null,"length":0,"last_read":{"hash":"10zarcf","at":1764390906646},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research","lines":[4,259],"size":8251,"outlinks":[{"title":"mimium","target":"mimium","line":6}],"class_name":"SmartBlock","last_embed":{"hash":"10zarcf","at":1764390906646}}, +"smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.0560701,-0.06838406,-0.03700439,-0.03179812,0.00544706,0.02128633,-0.0639842,0.01614435,0.04274347,0.01606705,0.01672543,-0.09752344,0.06025046,-0.00178882,0.05224448,-0.02636388,0.01359755,0.01765545,-0.0941575,-0.02101529,0.13964607,-0.03153549,0.03467201,-0.05438582,0.08950409,0.02853452,0.00403299,-0.0495537,-0.00211559,-0.20022652,0.00042813,-0.02733273,0.07829778,-0.00246313,-0.01682143,0.01617089,-0.01871652,0.03959196,-0.03441571,0.02519954,0.00202674,-0.01454943,-0.00720316,-0.00104297,-0.02632318,-0.02306234,-0.02991762,-0.04040472,0.00103366,-0.01666348,-0.085303,-0.04128742,-0.00047717,0.00561311,0.03178172,0.02631103,0.02763995,0.0512315,-0.01882812,0.0406606,-0.01370103,0.02220989,-0.2273051,0.01369467,0.04029714,0.0288247,-0.07769169,-0.05791084,0.04031689,0.01472047,-0.06087402,0.01363457,-0.00014035,0.06373763,0.03841265,0.02960391,-0.01844678,-0.06530672,-0.00683537,0.01197393,-0.02020508,0.04615517,0.01319376,-0.00931374,-0.01936802,-0.006194,0.05008861,-0.02177039,0.02595935,-0.0049311,-0.03501337,-0.01944523,0.00402815,0.06746782,-0.04278192,-0.03076046,-0.00434351,0.00951147,0.0245611,0.09637316,-0.01012824,0.00859705,-0.00085789,-0.01923067,0.00646757,-0.01397557,-0.01554579,-0.04123032,0.03164868,-0.01272249,-0.00580879,0.01789698,0.04664829,-0.05025525,-0.04411363,0.00670939,0.03592032,-0.03704036,0.01490309,-0.01763417,0.04767211,0.04873592,0.02975626,-0.01699491,0.02845125,-0.00602635,0.05302865,0.06037409,0.05959731,0.03216408,0.02412884,0.06845604,-0.06361124,-0.02181601,-0.00290746,-0.00644719,-0.02760397,-0.00135341,0.02960986,0.01729987,-0.02505352,-0.09876124,-0.02138666,-0.06499125,-0.05288751,0.15692495,-0.05911827,-0.01660271,-0.02609872,0.01175361,-0.00897494,0.09494089,-0.01279245,-0.01265725,0.03149148,-0.06797439,0.02426067,0.146924,-0.06122487,0.01964962,-0.01009258,-0.0293738,-0.0542898,0.14237869,-0.00415534,-0.06989255,0.03462949,0.01373438,-0.0260066,-0.05358887,0.02817419,0.01375182,-0.03117139,-0.02186794,0.03807437,0.03831891,0.01215753,0.00138195,-0.03162719,0.04956735,0.00540611,-0.03615009,-0.04348033,0.02013326,-0.00309695,-0.07826725,-0.0058168,-0.00651971,0.01046829,0.01004945,-0.12240338,0.03808003,0.01832508,0.01052677,-0.0474745,-0.05706318,-0.00409397,0.01896173,0.02000593,-0.02297456,0.09606738,0.09844435,-0.03563649,-0.02813479,0.02607423,0.01105114,0.03244995,-0.01763463,0.02508572,0.03253075,-0.0598377,-0.00240676,0.00901936,0.05460478,0.01476046,0.01158647,0.02655923,-0.0223926,0.04267898,0.08242064,0.01846221,-0.04271599,-0.12691152,-0.22375664,0.0122282,0.03420019,-0.05450241,0.02621521,-0.03543791,-0.00645044,-0.03793249,0.06353749,0.04326063,0.09561527,0.02833144,-0.0316012,-0.01682461,-0.04289357,-0.03867304,0.01865375,-0.02320089,-0.02738264,0.05493369,0.02136604,0.01374747,0.01729907,0.01451734,0.03489816,-0.04954716,0.12219698,0.03582775,0.00327389,0.0028566,0.0183345,0.00166636,-0.01081828,-0.07309076,0.06645665,0.00956083,-0.04632569,-0.06622968,-0.00580963,-0.02778713,0.01957061,0.03407511,-0.02272249,-0.09561268,-0.0171403,-0.04860198,0.00422826,0.02612606,0.00106438,0.06844299,0.01169842,0.00471464,0.05043479,0.05639498,0.00446539,0.01270269,-0.05216845,0.01528141,0.00945519,-0.03921935,0.00090181,0.03469799,0.01741672,-0.01543649,0.0209414,-0.01883314,-0.01922439,0.01282081,-0.01373097,0.01240521,-0.00749776,0.12958226,0.0265506,0.02757338,0.03161883,0.05768615,-0.01306149,-0.07738466,-0.02560756,-0.00403959,0.08625226,0.03084716,0.02139515,0.04353761,0.00410491,0.0443619,0.01747405,-0.05404064,0.01953364,-0.03309399,-0.08329652,-0.03742334,0.02182123,-0.03992016,0.05702937,-0.00834768,-0.31605816,0.01809903,-0.03188714,0.00205126,-0.01812915,0.03033371,-0.00631934,-0.07261392,-0.04220448,0.00056292,-0.05131444,0.06703582,0.03755509,-0.03709548,0.05313193,-0.01502419,0.06124304,-0.00204752,0.04473065,-0.02798372,0.00087626,0.0493994,0.20346519,-0.03598364,0.01257858,0.00794211,0.02399746,0.07614481,0.08202568,0.02573333,-0.00926328,-0.02722131,0.12896688,0.03359258,0.00353977,0.02529041,-0.0510106,-0.03304927,0.00709004,-0.00990783,-0.03412818,0.01835469,-0.05060945,0.01726469,0.12379134,0.01004577,-0.01735303,-0.09463014,0.00330781,0.0275666,-0.04812299,-0.0153444,-0.05555798,0.02178217,-0.01180572,0.06217314,0.02050282,-0.00973261,-0.04329411,-0.00816517,-0.00704318,0.00842522,-0.00178214,0.04328202,0.03888312],"last_embed":{"hash":"16cr9xa","tokens":462}}},"text":null,"length":0,"last_read":{"hash":"16cr9xa","at":1764390906692},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算","lines":[60,127],"size":1634,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"16cr9xa","at":1764390906692}}, +"smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.03028837,-0.05433458,-0.04565692,-0.0153777,0.01984496,0.016456,-0.03579857,0.02509919,0.03888184,0.01620538,-0.00763139,-0.09051877,0.05852835,0.01976631,0.05555728,-0.02271515,0.00768362,0.02564263,-0.08164082,-0.01297278,0.15078038,-0.03389515,0.01505885,-0.03561868,0.09104556,0.02906373,-0.0118165,-0.05326705,-0.00677367,-0.17145957,-0.01393697,-0.02839792,0.08641294,-0.00832399,0.01901312,0.03861944,-0.01711497,0.04148343,-0.02749817,0.02222375,-0.01713283,-0.01480225,0.00190061,0.01445637,-0.038312,-0.00803031,-0.02514235,-0.04788844,-0.0062895,-0.02335017,-0.08859727,-0.01864267,0.00449939,0.011177,0.03128611,0.03166944,0.04871256,0.06171676,-0.01854304,0.03864498,-0.02063041,0.04957705,-0.22074381,0.02550354,0.03403403,0.04227405,-0.09065303,-0.04244958,0.03560854,0.00658745,-0.06101641,0.0181013,0.00379266,0.06051463,0.03281732,0.0435277,-0.03447703,-0.05723033,-0.01310783,-0.00988372,-0.02519096,0.05784763,0.02581988,0.00413582,-0.03049477,-0.01607648,0.05016243,-0.03101517,0.04046334,0.00834511,-0.01800089,-0.01209327,0.01431439,0.0619989,-0.05731073,-0.05223419,-0.01912341,0.02456885,0.00167459,0.08948743,-0.02259658,0.01487267,0.03119587,-0.01783146,0.00166722,-0.03212488,-0.00836799,-0.04573064,0.02021728,-0.0131436,-0.02325574,0.01296088,0.03302769,-0.04512065,-0.03704687,-0.00268258,0.04631722,-0.0489675,-0.00703367,-0.01167511,0.04902054,0.04530878,0.01134483,-0.02756671,0.03624288,-0.00858497,0.05386307,0.06866439,0.07143096,0.05193119,0.02181881,0.06535873,-0.06278396,-0.00524953,-0.00300459,-0.02588575,-0.02025151,0.00878099,0.00286002,0.00608072,-0.01542472,-0.0966227,-0.02433159,-0.05502274,-0.05229863,0.13142534,-0.07676272,-0.01190311,-0.01171803,0.01580432,-0.01397072,0.077952,-0.01428014,-0.01021944,0.03394081,-0.05067211,0.03737085,0.12462167,-0.06866281,0.03567959,-0.01197536,-0.04493928,-0.05271161,0.12322322,0.00610954,-0.06099549,0.02763005,0.00992102,-0.02126757,-0.06816678,0.02046831,-0.00178396,-0.04128196,-0.0208577,0.0401779,0.05389528,0.03621065,0.00013492,-0.03666507,0.04570134,0.0102381,-0.02555662,-0.0375485,0.03231576,-0.01198034,-0.07130659,0.00093122,-0.01537477,0.00593735,-0.00133646,-0.12652893,0.01888062,0.00469663,0.00127385,-0.05657597,-0.04313231,0.00943163,0.01091651,0.01271437,-0.01395178,0.09553532,0.07829417,-0.04135991,-0.03482116,0.02924246,0.00744236,0.05008701,-0.01502217,0.02992587,0.04165496,-0.06198804,-0.00098559,0.01125095,0.05261453,0.03025582,0.00931961,0.01644848,-0.02314667,0.03746368,0.08012753,0.01510331,-0.05187249,-0.11310589,-0.21950878,0.01535308,0.03763733,-0.04533694,0.02513286,-0.03640375,0.00239793,-0.02887661,0.06340028,0.05597582,0.09772491,0.04682538,-0.03565203,-0.01965222,-0.02414979,-0.01958754,0.01705058,-0.02315337,-0.03669983,0.05904071,0.02097054,0.00428428,0.00970646,0.02491224,0.03279677,-0.04665282,0.1239861,0.04156264,-0.01290697,-0.01973138,0.01517328,-0.00122067,-0.01601016,-0.07746955,0.08888894,0.00440293,-0.05394282,-0.06284907,-0.01599852,-0.04751549,0.01168315,0.04712509,-0.03229516,-0.08608569,-0.03419519,-0.05791864,0.00576544,0.00741952,0.00387986,0.08647612,0.0020757,0.00037572,0.07171854,0.06351158,0.01959193,-0.00089932,-0.0400992,0.01890883,0.01230379,0.00328501,0.00215366,0.03925711,0.00289566,-0.04912007,0.00752345,-0.01727211,-0.01527456,0.02273793,-0.02003569,0.0310473,-0.01138023,0.14043003,0.02248273,0.02826459,0.04364986,0.06736866,0.0006444,-0.076535,-0.00899418,-0.01746317,0.08312259,0.03344884,0.05264074,0.05597191,0.02059405,0.0527334,0.02927386,-0.05856175,0.02699302,-0.04576224,-0.10945369,-0.02765748,0.01725629,-0.02850268,0.06905112,-0.01924236,-0.32394409,0.0002068,-0.0383824,-0.01208487,-0.00157738,0.01617265,0.00554634,-0.05903848,-0.05488307,-0.00682807,-0.07264535,0.0576706,0.03596664,-0.05232931,0.02056249,-0.0087173,0.04796768,-0.01039213,0.06257953,-0.03430034,-0.02309087,0.02965102,0.20523149,-0.0483947,0.00152673,-0.00172239,0.00870072,0.07032057,0.05539601,0.01512729,-0.01977789,-0.02816142,0.12296781,0.04905887,-0.0022782,0.01907183,-0.0498601,-0.03353416,0.01602003,-0.02535067,-0.01540482,0.01066292,-0.03537164,0.02433988,0.12180959,-0.00500226,-0.03120659,-0.07966062,0.00438864,0.02938347,-0.04731199,-0.02730859,-0.04891701,0.00198671,-0.01230356,0.05451722,0.00441081,-0.00150103,-0.03294934,-0.01790814,-0.00273036,-0.02398846,0.01187161,0.06320617,0.04274913],"last_embed":{"hash":"10fy6km","tokens":401}}},"text":null,"length":0,"last_read":{"hash":"10fy6km","at":1764390906728},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算#{1}","lines":[62,64],"size":405,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"10fy6km","at":1764390906728}}, + +"smart_sources:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md": {"path":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md","embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.04797284,-0.01514376,0.00822691,-0.02796871,0.03500942,0.03137705,-0.07464059,0.05364701,0.04419397,0.01997418,0.01282551,-0.06342179,0.05363715,0.06059757,0.01135918,-0.01892523,0.01345181,-0.05073776,-0.05255586,-0.01493794,0.15628858,-0.03909787,0.03429231,-0.02516746,0.07518069,0.01852393,-0.0208436,-0.01776788,-0.03504331,-0.165022,-0.03791561,0.01389311,0.07210074,0.01558047,0.04756897,0.00612828,0.01218148,0.04726719,0.00247854,0.05504459,-0.03592486,-0.01150354,0.02695288,-0.003369,0.04048013,-0.01939424,-0.00863987,-0.06277598,-0.03070859,-0.04585119,-0.1042105,-0.05971695,-0.01243348,0.00907515,0.02793896,0.00781022,0.05900117,-0.01834834,0.0100961,0.05862171,0.02634553,0.02833506,-0.27017796,0.03080764,0.0418456,-0.02899948,-0.09187603,-0.01792888,0.04296144,0.00836143,-0.04737895,0.01113774,0.00875785,0.01959995,0.05457063,0.01914436,-0.02436715,-0.0654351,-0.0038321,-0.05271698,-0.02785841,0.0568824,0.01023884,-0.01195943,-0.03782531,-0.0088461,0.01901948,-0.03619424,0.01554132,0.0196151,-0.03082502,-0.01120769,0.0070196,0.04236389,-0.07534435,-0.02063013,0.00707797,0.02640191,-0.00325287,0.10385492,-0.05059646,0.01888697,0.0149401,-0.0534806,0.00585066,-0.03698408,-0.0378527,-0.06154487,0.01944866,0.00754821,-0.02783296,0.00132159,0.02813685,-0.04777101,0.00615287,-0.0091171,0.08358477,-0.01303933,-0.00912565,-0.00062982,0.02533669,0.00869524,0.00235899,-0.01515085,0.01157526,-0.00369871,0.0265813,0.03401062,0.01704326,-0.01479598,0.05463137,0.05954887,-0.05432053,-0.00778247,-0.00513159,0.01658789,-0.02657091,-0.02217783,0.00104743,-0.01607437,-0.03394846,-0.12616856,-0.02360024,-0.07769147,-0.09931658,0.14031333,-0.05424405,0.00347841,0.01906625,-0.00868054,-0.02789463,0.07654026,-0.01550362,-0.02221878,0.03304212,-0.0464986,0.05890322,0.1275031,-0.04809604,0.00153265,-0.03374957,-0.07627244,-0.03038905,0.12601237,0.0178045,-0.02805271,-0.02053697,0.06099268,0.01845413,-0.07104353,0.01435329,-0.00357044,0.01902367,-0.01606053,0.06698866,0.0968571,0.09614444,0.00938437,-0.03787158,0.03990397,-0.00618516,-0.02726692,-0.04004028,0.04161443,-0.01560111,-0.03533424,0.01509051,-0.02265481,0.03780136,-0.00599606,-0.0736769,0.01729315,0.006515,0.03048175,-0.05211283,-0.05726473,-0.03451885,-0.02240416,-0.00212964,-0.09054831,0.09855695,0.04946164,-0.0412306,-0.03288511,0.05873515,-0.00146653,0.03854771,-0.0252528,0.02998902,0.03674361,-0.0369213,-0.00972096,0.05987938,0.04448581,0.00336064,0.02912437,0.01810445,-0.00117169,0.04776398,0.10216578,0.02792827,-0.00718199,-0.08797565,-0.2016224,-0.00141556,0.03864836,-0.05786346,-0.01278544,0.01547043,0.05165989,-0.07658099,0.10380264,0.07558663,0.07777319,0.07032349,-0.05988979,-0.00736453,0.00527991,-0.00674378,0.03742466,-0.04293481,-0.02190521,0.05099948,0.02170435,-0.0104924,0.00643588,-0.00544869,0.04378416,0.00554015,0.09547088,0.04065576,-0.04224884,-0.02663669,0.05310873,0.0155903,-0.00680955,-0.09201697,0.05586169,0.00668271,-0.04788799,-0.01216409,-0.01337374,-0.05992963,0.01787941,0.02414248,0.00852063,-0.04524852,-0.04182209,-0.05558977,-0.02331708,-0.00496024,-0.05388159,0.0420231,0.04029316,0.00615293,0.09462901,0.03698707,-0.00573087,-0.01648615,-0.01069186,-0.0044095,0.00067488,0.00443728,0.02871796,0.00688357,-0.01325502,-0.07000337,-0.02261164,-0.00198688,0.00657673,0.02590713,-0.02346882,0.04414793,0.02154407,0.13056327,0.01404751,0.02581849,0.05425116,0.04252414,0.00239445,-0.07828871,-0.00649525,0.00191337,0.03884473,0.00221441,0.08441276,0.05136834,-0.02402326,0.01343964,0.03699203,-0.05104097,0.01453794,-0.01439284,-0.06647873,-0.04076362,-0.01231101,-0.00049693,0.03414689,-0.00558376,-0.32309732,0.02445185,-0.04959038,0.01212261,0.02690751,0.01745267,-0.01630456,-0.01028822,-0.03634364,0.03676596,-0.05585236,0.07628901,0.03029556,-0.07217823,0.00531406,0.01599801,0.00830728,-0.01968461,0.0014262,-0.03920742,-0.02589469,0.02663815,0.19150409,-0.0307814,-0.01613029,-0.03290735,-0.01725429,0.04898672,0.08630656,-0.0094976,-0.01417624,-0.01815445,0.09612129,0.02920593,0.01019831,0.01867248,-0.04564152,0.0146718,-0.01742903,-0.04557006,-0.04653626,0.04610764,-0.01526024,0.01708659,0.09284908,0.0067427,-0.0560169,-0.06244278,-0.0162932,0.00111529,-0.02346022,-0.02284654,-0.03823626,0.03330237,0.02313568,0.06854727,0.04872558,0.018211,-0.02939068,-0.01488996,0.03104602,0.01256117,0.00864294,0.05355026,0.03351554],"last_embed":{"hash":"1wj6xft","tokens":490}}},"last_read":{"hash":"1wj6xft","at":1764391098519},"class_name":"SmartSource","last_import":{"mtime":1764391085604,"size":19801,"at":1764391098352,"hash":"1wj6xft"},"blocks":{"#---frontmatter---":[1,3],"#paper #research":[4,291],"#paper #research#{1}":[6,6],"#paper #research#概要":[7,16],"#paper #research#概要#{1}":[9,16],"#paper #research#背景とモチベーション":[17,41],"#paper #research#背景とモチベーション#{1}":[19,41],"#paper #research#mimium and lambda-mmm":[42,59],"#paper #research#mimium and lambda-mmm#{1}":[44,59],"#paper #research#多段階計算":[60,159],"#paper #research#多段階計算#{1}":[62,64],"#paper #research#多段階計算#シンタックスの拡張":[65,95],"#paper #research#多段階計算#シンタックスの拡張#{1}":[67,95],"#paper #research#多段階計算#Value":[96,106],"#paper #research#多段階計算#Value#{1}":[98,106],"#paper #research#多段階計算#シンタックスシュガー":[107,114],"#paper #research#多段階計算#シンタックスシュガー#{1}":[109,114],"#paper #research#多段階計算#多段階計算によるメタ操作の実例":[115,159],"#paper #research#多段階計算#多段階計算によるメタ操作の実例#{1}":[117,159],"#paper #research#コールツリーの解析":[160,172],"#paper #research#コールツリーの解析#{1}":[162,164],"#paper #research#コールツリーの解析#{2}":[165,172],"#paper #research#状態構造ツリー同士の比較":[173,209],"#paper #research#状態構造ツリー同士の比較#{1}":[175,195],"#paper #research#状態構造ツリー同士の比較#サンプルコード":[196,209],"#paper #research#状態構造ツリー同士の比較#サンプルコード#{1}":[198,209],"#paper #research#議論":[210,279],"#paper #research#議論#他の言語とのコンパイル時計算のパラダイム比較":[213,229],"#paper #research#議論#他の言語とのコンパイル時計算のパラダイム比較#{1}":[215,229],"#paper #research#議論#ライブ状態更新のエッジケース":[230,279],"#paper #research#議論#ライブ状態更新のエッジケース#{1}":[232,279],"#paper #research#将来的な展望":[280,291],"#paper #research#将来的な展望#{1}":[283,291]},"outlinks":[{"title":"mimium","target":"mimium","line":9}],"metadata":{"date":"2025-09-25 11:42","tags":["#paper","#research"]},"task_lines":[],"last_embed":{"hash":"1wj6xft","at":1764391098353},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md"},"smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05318603,-0.01912287,-0.00439953,-0.02512978,0.03743922,0.03994994,-0.05715745,0.06773081,0.0544611,0.01677744,0.0095112,-0.04185531,0.04948675,0.04092842,0.00683188,-0.02314747,0.01407458,-0.02801254,-0.0565474,0.00214217,0.15114461,-0.04924415,0.03922349,-0.01367401,0.07010863,0.01454658,-0.03151467,-0.02101328,-0.03111612,-0.17797759,-0.0316783,0.02112858,0.07066872,0.02591229,0.05964985,0.02942432,0.01399849,0.03702963,0.03078667,0.05466243,-0.0381468,-0.02398215,0.03953903,-0.00052434,0.05216394,-0.02384005,-0.00320313,-0.0622858,-0.02201733,-0.04933487,-0.10919103,-0.06027559,-0.01141824,0.00386242,0.02010985,0.00274191,0.06624974,-0.02653024,0.01382302,0.05691342,0.01994397,0.04401735,-0.26825866,0.03566904,0.04901105,-0.02229711,-0.12530819,-0.01463325,0.0275338,0.012267,-0.05331616,0.03462047,0.02850711,0.01403787,0.05935349,0.01969318,-0.01906513,-0.05800019,-0.00063968,-0.04733317,-0.03525474,0.05900684,0.0158827,0.00351173,-0.06796139,-0.01130124,0.01003587,-0.03990444,0.03003175,0.00257314,-0.01423194,-0.00075783,0.00013739,0.04822996,-0.07358547,-0.04618351,0.01079487,0.03532552,0.01317208,0.11457621,-0.03814017,-0.01833584,0.0445388,-0.04633867,-0.00345908,-0.04733317,-0.04202586,-0.05852755,0.01740317,0.02486459,-0.03295868,-0.001032,-0.0040139,-0.03768231,0.01359172,-0.03138778,0.04682951,-0.02837956,-0.01664674,-0.00982919,-0.00968826,0.02647014,-0.01717256,-0.00439183,0.00925363,-0.03468685,0.02904155,0.03928893,0.02443485,-0.0113266,0.03855709,0.05001474,-0.02893838,-0.01201882,-0.01615903,0.01692344,-0.0270936,-0.00617969,-0.00147307,-0.00984514,-0.01206287,-0.09042281,-0.02186785,-0.07017214,-0.0967193,0.13627855,-0.04134782,0.00048365,0.00431131,0.00103756,-0.01513898,0.07647741,-0.03175435,0.00239804,0.02956278,-0.04188598,0.05957633,0.12813056,-0.0387518,-0.00588062,-0.03182588,-0.06691958,-0.02526682,0.14429435,-0.00190306,-0.00977942,-0.02987516,0.05974523,-0.01101681,-0.07132303,0.01340272,-0.00931294,0.02183988,-0.01555051,0.0385722,0.09171908,0.07409162,-0.00097289,-0.03062371,0.03918535,-0.00164786,-0.0162561,-0.0507846,0.03377253,0.00108112,-0.03194485,0.01054216,-0.02110994,0.03377537,-0.01089828,-0.07961689,0.02517095,0.00515602,0.02069426,-0.07196901,-0.04435749,-0.035016,-0.04856956,-0.00949804,-0.10026419,0.09463786,0.07253688,-0.04337348,-0.02296016,0.05551612,0.01512658,0.0384379,-0.01546551,0.03096409,0.03254133,-0.05552828,-0.01310942,0.05031322,0.03393518,0.00277919,0.03199335,0.02252909,-0.01082627,0.06212307,0.11787309,0.04285353,-0.02813397,-0.10164186,-0.1996941,-0.0176879,0.03238697,-0.05919581,-0.00181639,0.01432709,0.05851377,-0.05673255,0.08653057,0.07246034,0.07131556,0.06309903,-0.07873143,-0.00162749,0.01588932,-0.01001735,0.02633859,-0.04514065,-0.02102481,0.04616282,0.02991399,-0.01114096,0.00662629,0.01042797,0.05939351,0.0051888,0.10097655,0.02512994,-0.02816295,-0.01759526,0.03708852,0.01138459,-0.00404532,-0.08855738,0.05482368,0.01729145,-0.04618943,-0.00983719,-0.01330822,-0.06173328,0.01797779,0.02215041,0.00348358,-0.04043083,-0.03868722,-0.04941132,-0.02444264,-0.01227887,-0.06048321,0.0392452,0.03049885,0.01613892,0.0818412,0.02019417,-0.00724781,-0.00870439,-0.0046268,0.00815264,-0.01921465,-0.00126521,0.03062116,-0.00451099,0.02240726,-0.07781695,-0.00703841,0.0146449,0.00521731,0.03342258,-0.01891333,0.0469924,0.03817016,0.13706106,0.02697782,0.02939211,0.05165792,0.05231152,0.02419766,-0.08208197,-0.00896737,-0.00454137,0.03599905,0.01123338,0.0809325,0.02275711,-0.03673234,0.01862952,0.03610635,-0.06297959,-0.00030802,-0.02382204,-0.07692903,-0.02249005,-0.00706097,0.01449201,0.0315235,-0.02029547,-0.3136861,0.01176962,-0.0573999,0.0263032,0.01415643,0.01668602,-0.00968069,0.00519239,-0.02051643,0.02075673,-0.05484697,0.06523604,0.03282307,-0.07132607,-0.0090746,0.02328607,0.00171984,-0.02102171,0.01597031,-0.03187168,-0.02654953,0.02205174,0.20056143,-0.05038727,-0.02031364,-0.05278128,0.00500744,0.05480838,0.07255913,-0.02000515,0.01352167,-0.02058532,0.08366477,0.02765044,0.0265076,0.02283829,-0.04415828,0.01971383,-0.00935163,-0.06674591,-0.03173205,0.04093809,-0.03566758,-0.0065203,0.07521051,0.01102092,-0.04357595,-0.0610518,-0.01899468,0.00254015,-0.02701908,-0.02454388,-0.05674989,0.02579558,0.04272588,0.06052114,0.03271158,0.00904673,-0.01844074,-0.00457236,0.03547718,0.01358226,0.02575351,0.07365295,0.03210446],"last_embed":{"hash":"f06wjw","tokens":457}}},"text":null,"length":0,"last_read":{"hash":"f06wjw","at":1764391098396},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research","lines":[4,291],"size":9094,"outlinks":[{"title":"mimium","target":"mimium","line":6}],"class_name":"SmartBlock","last_embed":{"hash":"f06wjw","at":1764391098396}}, +"smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.0562297,-0.06904999,-0.04265484,-0.02986659,0.00009323,0.02345677,-0.05900366,0.0159776,0.04107868,0.016421,0.01240571,-0.09355552,0.06526008,0.00218224,0.05821382,-0.0217095,0.01173687,0.02173337,-0.09410985,-0.02203129,0.14371534,-0.03196965,0.02697005,-0.04891109,0.08851494,0.02804433,0.00929676,-0.04609448,0.00210196,-0.20012087,0.0000136,-0.0176329,0.07527141,-0.00206561,-0.01665947,0.01606893,-0.02158228,0.03906481,-0.03872994,0.02683191,0.00064982,-0.01875795,0.00213032,-0.0039961,-0.02013873,-0.02769095,-0.03498201,-0.04121125,-0.00434675,-0.02434916,-0.08405877,-0.03967217,-0.00180027,0.00791934,0.02980108,0.03157227,0.03139939,0.05603184,-0.02284845,0.03579665,-0.00972192,0.01795705,-0.22202374,0.01501567,0.0309596,0.03305016,-0.07398713,-0.05307367,0.04083947,0.0121687,-0.06231347,0.01244907,-0.00681981,0.06002153,0.03889672,0.02594946,-0.01058331,-0.07171693,-0.00584487,0.00583361,-0.01657728,0.04071921,0.01297076,-0.00807856,-0.02381517,-0.01230835,0.05274242,-0.01844058,0.02319059,-0.00714799,-0.03905256,-0.01742211,0.01312615,0.07095465,-0.04335159,-0.02324406,-0.00626699,0.00731285,0.02379637,0.09389871,-0.01246619,0.00955735,-0.00022549,-0.02394316,0.01521468,-0.01478966,-0.01428899,-0.04524234,0.02987476,-0.01435113,-0.0112121,0.01287399,0.04083055,-0.05099954,-0.05357987,0.00935395,0.03426701,-0.03675557,0.01555981,-0.01779044,0.04203663,0.04294554,0.02225812,-0.01559749,0.03027304,0.0005835,0.05359326,0.05822242,0.0568898,0.04408237,0.02196972,0.0708421,-0.06305438,-0.0189447,-0.00926439,-0.00189316,-0.03460385,0.00480968,0.02985933,0.01712794,-0.02227494,-0.09726099,-0.02399705,-0.06232396,-0.05713359,0.15672429,-0.06707375,-0.01653937,-0.02444595,0.01670338,-0.00687175,0.09712913,-0.01483595,-0.01360609,0.03227124,-0.06813338,0.02844309,0.14319506,-0.07072645,0.01704132,-0.00533164,-0.03524069,-0.05612967,0.13867101,-0.0034557,-0.07179179,0.03650073,0.01250205,-0.02750606,-0.05451129,0.03287229,0.01200764,-0.03610067,-0.02395405,0.03605387,0.03432649,0.00631453,-0.00169984,-0.03583838,0.04737111,-0.00042728,-0.03474157,-0.0434862,0.01866994,-0.00187814,-0.0718346,0.00181894,-0.01112662,0.01792023,0.01389185,-0.12015305,0.03941885,0.01520619,0.00571654,-0.04957395,-0.05788796,-0.00219983,0.02197111,0.02109796,-0.01785895,0.09491048,0.09719852,-0.0351795,-0.02749398,0.02989911,0.0144475,0.03744935,-0.01514009,0.02440313,0.03813416,-0.05821906,0.00469502,0.00800484,0.05259163,0.01454444,0.01009772,0.03230148,-0.02398648,0.04180241,0.07169142,0.01359957,-0.04778555,-0.12892643,-0.21997051,0.01391363,0.04094495,-0.05386626,0.02472948,-0.0464945,-0.011158,-0.03382057,0.07013331,0.04532992,0.09536316,0.03278743,-0.03468492,-0.01384162,-0.04048077,-0.03947069,0.02310979,-0.02915837,-0.03065441,0.05737756,0.02292327,0.01161359,0.01487342,0.01224388,0.03633615,-0.04608825,0.1226668,0.02835155,0.01095372,0.00101947,0.02308431,-0.0052914,-0.00833054,-0.06617828,0.07218365,0.01401754,-0.04022085,-0.06412639,0.0036435,-0.02621667,0.01461403,0.02963349,-0.02716837,-0.09419405,-0.01175222,-0.05250164,0.00470801,0.02024359,-0.00290087,0.07361496,0.01209559,0.00556088,0.04881603,0.05750076,0.00305948,0.01369396,-0.05958503,0.00993366,0.00986497,-0.03022418,0.00184897,0.03596388,0.01406689,-0.01003768,0.01580709,-0.02115416,-0.02402491,0.01382542,-0.01126686,0.01279199,-0.00560779,0.132093,0.02404727,0.02388772,0.02995477,0.05744526,-0.02496964,-0.08186033,-0.02124457,-0.0078376,0.08018466,0.03394636,0.02270334,0.04284582,0.00536764,0.03873721,0.00979675,-0.06083148,0.02088577,-0.02863888,-0.0805501,-0.03616847,0.02589444,-0.04351191,0.0622018,-0.00729648,-0.31637889,0.01992614,-0.02911579,-0.00421047,-0.01856859,0.03367914,-0.00776504,-0.08018781,-0.05004585,-0.00446867,-0.0444582,0.06563598,0.04114826,-0.03482465,0.05669029,-0.01789318,0.06019706,-0.00967764,0.0514895,-0.0265343,0.00192216,0.04486362,0.20094208,-0.03030061,0.01440124,0.00545208,0.0219614,0.07610582,0.08688017,0.03133707,-0.00322869,-0.02564039,0.13953242,0.03588806,0.00990508,0.0276128,-0.04689361,-0.0342487,0.00744098,-0.01073777,-0.02814416,0.0246257,-0.04556403,0.01437528,0.11611526,0.01252471,-0.02264583,-0.09381977,0.00445255,0.03237409,-0.03969199,-0.00773546,-0.0584665,0.01775049,-0.0153848,0.05099932,0.01859467,-0.01298905,-0.04858407,-0.00519447,-0.00481679,0.01096186,-0.00012571,0.05014424,0.04124724],"last_embed":{"hash":"hogx24","tokens":499}}},"text":null,"length":0,"last_read":{"hash":"hogx24","at":1764391098442},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算","lines":[60,159],"size":2477,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"hogx24","at":1764391098442}}, +"smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算#シンタックスの拡張": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.10176793,-0.07282796,0.0054166,-0.04032047,-0.0237953,0.0474811,-0.07398506,0.0280813,0.05396653,0.02184738,0.04972626,-0.09969613,0.08537832,-0.00951323,0.05806439,-0.01462775,0.01014847,-0.00778828,-0.11853351,-0.05323907,0.11057043,-0.01797256,0.00678484,-0.03800943,0.06788381,0.02519308,0.01421247,-0.0254558,0.00335239,-0.21806005,-0.00711305,0.02204148,0.04166155,0.0086048,-0.04397666,-0.02904501,-0.04603121,0.047961,-0.04247242,0.02172724,0.01230484,0.02085576,-0.01017158,-0.02178181,0.01931863,-0.06735808,-0.03495871,-0.018225,-0.00421934,-0.02761053,-0.07216433,-0.05787016,-0.02918723,-0.00146436,0.03765669,0.03042246,0.0237485,0.03083067,0.00239817,-0.0053014,0.02465523,-0.02430872,-0.20488809,0.04673861,0.01314562,-0.01088579,-0.02336176,-0.06046597,0.04913069,0.04802767,-0.06168349,0.00821176,-0.00722197,0.03841133,-0.01530079,0.00166491,0.04507273,-0.08526246,-0.04153963,0.04769502,-0.01635598,0.02503881,-0.0231602,-0.03718554,0.01413651,0.00830371,0.0600892,-0.02696433,0.00621527,0.01328365,-0.06255822,-0.03287344,-0.00493498,0.06934521,-0.05731378,-0.01425446,0.00674693,-0.00092267,0.01035306,0.09171403,0.0087933,-0.00299578,-0.02584127,-0.03516531,0.05438287,-0.00169149,-0.01801272,-0.06092613,0.00182897,-0.02162863,-0.01872531,-0.01645923,0.03698681,-0.0480026,-0.03101657,0.0265578,0.02316051,-0.0020237,0.03103935,-0.00331062,0.03145235,0.0150236,0.03174687,-0.00757488,-0.00340892,-0.00678551,0.03651896,0.0410765,-0.0063576,0.02907478,0.02780896,0.07423653,-0.05415489,-0.01007232,-0.0139203,0.05262775,-0.03610808,-0.0130293,0.06901284,0.00090457,-0.03547991,-0.11626548,-0.03665663,-0.11272022,-0.02161761,0.13601002,-0.01680069,0.00667286,-0.05025448,-0.00070946,-0.0002274,0.09037632,-0.01837343,-0.02909638,0.00198507,-0.08840216,0.05014879,0.13066877,-0.06682004,-0.03014493,-0.03012389,-0.04252998,-0.07465093,0.13094252,-0.00345986,-0.06192788,0.02997008,0.04494825,0.01481684,-0.067747,0.0644559,0.07137544,-0.00395587,-0.02775904,0.07455597,0.01664376,-0.01402185,-0.00059522,-0.00571056,0.00713348,0.0000778,-0.09631138,-0.04123256,0.01747535,0.03148941,-0.05301512,0.01788472,-0.01044868,0.03496884,0.01605755,-0.04715278,0.03601269,-0.015534,0.0343865,-0.06695268,-0.05056287,-0.03796927,0.02419727,0.03488857,-0.07745977,0.12695046,0.06784829,-0.01667429,-0.01613864,0.03225969,0.00637084,0.0136634,-0.0250197,0.01662456,0.04797569,-0.05691606,-0.01357394,0.02007701,0.00825314,-0.01514194,0.03516581,0.04984862,0.0067688,0.00262973,0.05565145,0.03246837,-0.03058064,-0.10348576,-0.22268882,-0.00238945,0.03462547,-0.05507729,0.02043349,-0.05793395,-0.00392236,-0.03471825,0.08375466,0.01003771,0.10232578,0.01977955,-0.03695697,0.01882793,-0.04690271,-0.01415521,0.03072774,-0.02140793,-0.00455618,0.04066265,-0.04468931,0.03084271,-0.00141581,0.00961427,0.0445746,-0.02803971,0.13960946,0.00022807,0.03943661,0.02601998,0.02708569,0.01995538,-0.01424345,-0.0290919,0.03498308,0.05254913,-0.00987814,-0.00461857,0.04494931,-0.02840264,0.01845167,0.01588269,-0.00585423,-0.07014102,0.02291509,-0.00124773,-0.04702836,0.0118034,-0.0403138,0.00130411,0.01104334,-0.01786337,0.03609561,0.02641242,0.00179598,0.00595388,-0.06007988,0.01442466,-0.02226396,-0.00939138,-0.00783438,0.02902105,0.01773552,0.04878428,0.01318445,0.00575902,-0.02172103,-0.01659704,0.00834247,0.01112458,0.01373546,0.09387697,0.01177002,0.02510141,0.02632201,0.01270524,-0.02746302,-0.06670595,-0.00994704,0.02526225,0.0602016,-0.01210734,0.01733056,0.0194003,-0.00891939,0.00328288,-0.01328227,-0.02276264,0.02886495,0.04785496,-0.03790243,-0.00653109,0.01763437,-0.04520364,0.04365372,-0.03243536,-0.31167206,0.05109151,-0.01518182,-0.00340697,-0.01825121,0.04816627,-0.04271032,-0.10228056,-0.0681795,0.01605832,-0.06161291,0.10039842,0.04905178,-0.03873574,0.07112513,0.00925145,0.03506261,-0.00502795,0.01834757,-0.02750302,0.00021943,0.05543517,0.20356648,0.01870134,0.04422224,0.00354378,-0.02405691,0.03577138,0.1090336,0.03670915,-0.01270762,0.01413721,0.13536836,-0.00768948,0.03793837,0.00343175,-0.00781812,0.04399384,0.00997462,-0.00597955,-0.03667543,0.05629025,-0.07993789,0.01969414,0.06287193,0.05775055,-0.02564534,-0.09009998,0.00827617,0.02577315,-0.01257589,0.00247119,-0.02981368,0.05546226,0.00408752,0.0587468,-0.01173288,-0.02721237,-0.0609188,0.01601878,0.03455957,0.01036127,0.04916834,0.0250876,0.04431854],"last_embed":{"hash":"11noukw","tokens":494}}},"text":null,"length":0,"last_read":{"hash":"11noukw","at":1764391098481},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算#シンタックスの拡張","lines":[65,95],"size":806,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"11noukw","at":1764391098481}}, +"smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算#シンタックスの拡張#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.10195613,-0.07193574,0.00771665,-0.04465505,-0.02829174,0.04685484,-0.07132334,0.02878185,0.05562728,0.02337895,0.04875649,-0.09995899,0.08569891,-0.00916459,0.05891324,-0.01491082,0.008689,-0.00569095,-0.11831097,-0.05316795,0.11132774,-0.01427582,0.00466667,-0.03738375,0.07051741,0.02747652,0.01512696,-0.02380137,0.00359218,-0.2187631,-0.00793934,0.02206913,0.04449825,0.0069021,-0.04721141,-0.02825931,-0.04529862,0.04665433,-0.03987943,0.02071955,0.01472353,0.02208638,-0.00790817,-0.02077216,0.01894767,-0.0654996,-0.03572448,-0.02146086,-0.00204801,-0.02660106,-0.07029603,-0.05911768,-0.0304463,-0.00240045,0.03811428,0.03285262,0.02436101,0.02966675,0.00228373,-0.00380042,0.02211568,-0.02321612,-0.20595954,0.04774247,0.0149346,-0.01198123,-0.02113006,-0.06236904,0.04850807,0.04870616,-0.06151441,0.00976533,-0.00812501,0.03630157,-0.01587102,0.00235209,0.04331991,-0.08878437,-0.04191486,0.04912498,-0.01634854,0.02376533,-0.0217857,-0.03603774,0.01446465,0.01082881,0.05688452,-0.02785614,0.0073291,0.01448123,-0.06393889,-0.03513649,-0.00525125,0.06606527,-0.05734877,-0.01270579,0.00743157,0.00212055,0.01194783,0.09173271,0.00657514,-0.00151654,-0.03165955,-0.03372828,0.05340138,-0.00296146,-0.01933555,-0.05662151,0.00324209,-0.0203555,-0.0157874,-0.01409564,0.03760622,-0.0485664,-0.03273226,0.02985446,0.02349111,-0.00101509,0.032014,-0.00462549,0.03297777,0.01757748,0.03046399,-0.00852012,-0.00212445,-0.00664451,0.03657853,0.04122132,-0.00385118,0.02452158,0.02749328,0.07079729,-0.05339663,-0.01073395,-0.01170677,0.053448,-0.03356533,-0.01146676,0.07143351,0.00089772,-0.03455958,-0.11691155,-0.03984475,-0.11123162,-0.01925239,0.1352524,-0.01897383,0.00653778,-0.04817343,-0.00049054,0.00213884,0.09467851,-0.01796832,-0.02885823,0.00012194,-0.09188394,0.04901008,0.13032627,-0.06705741,-0.03045373,-0.03240536,-0.04269461,-0.07653477,0.13003552,-0.00650584,-0.06194867,0.03026727,0.04529228,0.01169321,-0.06809515,0.06785921,0.071656,-0.00449381,-0.02613216,0.07181,0.01769233,-0.01616029,0.00251453,-0.00791792,0.00697136,-0.00230438,-0.10072131,-0.03977578,0.01427883,0.03141143,-0.05245318,0.01860368,-0.00943782,0.03334828,0.01571812,-0.04642908,0.04039825,-0.01388725,0.0365636,-0.06954329,-0.05097244,-0.03722845,0.02537298,0.03456963,-0.07720984,0.12600058,0.06853335,-0.01669163,-0.01585669,0.03571435,0.00486355,0.01401907,-0.02568305,0.01804307,0.05081342,-0.05829854,-0.0180224,0.01939104,0.00607714,-0.01658032,0.03351837,0.05060376,0.00642996,0.00122032,0.05440741,0.0342128,-0.03069486,-0.10525936,-0.22233675,0.00060393,0.03629505,-0.05645284,0.02041048,-0.05767135,-0.00413435,-0.03412544,0.08517103,0.00825914,0.09920569,0.01747385,-0.03756579,0.02002812,-0.04924659,-0.0179128,0.03159841,-0.01829689,-0.0028612,0.03889784,-0.04542293,0.02832351,-0.00104363,0.010567,0.04640112,-0.02909395,0.13972871,-0.00048943,0.03558721,0.02536064,0.02683401,0.01966779,-0.01564133,-0.02738106,0.03641305,0.05036074,-0.01017211,-0.00374981,0.04497308,-0.02713526,0.01656943,0.01241105,-0.00447541,-0.06983355,0.02443642,-0.00161276,-0.04848766,0.01001983,-0.03882255,-0.00120914,0.01067565,-0.02001708,0.03764008,0.02345315,0.00049059,0.00262446,-0.05969873,0.01140517,-0.02273746,-0.01061299,-0.00783287,0.03221128,0.0198837,0.04665119,0.01085346,0.00655283,-0.01881805,-0.01641527,0.00914649,0.01132224,0.01333692,0.09141923,0.01211187,0.02688996,0.02460908,0.01218096,-0.02411105,-0.06593644,-0.01010951,0.02911803,0.06102577,-0.01309359,0.01726862,0.01706543,-0.00874276,0.00146169,-0.01401806,-0.01722903,0.02786885,0.04689494,-0.03751834,-0.00398174,0.01746951,-0.04251454,0.04034259,-0.03306263,-0.30995589,0.05352458,-0.02119062,-0.0006985,-0.02085081,0.04573518,-0.0424681,-0.10223287,-0.069846,0.01404863,-0.05846719,0.10056556,0.05004159,-0.03932697,0.07201603,0.00902065,0.03418778,-0.00282146,0.01800596,-0.0262791,0.00204977,0.0570467,0.20453614,0.01887196,0.04461814,0.00638298,-0.02414227,0.03339664,0.10673814,0.03973215,-0.00951117,0.01210237,0.13819076,-0.00802606,0.0401115,0.0046473,-0.00808014,0.04127781,0.01114996,-0.00576504,-0.03779601,0.0548168,-0.07907486,0.01703201,0.06312583,0.05748869,-0.02145351,-0.08688956,0.00863345,0.02507316,-0.01066891,0.00529733,-0.0298808,0.05648777,0.00328935,0.05475781,-0.01220988,-0.02744254,-0.06134283,0.0167027,0.03138488,0.01110377,0.04736992,0.02030702,0.04269395],"last_embed":{"hash":"k2lnr9","tokens":492}}},"text":null,"length":0,"last_read":{"hash":"k2lnr9","at":1764391098519},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算#シンタックスの拡張#{1}","lines":[67,95],"size":791,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"k2lnr9","at":1764391098519}}, + +"smart_sources:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md": {"path":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md","embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.04797284,-0.01514376,0.00822691,-0.02796871,0.03500942,0.03137705,-0.07464059,0.05364701,0.04419397,0.01997418,0.01282551,-0.06342179,0.05363715,0.06059757,0.01135918,-0.01892523,0.01345181,-0.05073776,-0.05255586,-0.01493794,0.15628858,-0.03909787,0.03429231,-0.02516746,0.07518069,0.01852393,-0.0208436,-0.01776788,-0.03504331,-0.165022,-0.03791561,0.01389311,0.07210074,0.01558047,0.04756897,0.00612828,0.01218148,0.04726719,0.00247854,0.05504459,-0.03592486,-0.01150354,0.02695288,-0.003369,0.04048013,-0.01939424,-0.00863987,-0.06277598,-0.03070859,-0.04585119,-0.1042105,-0.05971695,-0.01243348,0.00907515,0.02793896,0.00781022,0.05900117,-0.01834834,0.0100961,0.05862171,0.02634553,0.02833506,-0.27017796,0.03080764,0.0418456,-0.02899948,-0.09187603,-0.01792888,0.04296144,0.00836143,-0.04737895,0.01113774,0.00875785,0.01959995,0.05457063,0.01914436,-0.02436715,-0.0654351,-0.0038321,-0.05271698,-0.02785841,0.0568824,0.01023884,-0.01195943,-0.03782531,-0.0088461,0.01901948,-0.03619424,0.01554132,0.0196151,-0.03082502,-0.01120769,0.0070196,0.04236389,-0.07534435,-0.02063013,0.00707797,0.02640191,-0.00325287,0.10385492,-0.05059646,0.01888697,0.0149401,-0.0534806,0.00585066,-0.03698408,-0.0378527,-0.06154487,0.01944866,0.00754821,-0.02783296,0.00132159,0.02813685,-0.04777101,0.00615287,-0.0091171,0.08358477,-0.01303933,-0.00912565,-0.00062982,0.02533669,0.00869524,0.00235899,-0.01515085,0.01157526,-0.00369871,0.0265813,0.03401062,0.01704326,-0.01479598,0.05463137,0.05954887,-0.05432053,-0.00778247,-0.00513159,0.01658789,-0.02657091,-0.02217783,0.00104743,-0.01607437,-0.03394846,-0.12616856,-0.02360024,-0.07769147,-0.09931658,0.14031333,-0.05424405,0.00347841,0.01906625,-0.00868054,-0.02789463,0.07654026,-0.01550362,-0.02221878,0.03304212,-0.0464986,0.05890322,0.1275031,-0.04809604,0.00153265,-0.03374957,-0.07627244,-0.03038905,0.12601237,0.0178045,-0.02805271,-0.02053697,0.06099268,0.01845413,-0.07104353,0.01435329,-0.00357044,0.01902367,-0.01606053,0.06698866,0.0968571,0.09614444,0.00938437,-0.03787158,0.03990397,-0.00618516,-0.02726692,-0.04004028,0.04161443,-0.01560111,-0.03533424,0.01509051,-0.02265481,0.03780136,-0.00599606,-0.0736769,0.01729315,0.006515,0.03048175,-0.05211283,-0.05726473,-0.03451885,-0.02240416,-0.00212964,-0.09054831,0.09855695,0.04946164,-0.0412306,-0.03288511,0.05873515,-0.00146653,0.03854771,-0.0252528,0.02998902,0.03674361,-0.0369213,-0.00972096,0.05987938,0.04448581,0.00336064,0.02912437,0.01810445,-0.00117169,0.04776398,0.10216578,0.02792827,-0.00718199,-0.08797565,-0.2016224,-0.00141556,0.03864836,-0.05786346,-0.01278544,0.01547043,0.05165989,-0.07658099,0.10380264,0.07558663,0.07777319,0.07032349,-0.05988979,-0.00736453,0.00527991,-0.00674378,0.03742466,-0.04293481,-0.02190521,0.05099948,0.02170435,-0.0104924,0.00643588,-0.00544869,0.04378416,0.00554015,0.09547088,0.04065576,-0.04224884,-0.02663669,0.05310873,0.0155903,-0.00680955,-0.09201697,0.05586169,0.00668271,-0.04788799,-0.01216409,-0.01337374,-0.05992963,0.01787941,0.02414248,0.00852063,-0.04524852,-0.04182209,-0.05558977,-0.02331708,-0.00496024,-0.05388159,0.0420231,0.04029316,0.00615293,0.09462901,0.03698707,-0.00573087,-0.01648615,-0.01069186,-0.0044095,0.00067488,0.00443728,0.02871796,0.00688357,-0.01325502,-0.07000337,-0.02261164,-0.00198688,0.00657673,0.02590713,-0.02346882,0.04414793,0.02154407,0.13056327,0.01404751,0.02581849,0.05425116,0.04252414,0.00239445,-0.07828871,-0.00649525,0.00191337,0.03884473,0.00221441,0.08441276,0.05136834,-0.02402326,0.01343964,0.03699203,-0.05104097,0.01453794,-0.01439284,-0.06647873,-0.04076362,-0.01231101,-0.00049693,0.03414689,-0.00558376,-0.32309732,0.02445185,-0.04959038,0.01212261,0.02690751,0.01745267,-0.01630456,-0.01028822,-0.03634364,0.03676596,-0.05585236,0.07628901,0.03029556,-0.07217823,0.00531406,0.01599801,0.00830728,-0.01968461,0.0014262,-0.03920742,-0.02589469,0.02663815,0.19150409,-0.0307814,-0.01613029,-0.03290735,-0.01725429,0.04898672,0.08630656,-0.0094976,-0.01417624,-0.01815445,0.09612129,0.02920593,0.01019831,0.01867248,-0.04564152,0.0146718,-0.01742903,-0.04557006,-0.04653626,0.04610764,-0.01526024,0.01708659,0.09284908,0.0067427,-0.0560169,-0.06244278,-0.0162932,0.00111529,-0.02346022,-0.02284654,-0.03823626,0.03330237,0.02313568,0.06854727,0.04872558,0.018211,-0.02939068,-0.01488996,0.03104602,0.01256117,0.00864294,0.05355026,0.03351554],"last_embed":{"hash":"15sk1dt","tokens":490}}},"last_read":{"hash":"15sk1dt","at":1764391564418},"class_name":"SmartSource","last_import":{"mtime":1764391551243,"size":19790,"at":1764391564257,"hash":"15sk1dt"},"blocks":{"#---frontmatter---":[1,3],"#paper #research":[4,289],"#paper #research#{1}":[6,6],"#paper #research#概要":[7,16],"#paper #research#概要#{1}":[9,16],"#paper #research#背景とモチベーション":[17,41],"#paper #research#背景とモチベーション#{1}":[19,41],"#paper #research#mimium and lambda-mmm":[42,59],"#paper #research#mimium and lambda-mmm#{1}":[44,59],"#paper #research#多段階計算":[60,157],"#paper #research#多段階計算#{1}":[62,64],"#paper #research#多段階計算#シンタックスの拡張":[65,104],"#paper #research#多段階計算#シンタックスの拡張#{1}":[67,104],"#paper #research#多段階計算#シンタックスシュガー":[105,112],"#paper #research#多段階計算#シンタックスシュガー#{1}":[107,112],"#paper #research#多段階計算#多段階計算によるメタ操作の実例":[113,157],"#paper #research#多段階計算#多段階計算によるメタ操作の実例#{1}":[115,157],"#paper #research#コールツリーの解析":[158,170],"#paper #research#コールツリーの解析#{1}":[160,162],"#paper #research#コールツリーの解析#{2}":[163,170],"#paper #research#状態構造ツリー同士の比較":[171,207],"#paper #research#状態構造ツリー同士の比較#{1}":[173,193],"#paper #research#状態構造ツリー同士の比較#サンプルコード":[194,207],"#paper #research#状態構造ツリー同士の比較#サンプルコード#{1}":[196,207],"#paper #research#議論":[208,277],"#paper #research#議論#他の言語とのコンパイル時計算のパラダイム比較":[211,227],"#paper #research#議論#他の言語とのコンパイル時計算のパラダイム比較#{1}":[213,227],"#paper #research#議論#ライブ状態更新のエッジケース":[228,277],"#paper #research#議論#ライブ状態更新のエッジケース#{1}":[230,277],"#paper #research#将来的な展望":[278,289],"#paper #research#将来的な展望#{1}":[281,289]},"outlinks":[{"title":"mimium","target":"mimium","line":9}],"metadata":{"date":"2025-09-25 11:42","tags":["#paper","#research"]},"task_lines":[],"last_embed":{"hash":"15sk1dt","at":1764391564259},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md"},"smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05318603,-0.01912287,-0.00439953,-0.02512978,0.03743922,0.03994994,-0.05715745,0.06773081,0.0544611,0.01677744,0.0095112,-0.04185531,0.04948675,0.04092842,0.00683188,-0.02314747,0.01407458,-0.02801254,-0.0565474,0.00214217,0.15114461,-0.04924415,0.03922349,-0.01367401,0.07010863,0.01454658,-0.03151467,-0.02101328,-0.03111612,-0.17797759,-0.0316783,0.02112858,0.07066872,0.02591229,0.05964985,0.02942432,0.01399849,0.03702963,0.03078667,0.05466243,-0.0381468,-0.02398215,0.03953903,-0.00052434,0.05216394,-0.02384005,-0.00320313,-0.0622858,-0.02201733,-0.04933487,-0.10919103,-0.06027559,-0.01141824,0.00386242,0.02010985,0.00274191,0.06624974,-0.02653024,0.01382302,0.05691342,0.01994397,0.04401735,-0.26825866,0.03566904,0.04901105,-0.02229711,-0.12530819,-0.01463325,0.0275338,0.012267,-0.05331616,0.03462047,0.02850711,0.01403787,0.05935349,0.01969318,-0.01906513,-0.05800019,-0.00063968,-0.04733317,-0.03525474,0.05900684,0.0158827,0.00351173,-0.06796139,-0.01130124,0.01003587,-0.03990444,0.03003175,0.00257314,-0.01423194,-0.00075783,0.00013739,0.04822996,-0.07358547,-0.04618351,0.01079487,0.03532552,0.01317208,0.11457621,-0.03814017,-0.01833584,0.0445388,-0.04633867,-0.00345908,-0.04733317,-0.04202586,-0.05852755,0.01740317,0.02486459,-0.03295868,-0.001032,-0.0040139,-0.03768231,0.01359172,-0.03138778,0.04682951,-0.02837956,-0.01664674,-0.00982919,-0.00968826,0.02647014,-0.01717256,-0.00439183,0.00925363,-0.03468685,0.02904155,0.03928893,0.02443485,-0.0113266,0.03855709,0.05001474,-0.02893838,-0.01201882,-0.01615903,0.01692344,-0.0270936,-0.00617969,-0.00147307,-0.00984514,-0.01206287,-0.09042281,-0.02186785,-0.07017214,-0.0967193,0.13627855,-0.04134782,0.00048365,0.00431131,0.00103756,-0.01513898,0.07647741,-0.03175435,0.00239804,0.02956278,-0.04188598,0.05957633,0.12813056,-0.0387518,-0.00588062,-0.03182588,-0.06691958,-0.02526682,0.14429435,-0.00190306,-0.00977942,-0.02987516,0.05974523,-0.01101681,-0.07132303,0.01340272,-0.00931294,0.02183988,-0.01555051,0.0385722,0.09171908,0.07409162,-0.00097289,-0.03062371,0.03918535,-0.00164786,-0.0162561,-0.0507846,0.03377253,0.00108112,-0.03194485,0.01054216,-0.02110994,0.03377537,-0.01089828,-0.07961689,0.02517095,0.00515602,0.02069426,-0.07196901,-0.04435749,-0.035016,-0.04856956,-0.00949804,-0.10026419,0.09463786,0.07253688,-0.04337348,-0.02296016,0.05551612,0.01512658,0.0384379,-0.01546551,0.03096409,0.03254133,-0.05552828,-0.01310942,0.05031322,0.03393518,0.00277919,0.03199335,0.02252909,-0.01082627,0.06212307,0.11787309,0.04285353,-0.02813397,-0.10164186,-0.1996941,-0.0176879,0.03238697,-0.05919581,-0.00181639,0.01432709,0.05851377,-0.05673255,0.08653057,0.07246034,0.07131556,0.06309903,-0.07873143,-0.00162749,0.01588932,-0.01001735,0.02633859,-0.04514065,-0.02102481,0.04616282,0.02991399,-0.01114096,0.00662629,0.01042797,0.05939351,0.0051888,0.10097655,0.02512994,-0.02816295,-0.01759526,0.03708852,0.01138459,-0.00404532,-0.08855738,0.05482368,0.01729145,-0.04618943,-0.00983719,-0.01330822,-0.06173328,0.01797779,0.02215041,0.00348358,-0.04043083,-0.03868722,-0.04941132,-0.02444264,-0.01227887,-0.06048321,0.0392452,0.03049885,0.01613892,0.0818412,0.02019417,-0.00724781,-0.00870439,-0.0046268,0.00815264,-0.01921465,-0.00126521,0.03062116,-0.00451099,0.02240726,-0.07781695,-0.00703841,0.0146449,0.00521731,0.03342258,-0.01891333,0.0469924,0.03817016,0.13706106,0.02697782,0.02939211,0.05165792,0.05231152,0.02419766,-0.08208197,-0.00896737,-0.00454137,0.03599905,0.01123338,0.0809325,0.02275711,-0.03673234,0.01862952,0.03610635,-0.06297959,-0.00030802,-0.02382204,-0.07692903,-0.02249005,-0.00706097,0.01449201,0.0315235,-0.02029547,-0.3136861,0.01176962,-0.0573999,0.0263032,0.01415643,0.01668602,-0.00968069,0.00519239,-0.02051643,0.02075673,-0.05484697,0.06523604,0.03282307,-0.07132607,-0.0090746,0.02328607,0.00171984,-0.02102171,0.01597031,-0.03187168,-0.02654953,0.02205174,0.20056143,-0.05038727,-0.02031364,-0.05278128,0.00500744,0.05480838,0.07255913,-0.02000515,0.01352167,-0.02058532,0.08366477,0.02765044,0.0265076,0.02283829,-0.04415828,0.01971383,-0.00935163,-0.06674591,-0.03173205,0.04093809,-0.03566758,-0.0065203,0.07521051,0.01102092,-0.04357595,-0.0610518,-0.01899468,0.00254015,-0.02701908,-0.02454388,-0.05674989,0.02579558,0.04272588,0.06052114,0.03271158,0.00904673,-0.01844074,-0.00457236,0.03547718,0.01358226,0.02575351,0.07365295,0.03210446],"last_embed":{"hash":"d507eo","tokens":457}}},"text":null,"length":0,"last_read":{"hash":"d507eo","at":1764391564301},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research","lines":[4,289],"size":9083,"outlinks":[{"title":"mimium","target":"mimium","line":6}],"class_name":"SmartBlock","last_embed":{"hash":"d507eo","at":1764391564301}}, +"smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05589331,-0.06892027,-0.04222054,-0.03101674,0.00114896,0.02409524,-0.05844956,0.01586799,0.04076555,0.01701019,0.01237861,-0.0931692,0.06499234,0.00121004,0.0575575,-0.02158633,0.01202709,0.02220968,-0.09448571,-0.02116747,0.14330845,-0.03174696,0.0273476,-0.0477814,0.08728929,0.02801169,0.00957716,-0.04670293,0.00188278,-0.19961113,-0.00053419,-0.01831311,0.07622056,-0.00197483,-0.01708408,0.01470256,-0.02187523,0.039695,-0.037464,0.02553679,0.00106683,-0.01952726,0.00143947,-0.00366606,-0.02037126,-0.02667911,-0.03382485,-0.04126627,-0.00378172,-0.02546338,-0.08485927,-0.04051385,-0.000977,0.00749927,0.03043297,0.03247148,0.03085576,0.05584628,-0.02427982,0.0361303,-0.01032356,0.01825594,-0.22241978,0.01466013,0.03054908,0.033597,-0.07348767,-0.05379166,0.04101085,0.01242716,-0.06288636,0.01251722,-0.0060624,0.06063036,0.03950606,0.02646204,-0.01188682,-0.07080698,-0.00596432,0.00521389,-0.01723098,0.04130013,0.01329152,-0.00769352,-0.02438637,-0.01137795,0.05299257,-0.01910466,0.02344527,-0.00686411,-0.03838486,-0.01590806,0.0118849,0.07089718,-0.04319014,-0.02287793,-0.00638906,0.0065675,0.02391914,0.09363683,-0.01176604,0.00948463,-0.00068443,-0.02276378,0.01598923,-0.01603945,-0.01369287,-0.04487398,0.02988343,-0.01475003,-0.01118721,0.01322134,0.0402264,-0.0522963,-0.0533516,0.00921705,0.03430612,-0.03621335,0.0166632,-0.01713622,0.04280769,0.04315485,0.02291998,-0.01493375,0.03018129,0.00034706,0.05292416,0.05926128,0.05715054,0.04307912,0.02211421,0.0720343,-0.06294929,-0.01960421,-0.00892272,-0.00325361,-0.03455574,0.00435023,0.02965626,0.01625005,-0.02234435,-0.0964325,-0.02392665,-0.06364792,-0.05666483,0.15785542,-0.06679591,-0.01698417,-0.0250623,0.01661876,-0.00687712,0.09746213,-0.01393453,-0.01299665,0.03304399,-0.06836064,0.02809255,0.14350072,-0.07124556,0.01679901,-0.00604377,-0.03495936,-0.05584053,0.13871256,-0.00291918,-0.07072439,0.03706009,0.012469,-0.02836588,-0.0545998,0.03256022,0.01189739,-0.0363887,-0.02376732,0.03576709,0.03540623,0.0065849,-0.00190352,-0.03513294,0.04735697,-0.0003434,-0.03436885,-0.04328188,0.01803959,-0.00193375,-0.07286037,0.00106212,-0.01137572,0.01817005,0.01393646,-0.11920201,0.03933863,0.01547535,0.00618672,-0.04989726,-0.05727476,-0.00151795,0.02127198,0.02083953,-0.01812144,0.09543078,0.09817986,-0.0350789,-0.02851806,0.02861742,0.01362993,0.03746802,-0.01542419,0.02387021,0.03777551,-0.05831584,0.00494529,0.00764791,0.05252452,0.01508379,0.01056445,0.03194407,-0.02430769,0.04293237,0.07362819,0.01397229,-0.04845238,-0.12872782,-0.21956708,0.01322678,0.04015495,-0.05408227,0.02621512,-0.04699514,-0.01120973,-0.03556189,0.06962208,0.04508172,0.09654695,0.03227453,-0.03555791,-0.01394074,-0.04144463,-0.03965141,0.02362985,-0.03034374,-0.03032973,0.05768636,0.02265307,0.01227583,0.01363547,0.01166173,0.03671004,-0.04580892,0.12302542,0.0273234,0.01270042,0.00135747,0.02293008,-0.004669,-0.00884937,-0.06708354,0.07240836,0.01358702,-0.04040048,-0.06443159,0.00380733,-0.02586024,0.01419896,0.02917914,-0.02614834,-0.09313152,-0.01199302,-0.05201902,0.00416999,0.02063159,-0.00283916,0.073122,0.01203464,0.00568696,0.0490382,0.05727259,0.00403807,0.01294322,-0.05902795,0.01041619,0.00871717,-0.03130316,0.00087932,0.03583293,0.01422385,-0.00980865,0.01579119,-0.0207229,-0.02407883,0.01215623,-0.01141301,0.01269824,-0.00583367,0.13208637,0.02260331,0.02381311,0.02938039,0.05749738,-0.02419696,-0.08014874,-0.0213699,-0.00754887,0.08017839,0.03363947,0.02327368,0.04358207,0.00495697,0.04071742,0.00985721,-0.05966486,0.02049243,-0.0289735,-0.08097047,-0.03631317,0.02472997,-0.04355758,0.06222785,-0.00719998,-0.31583706,0.02053272,-0.02964226,-0.004229,-0.01795066,0.03283369,-0.00784951,-0.08066849,-0.04917756,-0.00359746,-0.0448059,0.06532861,0.04088723,-0.03428691,0.05699646,-0.01685758,0.05994336,-0.01012669,0.05174948,-0.02721301,0.0009868,0.04519419,0.20087628,-0.03017022,0.01501804,0.00460091,0.02342346,0.07619851,0.08622255,0.0319682,-0.00344817,-0.02596829,0.13841854,0.03425797,0.00872527,0.02808785,-0.04644045,-0.03518884,0.00780781,-0.01096032,-0.02806319,0.0244676,-0.04603619,0.01333521,0.11612108,0.01379531,-0.02285529,-0.09474131,0.00506699,0.03198499,-0.03976011,-0.00813033,-0.05798739,0.01747756,-0.01557008,0.05247343,0.01904023,-0.01165298,-0.04824307,-0.00461176,-0.00495908,0.00960003,-0.00056011,0.04944213,0.04066103],"last_embed":{"hash":"w6lpyv","tokens":499}}},"text":null,"length":0,"last_read":{"hash":"w6lpyv","at":1764391564346},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算","lines":[60,157],"size":2466,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"w6lpyv","at":1764391564346}}, +"smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算#シンタックスの拡張": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.10172463,-0.07086035,0.00486043,-0.04090561,-0.02404891,0.04765449,-0.07190818,0.02674346,0.0539485,0.02267645,0.04861968,-0.10012268,0.08523509,-0.01035688,0.05790379,-0.01471786,0.01284653,-0.01174902,-0.11837605,-0.05371633,0.10837974,-0.0175486,0.00709468,-0.03834174,0.06891941,0.02260897,0.01637769,-0.0238444,0.00170397,-0.21889688,-0.00687577,0.02005097,0.04056704,0.00741237,-0.04483648,-0.02964075,-0.04465966,0.04850771,-0.04085608,0.02126372,0.01352792,0.02073582,-0.0096546,-0.02296904,0.01984368,-0.06673541,-0.03394819,-0.01775626,-0.00403779,-0.0276902,-0.0715738,-0.05721249,-0.02950275,-0.0028289,0.03736133,0.02884669,0.02265174,0.02914652,0.00401761,-0.00504862,0.02527566,-0.02330793,-0.20501694,0.04587224,0.01201518,-0.01249394,-0.02336788,-0.06138757,0.04988443,0.04696594,-0.06078814,0.00915791,-0.00698128,0.0393325,-0.01432344,0.00090371,0.04681571,-0.08510956,-0.04017093,0.04672747,-0.0151987,0.02370939,-0.02354327,-0.03873698,0.01464266,0.00854979,0.05910872,-0.02672992,0.00668097,0.01166653,-0.06235252,-0.03389036,-0.00586652,0.07085758,-0.05757741,-0.01275387,0.00714749,-0.00125746,0.00986395,0.09244297,0.00910394,-0.00219211,-0.02579402,-0.03468802,0.05426977,-0.00091361,-0.01733476,-0.06049011,0.00181477,-0.02064218,-0.01540641,-0.01679708,0.03736509,-0.04764987,-0.03081523,0.02882272,0.02418792,-0.00261554,0.02881739,-0.00246441,0.03017838,0.01511843,0.03259854,-0.00795054,-0.00301785,-0.00741578,0.03743188,0.04120886,-0.00869936,0.02581008,0.02709624,0.07170352,-0.05582412,-0.01011736,-0.01272767,0.05359516,-0.03650344,-0.01488315,0.06993432,0.00121797,-0.03591879,-0.1173833,-0.03560988,-0.11309502,-0.02422249,0.13498864,-0.01514342,0.00629993,-0.05110571,-0.00111394,0.0002793,0.09087442,-0.02115982,-0.02880323,0.00120442,-0.08920773,0.05181706,0.13191235,-0.06803911,-0.03104394,-0.02974914,-0.04259906,-0.0725041,0.12806009,-0.00425809,-0.06249502,0.02849448,0.04506249,0.01521829,-0.06845132,0.06425933,0.07310591,-0.00424426,-0.02862934,0.07438342,0.01458585,-0.01550541,0.0003343,-0.00620857,0.00654237,0.00083717,-0.09565794,-0.03913256,0.01672848,0.03138749,-0.05488974,0.01801414,-0.01005035,0.03554187,0.01528963,-0.04629107,0.03673213,-0.01456938,0.03552831,-0.0667885,-0.05087762,-0.0378003,0.02522549,0.03599823,-0.07623649,0.12437852,0.06708819,-0.01570895,-0.01430412,0.03376687,0.00764886,0.01119793,-0.02544583,0.01893436,0.04657035,-0.05705855,-0.01537307,0.01880638,0.00697951,-0.01681506,0.03478785,0.04951219,0.00628563,0.00297365,0.05485234,0.03372454,-0.02781953,-0.10449829,-0.22451676,-0.00154105,0.03492483,-0.05711693,0.02097103,-0.05737696,-0.00290374,-0.03513608,0.08543179,0.00973756,0.10230666,0.0203303,-0.03744184,0.01726495,-0.04764444,-0.01516648,0.03012545,-0.0203315,-0.00469757,0.04019545,-0.04417175,0.03009635,-0.00296052,0.01022222,0.04680861,-0.02725708,0.13782093,0.00039087,0.03958503,0.02586225,0.02705046,0.02034104,-0.01313386,-0.03089001,0.03340605,0.0506519,-0.00884932,-0.00432669,0.04585667,-0.02766407,0.018167,0.01594033,-0.00539812,-0.07135789,0.02375969,1.9e-7,-0.04393983,0.01329036,-0.04030067,0.00025224,0.01121672,-0.01663234,0.03532366,0.02628114,0.00089938,0.00489832,-0.06145736,0.01443348,-0.02303691,-0.00992236,-0.00782883,0.0298097,0.01780566,0.04887171,0.01266473,0.00251471,-0.02214159,-0.01719693,0.00730929,0.01020235,0.01435098,0.09530424,0.01246434,0.02520052,0.0269457,0.01156209,-0.02761224,-0.06771456,-0.01075254,0.02626944,0.06072198,-0.01179091,0.0164479,0.02019852,-0.00957008,0.00263768,-0.01475107,-0.02090608,0.02762122,0.04983006,-0.03646964,-0.00759314,0.01798523,-0.04694162,0.04155465,-0.03371526,-0.31071764,0.05175022,-0.01501637,-0.00097673,-0.01659282,0.04797156,-0.04206884,-0.10146815,-0.06754059,0.0173453,-0.05922249,0.09958921,0.04910874,-0.03648394,0.07350706,0.01023189,0.03389851,-0.00439714,0.01877498,-0.02773764,0.00025953,0.05608098,0.20361759,0.01840268,0.04455584,0.00640026,-0.02286633,0.03717985,0.10961802,0.03675866,-0.01193919,0.01462452,0.13789344,-0.00772328,0.03699804,0.00240495,-0.00625953,0.04532014,0.01038119,-0.00636903,-0.03501224,0.05611317,-0.08113893,0.02020257,0.06336117,0.05735459,-0.02398567,-0.09287095,0.00602046,0.02737847,-0.01362229,0.00272174,-0.02913228,0.05607799,0.00419072,0.05814733,-0.01108342,-0.02764169,-0.06039419,0.01652893,0.0355734,0.01144164,0.04902604,0.02329826,0.04511878],"last_embed":{"hash":"1ancbs4","tokens":480}}},"text":null,"length":0,"last_read":{"hash":"1ancbs4","at":1764391564385},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算#シンタックスの拡張","lines":[65,104],"size":969,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"1ancbs4","at":1764391564385}}, +"smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算#シンタックスの拡張#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.10203344,-0.06971026,0.00747345,-0.0447931,-0.02876186,0.04742161,-0.06955282,0.02777541,0.05616587,0.02340569,0.04736129,-0.10056511,0.08530442,-0.01027328,0.05845224,-0.01442654,0.01106188,-0.01011159,-0.11685627,-0.05330639,0.11000981,-0.01446148,0.00521662,-0.0382187,0.07194464,0.02559337,0.01620593,-0.0224733,0.00239473,-0.21929702,-0.00799425,0.02073221,0.04269759,0.00521005,-0.04806755,-0.02934207,-0.04407251,0.04787785,-0.03845008,0.02041548,0.01566326,0.02292281,-0.0075918,-0.02233943,0.01921987,-0.06479575,-0.03544104,-0.02096314,-0.00206923,-0.02638534,-0.06890112,-0.0586261,-0.02979867,-0.00386895,0.03743624,0.03157234,0.0228346,0.02810421,0.00495519,-0.0042794,0.0229799,-0.02193298,-0.20688905,0.04637728,0.01369103,-0.01301272,-0.02170202,-0.06295186,0.04912917,0.04801641,-0.06129368,0.01051873,-0.00715503,0.03667194,-0.0161083,0.0017831,0.04533438,-0.08909266,-0.04142311,0.04764786,-0.0141632,0.02319111,-0.023119,-0.03749475,0.01539123,0.01132789,0.05598228,-0.02826568,0.00821111,0.01315046,-0.06332173,-0.03565679,-0.00602843,0.06778139,-0.05692794,-0.01176273,0.00802042,0.00103625,0.01112656,0.09273971,0.00759416,-0.00063453,-0.03000818,-0.03276688,0.0526177,-0.00333597,-0.01824904,-0.05607082,0.0023199,-0.01944376,-0.01342401,-0.0149152,0.03802236,-0.04739088,-0.03202114,0.03116226,0.02430491,-0.00132876,0.03015371,-0.0037521,0.03181086,0.01655966,0.03092967,-0.00920121,-0.00162245,-0.00780118,0.03714422,0.04093966,-0.00653877,0.02023518,0.02692593,0.06786867,-0.05503972,-0.01098786,-0.01064259,0.05540948,-0.03285958,-0.01300242,0.07194926,0.00097227,-0.03477318,-0.1185129,-0.03892121,-0.11229219,-0.0210357,0.13402587,-0.01606091,0.00696124,-0.04850295,-0.00123621,0.002547,0.0946485,-0.02038267,-0.02855949,-0.0008175,-0.09191436,0.05029829,0.1313016,-0.06849734,-0.03232202,-0.03238479,-0.04270522,-0.07446887,0.12721711,-0.00798484,-0.06177828,0.028063,0.04623397,0.01187507,-0.06971482,0.06725354,0.07326205,-0.00470678,-0.02709806,0.0726967,0.01581226,-0.01767568,0.00328816,-0.00798135,0.00571624,-0.00120101,-0.10141556,-0.03742007,0.01290814,0.03172362,-0.05316344,0.01852296,-0.00814372,0.0338714,0.01496497,-0.04537262,0.03990651,-0.01319605,0.03768641,-0.0689478,-0.0504516,-0.03752414,0.02570081,0.03623494,-0.07688587,0.12363815,0.0677005,-0.01502898,-0.01346139,0.03824623,0.00554792,0.01143211,-0.02665819,0.02029607,0.04928425,-0.05835949,-0.02014106,0.01854878,0.00413952,-0.01889602,0.03427645,0.05046416,0.00535815,0.00082845,0.05446937,0.03557189,-0.02686545,-0.10659488,-0.22376579,-0.00003898,0.0360903,-0.05885541,0.02134881,-0.0561137,-0.00346947,-0.03377401,0.08570889,0.00753361,0.09982904,0.01781571,-0.03829556,0.01977491,-0.05000801,-0.01872952,0.03084226,-0.01700448,-0.00414611,0.03761335,-0.04521123,0.02841921,-0.00289113,0.01188016,0.04804574,-0.02802181,0.13865928,-0.00116026,0.03564076,0.02506278,0.0265935,0.0206535,-0.01426705,-0.02786877,0.03448104,0.04935912,-0.00981004,-0.00262142,0.04604946,-0.02718812,0.01652368,0.0124059,-0.00373997,-0.07111192,0.02502075,-0.00036823,-0.04573665,0.01135485,-0.03983575,-0.00192498,0.01131021,-0.01947111,0.0372935,0.02325178,-0.00003596,0.00153508,-0.06137057,0.01258202,-0.02353665,-0.01095483,-0.00812376,0.03283454,0.01931471,0.04677085,0.01086843,0.00347748,-0.01813537,-0.01744221,0.00824993,0.01140393,0.01492479,0.09255296,0.01282951,0.02632004,0.0258078,0.01014867,-0.0234109,-0.06546725,-0.01083771,0.03036504,0.06070403,-0.01360872,0.01663447,0.01874136,-0.00962592,0.00070361,-0.01528692,-0.01510633,0.02656491,0.04852773,-0.03618553,-0.00407833,0.01745827,-0.04283353,0.03924985,-0.03407144,-0.30977508,0.05416663,-0.02038177,0.00156743,-0.01899077,0.04509767,-0.04314799,-0.10117277,-0.06941618,0.01545485,-0.05687527,0.09956261,0.05057294,-0.03645096,0.07391097,0.01101432,0.03306441,-0.00336462,0.01676076,-0.02674828,0.00143089,0.05749603,0.20433915,0.01881259,0.04423758,0.00927197,-0.02421794,0.03470385,0.10668211,0.03995466,-0.00901193,0.01188932,0.14023814,-0.00826551,0.03879441,0.00492672,-0.00648049,0.04404462,0.0116242,-0.00543786,-0.03612916,0.05483893,-0.08026662,0.01730002,0.06336477,0.05778246,-0.01958935,-0.08886418,0.00633207,0.02608928,-0.01211819,0.0061377,-0.02862456,0.05688274,0.00397548,0.05487457,-0.01175982,-0.02770467,-0.06020439,0.01649413,0.03275653,0.0114047,0.04737682,0.01883403,0.04357857],"last_embed":{"hash":"183795t","tokens":478}}},"text":null,"length":0,"last_read":{"hash":"183795t","at":1764391564418},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算#シンタックスの拡張#{1}","lines":[67,104],"size":954,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"183795t","at":1764391564418}}, diff --git a/content/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md b/content/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md index 22d8cd78..fe2dd658 100644 --- a/content/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md +++ b/content/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md @@ -59,19 +59,47 @@ mimiumはコードを専用のVMバイトコードへコンパイルし実行す ## 多段階計算 -多段階計算は、型付きラムダ計算に対して、計算のステージを複数段階に分割する明示的なシンタックスを導入するものである。Lisp系言語のquote/splice機能[@lisp]のように、部分的に計算したコード片を埋め込むようなものを想定しているが、不正な値が埋め込まれないことを型システムとして保証することが特徴である。 - -実用的な例では、Scala 3でのマクロや、関数型組版処理エンジンSaTysFi[@suwaMLStyleModuleSystem2024]のように、言語内DSLを型安全にライブラリとして実装することを想定しているものがある。 +多段階計算は、型付きラムダ計算に対して、計算のステージを複数段階に分割する明示的なシンタックスを導入するものである。Lisp系言語のquote/splice機能[@lisp]のように、部分的に計算したコード片を埋め込むようなものを想定しているが、不正な値が埋め込まれないことを型システムとして保証することが特徴である(逆に、通常マクロに期待される型システムの範囲を超えたメタ操作を行うことは許されない)。実用的な例では、Scala 3でのマクロや、関数型組版処理エンジンSaTysFi[@suwaMLStyleModuleSystem2024]のように、言語内DSLを型安全にライブラリとして実装することを想定しているものがある。mimiumにおいては、多段階計算はコンパイル時に行う計算(=シグナルグラフのルーティングの決定)と、ランタイム時に行う計算(=実際のオーディオ処理)を区別するのに用いている。 -### シンタックス +### シンタックスの拡張 図nにmimiumの内部表現Lambda-mmmに多段階計算の体系を加えた新しい内部表現 $\lambda_{Mmmm}$(Multi-stage version of $\lambda_{mmm}$)のシンタックスを定義する。 +型にはCode Type $\langle t\rangle$を加える +$$ +\begin{align} +\tau ::= + &\quad R \quad &\\ + |&\quad I_n \quad &n \in \mathbb{N} \\ + |&\quad \tau → \tau &\\ + |&\quad \langle \tau \rangle +\end{align} $$ +式にはクオートとスプライスを加える。mem(e)はシングルサンプルのディレイだが、これは遅延時間のデータを保存する必要がないため通常のディレイと区別して使用される。 +$$ +\begin{align} +e ::= + &\quad R & R \in \mathbb{R} [number]&\\ + |&\quad e \ e \quad& [app]&\\ + |&\quad \lambda x.e& [abs]&\\ + |&\quad let\; x\; =\; e\; in\; e& [let]&\\ + |&\quad delay(x,e_{time},v_{bound})&[delay]&\\ + |&\quad mem(e) &[mem]&\\ + |&\quad feed\ x.e &[feed]&\\ + |&\quad `(e) &[quote]&\\ + |&\quad $(e) &[splice]& +\end{align} +$$ - +$$ +\begin{align} +v ::= + |&\quad R & R \in \mathbb{R} [number]&\\ + |&\quad cls(e,E) &[closure]&\\ + |&\quad \langle v \rangle &[code]&\\ +\end{align} $$ ### シンタックスシュガー