From 88376a6591f485b1f59a563a97354120ea7f4231 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?= =?UTF-8?q?a?= Date: Sun, 30 Nov 2025 16:03:15 +0900 Subject: [PATCH] [obsidian] vault backup: 2025-11-30 16:03:15[ --- ...アクティブプログラミングのによる信号処理のライブコーディング_md.ajson | 5 +++++ content/.smart-env/smart_env.json | 2 +- ...型リアクティブプログラミングのによる信号処理のライブコーディング.md | 2 ++ 3 files changed, 8 insertions(+), 1 deletion(-) diff --git a/content/.smart-env/multi/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング_md.ajson b/content/.smart-env/multi/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング_md.ajson index 493c7331..94a30367 100644 --- a/content/.smart-env/multi/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング_md.ajson +++ b/content/.smart-env/multi/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング_md.ajson @@ -165,3 +165,8 @@ "smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05375663,-0.06480703,-0.0401981,-0.02955358,-0.00403846,0.02560512,-0.0544009,0.01584142,0.04256606,0.00795486,0.01386794,-0.09482073,0.06883983,0.00279893,0.05766617,-0.02194202,0.00969542,0.00998752,-0.10028793,-0.02187891,0.144402,-0.03469553,0.03344238,-0.04293275,0.08651868,0.0253732,0.0062484,-0.05108931,-0.00093296,-0.19630802,-0.00250435,-0.0179426,0.06835101,0.00411216,-0.01918352,0.01975309,-0.01799717,0.03835849,-0.03391705,0.02223755,0.00110373,-0.01522185,-0.00165775,-0.00290874,-0.02301858,-0.0325946,-0.04326262,-0.03519956,-0.00677966,-0.0197563,-0.0862867,-0.03613779,-0.00621649,0.01114419,0.02842108,0.03484901,0.03277012,0.05359523,-0.02564535,0.03470486,-0.00336005,0.00846509,-0.22904371,0.0160962,0.03364351,0.03267789,-0.06991271,-0.05102628,0.04093568,0.0102328,-0.06978797,0.01781493,-0.00624488,0.0589983,0.03810235,0.02463639,-0.01393692,-0.06648263,-0.001905,0.00628,-0.01293698,0.04038158,0.01400744,-0.0070762,-0.02531654,-0.01491764,0.06359723,-0.0203556,0.0256555,-0.00225281,-0.03632532,-0.01620612,0.01219088,0.0754916,-0.04444058,-0.02731797,-0.0050537,0.01435074,0.02087727,0.09364731,-0.01551974,0.00821573,-0.00409438,-0.02399253,0.01579167,-0.0125776,-0.01306995,-0.0427935,0.0263102,-0.02551778,-0.01774505,0.0156556,0.04342611,-0.04949585,-0.05663367,0.01136408,0.03682511,-0.03789993,0.0159482,-0.01657999,0.04802001,0.04307422,0.02093152,-0.01743107,0.0213166,-0.00125515,0.05760422,0.06097412,0.05941028,0.04095265,0.02094048,0.07196613,-0.0637967,-0.01629219,-0.00997314,-0.00022416,-0.04082588,0.00987094,0.02819247,0.0208269,-0.0241389,-0.09953827,-0.02342018,-0.06270885,-0.05588619,0.15613069,-0.06979761,-0.01857577,-0.02252181,0.0133611,-0.00043637,0.09659963,-0.01497142,-0.01132862,0.03292669,-0.07143951,0.02689635,0.14199409,-0.07102881,0.01394493,-0.00290136,-0.02914944,-0.0538775,0.13101214,-0.00348413,-0.07157969,0.03180985,0.01653621,-0.0265486,-0.05716958,0.03267204,0.00913921,-0.03520113,-0.03400245,0.04163861,0.03904673,0.01246415,0.00347028,-0.03332028,0.05258972,-0.00310034,-0.03761999,-0.04547659,0.0142462,0.00038786,-0.07840867,-0.00035736,-0.01428272,0.0233673,0.00738177,-0.1193084,0.03652116,0.01324487,0.00489542,-0.04986945,-0.05279119,-0.00654692,0.0274698,0.02202753,-0.0107846,0.09310589,0.09959386,-0.03030855,-0.03934692,0.03047427,0.01311705,0.04304051,-0.01625418,0.02473622,0.03332685,-0.05309672,0.0113954,0.00532997,0.05492718,0.01793358,0.00842494,0.0256466,-0.01596165,0.03900582,0.0777545,0.01671869,-0.04706613,-0.12775575,-0.22393954,0.01172866,0.04365946,-0.04857166,0.0317196,-0.05309432,-0.00876085,-0.03553737,0.07147539,0.04942523,0.09658089,0.03231842,-0.03394509,-0.01011271,-0.03343756,-0.04440505,0.02186289,-0.02936531,-0.0319354,0.05215968,0.01510074,0.00786322,0.00848498,0.01110056,0.03554808,-0.04184816,0.11331012,0.02586633,0.01560713,0.00082718,0.02400971,-0.00369578,-0.010139,-0.06579321,0.07208733,0.01492064,-0.03480936,-0.05483642,0.00458695,-0.02704841,0.02359395,0.03405779,-0.03003556,-0.09008089,-0.0189212,-0.0454573,0.00146043,0.01406805,-0.0079818,0.07160049,0.01184724,0.01408153,0.04603214,0.05278212,0.0121829,0.00916503,-0.05837451,0.0131038,0.0130587,-0.03389418,-0.00330752,0.0391737,0.0161408,-0.00977541,0.0123294,-0.02676816,-0.02298451,0.01444185,-0.0105545,0.01903765,-0.00558925,0.13275792,0.01505067,0.03159287,0.02691818,0.05658663,-0.01402496,-0.08410162,-0.01961976,-0.002329,0.08405244,0.03801627,0.0118856,0.04316124,0.00207623,0.0407297,0.02100644,-0.06110837,0.02269767,-0.02277698,-0.08640456,-0.03868433,0.02907036,-0.04958203,0.06154654,-0.00152798,-0.31532264,0.0242538,-0.03307938,-0.00942951,-0.01380956,0.03502873,-0.00845276,-0.07434568,-0.05695796,-0.004044,-0.04827284,0.0650399,0.0374912,-0.03267347,0.05711669,-0.02001526,0.06086589,-0.01101457,0.04805508,-0.03018567,0.00029032,0.04049284,0.19943033,-0.02978505,0.01546934,0.00577788,0.0211244,0.07124637,0.08353443,0.02773517,-0.00477085,-0.02042987,0.13367809,0.02895671,0.00334422,0.02237896,-0.04217227,-0.02974266,0.00746548,-0.00924155,-0.02969101,0.02706463,-0.04855796,0.01934088,0.11906652,0.01535031,-0.02435792,-0.10133022,0.00303283,0.02798147,-0.03723244,-0.00673655,-0.05448114,0.01269217,-0.00269906,0.05200807,0.01958971,-0.00875051,-0.0472342,-0.00669029,-0.00299675,0.00734128,0.00366131,0.0487446,0.04581039],"last_embed":{"hash":"1x4jxzw","tokens":498}}},"text":null,"length":0,"last_read":{"hash":"1x4jxzw","at":1764472946946},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算","lines":[60,169],"size":2723,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"1x4jxzw","at":1764472946946}}, "smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算#シンタックスの拡張": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.1101054,-0.08336852,0.01678403,-0.0516838,-0.03528276,0.04364277,-0.05612363,0.03730054,0.04634269,0.02647769,0.05017418,-0.09885298,0.08519594,-0.00147854,0.06642113,-0.01494677,0.00856636,-0.00548264,-0.126637,-0.04922737,0.10890709,-0.01112458,0.02487433,-0.03248169,0.07403561,0.0387823,0.01402866,-0.01547171,0.00805905,-0.2209325,-0.00839423,0.03757425,0.040065,0.00732365,-0.04747432,-0.0173505,-0.04003854,0.04563342,-0.03913102,0.02119043,0.00879021,0.01531854,-0.0031138,-0.0149889,0.0202147,-0.07438155,-0.03338525,-0.01815603,0.00589433,-0.02234611,-0.06676768,-0.06137883,-0.03731825,-0.00041327,0.02513826,0.03971837,0.02258954,0.02656839,-0.01764638,0.00258481,0.03286371,-0.00655058,-0.20507036,0.03773617,0.01561877,-0.00209628,-0.02602653,-0.0593944,0.05230815,0.04787299,-0.06232927,0.0072139,-0.01178948,0.02769825,-0.00090579,-0.0097313,0.0287384,-0.0809104,-0.03233495,0.03111831,-0.02273002,0.02250659,-0.00961761,-0.02202639,0.01062168,0.00268842,0.04499381,-0.0251062,0.00781622,0.00974072,-0.05541618,-0.02892429,-0.00972107,0.07501905,-0.05198177,0.00125395,0.01232581,-0.00865124,0.03539585,0.09286485,0.00002714,-0.01007573,-0.02664929,-0.03700309,0.03383162,0.00343114,-0.0335835,-0.05325904,0.0213022,-0.02467992,-0.00569102,-0.01279982,0.03092656,-0.04302145,-0.03266748,0.03909306,0.01629602,-0.00837911,0.02916861,-0.00795275,0.03848701,0.00628607,0.03549492,0.0036043,-0.00663044,-0.00486648,0.03995099,0.03548364,0.00616031,0.00902566,0.02105825,0.08180945,-0.05665243,-0.00921821,-0.0186688,0.04506537,-0.04153531,-0.01201378,0.07322141,0.01648979,-0.03005968,-0.12371638,-0.03591263,-0.10865305,-0.02480288,0.1371243,-0.04893065,-0.00830464,-0.0427718,0.01323845,0.02042811,0.10326687,-0.01989833,-0.02423539,0.00993987,-0.09665842,0.04225975,0.13728039,-0.06280982,-0.02943618,-0.01787349,-0.04014151,-0.07651078,0.14452839,-0.01027702,-0.06808808,0.03173784,0.05491477,0.00678708,-0.05891291,0.06939204,0.06966399,-0.00594353,-0.0155974,0.06565262,0.01827828,-0.01748378,-0.00603998,-0.01077149,0.02116977,-0.00449305,-0.09539375,-0.04600988,0.00076428,0.03256513,-0.05992097,0.01918134,-0.01086052,0.02672555,0.0227024,-0.05319197,0.07088362,-0.02214099,0.0345615,-0.06119112,-0.04016954,-0.04452028,0.01753344,0.02409152,-0.07065574,0.12242319,0.08162302,-0.01708822,-0.01249293,0.030855,0.02109412,0.0323963,-0.01503731,0.01684028,0.04769397,-0.05608919,-0.01101554,0.02758154,0.0147904,-0.01567675,0.01883979,0.04029688,-0.00220256,-0.00072679,0.04764273,0.032943,-0.0271027,-0.11298318,-0.2230932,0.00401441,0.0427427,-0.06872897,0.01182212,-0.06050434,0.01549013,-0.04487647,0.08446225,0.0117133,0.08508322,0.01743909,-0.03488614,0.00448553,-0.05911926,-0.03032904,0.0283769,-0.03179462,0.00200835,0.04113125,-0.03516583,0.02133014,-0.00460973,0.01498459,0.04925863,-0.034417,0.12802428,0.00713812,0.03009269,0.04314474,0.02417439,0.01168456,-0.02409811,-0.0238412,0.05268709,0.05902589,-0.0337932,-0.00721564,0.03737654,-0.02884674,0.0305825,0.00429157,-0.01656127,-0.07413293,0.02207147,-0.02146188,-0.05362043,0.00987445,-0.02809978,0.00185065,0.0027834,0.01442765,0.03765791,0.01931682,-0.00497723,0.0061601,-0.06763183,0.00202732,-0.00321514,-0.00905743,-0.00209314,0.03261112,0.01998681,0.04392736,0.01524739,0.00149077,-0.00916463,-0.02305592,0.02338179,0.00244009,0.00993267,0.08375982,0.0195144,0.02109494,0.009584,0.01996091,-0.01673228,-0.06171072,-0.00584118,0.02378161,0.04850565,-0.02622899,0.00522045,-0.00046504,-0.01383456,0.00949352,-0.02109643,-0.02814974,0.03241651,0.02763199,-0.04588901,-0.01347213,0.02333349,-0.03494582,0.03156092,-0.02482232,-0.30125806,0.03901836,-0.03563511,0.00549406,-0.03024443,0.06217197,-0.03266641,-0.09363722,-0.06834865,0.01165924,-0.03327515,0.08859883,0.04633887,-0.05822673,0.08393848,-0.00844703,0.04791643,-0.00628607,0.0322746,-0.01111474,0.00650669,0.05480681,0.19825517,0.01990772,0.05429475,0.01220236,-0.00813757,0.04578155,0.09606624,0.0395034,-0.006871,0.00396006,0.1373232,-0.01251422,0.04031741,0.00692272,-0.00428797,0.02360736,0.01735091,-0.01273826,-0.05251153,0.04838343,-0.08870309,0.01426787,0.06239606,0.06397641,-0.02296703,-0.08996953,0.0061651,0.01953151,-0.01049028,0.01757781,-0.03250284,0.0496207,0.00942829,0.04728096,-0.02156816,-0.02750793,-0.06264196,0.01195389,0.03150369,0.03330892,0.04313482,0.017631,0.04027891],"last_embed":{"hash":"16l3l9t","tokens":464}}},"text":null,"length":0,"last_read":{"hash":"16l3l9t","at":1764472947021},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算#シンタックスの拡張","lines":[65,116],"size":1245,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"16l3l9t","at":1764472947021}}, "smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算#シンタックスの拡張#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.10732656,-0.07799275,0.01663608,-0.05071001,-0.03830868,0.04658629,-0.05310854,0.03806392,0.04714629,0.02621305,0.0522592,-0.09824768,0.08597518,-0.00276351,0.067841,-0.01217374,0.00903479,-0.00438039,-0.12216947,-0.04883195,0.10982553,-0.01112764,0.02095992,-0.03031056,0.07703014,0.03798717,0.015153,-0.01564521,0.00580921,-0.22209966,-0.00782753,0.0366821,0.04369263,0.00698536,-0.04819577,-0.02105372,-0.03828632,0.04521973,-0.04008214,0.02011185,0.01196346,0.01571461,0.0018169,-0.01745313,0.02059567,-0.07252243,-0.03277903,-0.01975047,0.00696139,-0.02448661,-0.06889442,-0.06052058,-0.03986245,-0.00089237,0.02607019,0.04113874,0.02167181,0.02759439,-0.01851694,0.00493059,0.03155539,-0.00836192,-0.20494421,0.03898074,0.01580945,-0.00315279,-0.02438977,-0.0596132,0.05100742,0.0484736,-0.06362871,0.01012283,-0.0123349,0.02774573,-0.00296339,-0.00894787,0.02722483,-0.08169182,-0.0339537,0.03506655,-0.02667625,0.02182185,-0.011403,-0.02345422,0.01175178,0.00454103,0.0468153,-0.0295689,0.00700666,0.0105562,-0.05324574,-0.02798301,-0.00977483,0.07404891,-0.05002485,-0.00049031,0.01317552,-0.00712586,0.03573385,0.09459788,-0.0022688,-0.00887077,-0.03213935,-0.03491895,0.03739412,0.00399847,-0.03346713,-0.05138567,0.02318245,-0.02752709,-0.00384539,-0.0098458,0.03128674,-0.04405297,-0.03804055,0.04068846,0.01842445,-0.00463959,0.02874867,-0.01192987,0.03742072,0.00952898,0.03858604,0.00306069,-0.00520263,-0.00550514,0.0374863,0.03250831,0.00686973,0.00537925,0.01923203,0.07743604,-0.0593112,-0.01131551,-0.01676089,0.04460921,-0.03681204,-0.01073181,0.07291339,0.01400327,-0.02949051,-0.12471088,-0.03805166,-0.10709684,-0.02779369,0.13733572,-0.05327884,-0.00818611,-0.039215,0.01225325,0.01778428,0.10895056,-0.0219465,-0.02739012,0.0102561,-0.09604193,0.04184885,0.13528959,-0.06640092,-0.03125577,-0.0200964,-0.04126833,-0.08058663,0.14128658,-0.01203863,-0.06977689,0.03298447,0.05420126,0.00108872,-0.05736572,0.07145065,0.07080646,-0.00389153,-0.01572262,0.06617788,0.02211697,-0.01846572,-0.00528156,-0.01085191,0.01705074,-0.00312285,-0.09785991,-0.0437949,-0.00186131,0.03225187,-0.05871546,0.01954028,-0.01107079,0.02746085,0.02039258,-0.05458872,0.07087419,-0.02051951,0.03356101,-0.06152218,-0.04121298,-0.04306882,0.01866319,0.02544516,-0.06998354,0.12195007,0.08366593,-0.01427294,-0.01373053,0.03317405,0.01971392,0.02826737,-0.01601832,0.02066598,0.04648339,-0.05595106,-0.01267872,0.02469346,0.01316763,-0.01615422,0.02042502,0.04522579,-0.00319724,-0.00078968,0.04606106,0.03439581,-0.02475923,-0.11417995,-0.222482,0.00244775,0.04316663,-0.06876537,0.01042268,-0.06342015,0.0172509,-0.04407926,0.08381588,0.00880793,0.08097282,0.01740608,-0.03633343,0.00735625,-0.0584004,-0.03088626,0.03088451,-0.03302985,0.00178163,0.03981975,-0.03560163,0.02112818,-0.0064395,0.01646956,0.05033895,-0.03531021,0.1258591,0.00556841,0.03324239,0.04085556,0.02165043,0.00948842,-0.02077685,-0.02169497,0.04859868,0.05660911,-0.03004566,-0.01017703,0.03983786,-0.02718136,0.02468115,0.00357957,-0.01622756,-0.07217047,0.0245419,-0.02139562,-0.05134524,0.00933557,-0.02820452,0.00082173,0.00213345,0.01120611,0.03892041,0.01392791,-0.00608852,0.0035056,-0.0698328,0.00065604,-0.00372377,-0.0109462,-0.00301409,0.03283016,0.02396644,0.04436165,0.01102227,0.00246968,-0.01056744,-0.02421863,0.02416808,0.0026923,0.0118852,0.084076,0.01649834,0.0244151,0.00990161,0.02202216,-0.01689114,-0.06033565,-0.00727182,0.0282725,0.0477674,-0.0270126,0.00883046,0.00141659,-0.0137765,0.00820632,-0.01784844,-0.02578402,0.02815103,0.02996847,-0.04581321,-0.0139088,0.01922325,-0.03196,0.03299918,-0.02472409,-0.30027509,0.03956732,-0.03940056,0.00488799,-0.03067361,0.06041192,-0.03385255,-0.09379718,-0.06974404,0.01010159,-0.0307131,0.08881206,0.04877662,-0.05406725,0.0845306,-0.00895394,0.04651583,-0.01102111,0.02976235,-0.01276082,0.01263496,0.05760837,0.19694933,0.02223556,0.05621923,0.0120276,-0.00642156,0.04339234,0.094777,0.04218258,-0.00145756,0.00318614,0.13970879,-0.01465716,0.04422511,0.00986163,0.00052117,0.02449276,0.01731381,-0.0148194,-0.04974055,0.04736255,-0.08874907,0.01192921,0.06253403,0.06152374,-0.02002824,-0.0900718,0.00660185,0.02106128,-0.00489449,0.01902042,-0.03315836,0.05317916,0.00823662,0.04315015,-0.0220402,-0.02517065,-0.06362772,0.01323263,0.03094716,0.03633988,0.03800994,0.01786412,0.04340598],"last_embed":{"hash":"1kp85ia","tokens":464}}},"text":null,"length":0,"last_read":{"hash":"1kp85ia","at":1764472947062},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算#シンタックスの拡張#{1}","lines":[67,116],"size":1230,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"1kp85ia","at":1764472947062}}, + +"smart_sources:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md": {"path":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md","embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.04798622,-0.01547116,0.0087741,-0.02811075,0.03462419,0.03128143,-0.07464878,0.05375339,0.0439228,0.01988896,0.01268326,-0.06354941,0.05358149,0.0607504,0.0115329,-0.01890855,0.01409984,-0.05030413,-0.05231478,-0.01519264,0.15605196,-0.038872,0.03443161,-0.02513581,0.07532852,0.01825871,-0.02082136,-0.01756844,-0.03527292,-0.16561671,-0.03797318,0.01410958,0.07223589,0.01604075,0.04742087,0.0060639,0.01171562,0.04663484,0.00235293,0.05517679,-0.03612356,-0.01144118,0.02718233,-0.0032548,0.03974244,-0.01948632,-0.008084,-0.06268093,-0.03115413,-0.04568674,-0.10425757,-0.0596677,-0.01240616,0.00941231,0.02753908,0.00777903,0.05906854,-0.01794657,0.00972517,0.05900347,0.02658875,0.02822442,-0.26975492,0.03074652,0.04173594,-0.02910171,-0.09185486,-0.01784843,0.04301937,0.00885465,-0.0473488,0.01080479,0.00887938,0.01959339,0.05415605,0.01929043,-0.02425705,-0.06566214,-0.00387143,-0.05298385,-0.02820668,0.05731277,0.01020516,-0.01156199,-0.03797648,-0.00911321,0.01893744,-0.03634351,0.01563865,0.01956711,-0.03106758,-0.01130223,0.00701268,0.04244091,-0.07536048,-0.02095552,0.00706954,0.02657907,-0.00337258,0.10355794,-0.05036525,0.01906759,0.0142767,-0.0537934,0.00625497,-0.03677713,-0.03812963,-0.06163416,0.01948732,0.0072259,-0.02760912,0.00176328,0.02863688,-0.04798276,0.00581574,-0.00915272,0.08410989,-0.01280992,-0.00899832,-0.00097799,0.02501031,0.0089203,0.00272561,-0.01527566,0.0120501,-0.00408658,0.02667073,0.03367665,0.01716231,-0.01454782,0.05422023,0.05955047,-0.05442736,-0.00759273,-0.00488076,0.01665901,-0.0261653,-0.02214617,0.00102113,-0.01612308,-0.03411845,-0.12648353,-0.02357565,-0.07785616,-0.09938197,0.14021143,-0.05441701,0.0029066,0.01905309,-0.00877723,-0.02781872,0.07662333,-0.01573342,-0.02162269,0.0332645,-0.04662977,0.05895153,0.12806454,-0.04824743,0.00168245,-0.03292106,-0.07626354,-0.02986133,0.12607358,0.01764037,-0.02760012,-0.02042634,0.06119384,0.01851533,-0.07084606,0.01473087,-0.00360887,0.01859631,-0.01623397,0.06652814,0.09727929,0.09596914,0.00999941,-0.03820319,0.04000719,-0.00626294,-0.02751854,-0.039648,0.04120766,-0.01649776,-0.03513739,0.01493058,-0.02278314,0.03781569,-0.00627828,-0.0731232,0.01729706,0.00665871,0.03049983,-0.05209791,-0.05747335,-0.03443072,-0.02205901,-0.00270652,-0.09054297,0.09847965,0.0495421,-0.04094892,-0.03291938,0.05901321,-0.00145897,0.03873187,-0.02576339,0.02993149,0.03693497,-0.036437,-0.01008599,0.05976402,0.04454163,0.00347833,0.02919606,0.01817696,-0.00121608,0.04770853,0.10200492,0.02838903,-0.00712252,-0.08861417,-0.20171534,-0.00074198,0.03863744,-0.05800547,-0.01300637,0.01538144,0.05100477,-0.07680339,0.10381176,0.07470748,0.07748148,0.07060397,-0.05978229,-0.00708828,0.00548528,-0.00655482,0.03754126,-0.04328034,-0.02177413,0.05132581,0.02128259,-0.01040681,0.00687349,-0.00496901,0.0439607,0.00559149,0.09541577,0.04080158,-0.04261945,-0.02651788,0.05326995,0.01618622,-0.00679278,-0.09182012,0.05611835,0.00637201,-0.04783591,-0.01217213,-0.01334121,-0.05968683,0.0176599,0.02412357,0.0087165,-0.04456924,-0.0412624,-0.05582586,-0.02330055,-0.00519504,-0.05392109,0.04248201,0.04046846,0.00615437,0.09435263,0.03695063,-0.00601512,-0.01658782,-0.01054829,-0.00437718,0.0008349,0.00435353,0.02852683,0.00723391,-0.01291635,-0.07047248,-0.02280544,-0.00230493,0.00674739,0.02597299,-0.02290452,0.04390932,0.02063486,0.13007848,0.01407205,0.02582236,0.05362006,0.04240515,0.00212705,-0.07845215,-0.00702442,0.00147316,0.03844387,0.00209628,0.08421598,0.05107885,-0.02417921,0.01349352,0.03655784,-0.05049171,0.01515665,-0.01438631,-0.06605645,-0.0411087,-0.01256896,-0.00076767,0.03431517,-0.00548539,-0.32295561,0.02471191,-0.04977366,0.01133189,0.02680255,0.01781997,-0.01597985,-0.01043758,-0.03626692,0.03635722,-0.05575586,0.0767512,0.03017439,-0.07205991,0.00547191,0.0160614,0.00870943,-0.01984093,0.00128624,-0.03993277,-0.02577696,0.02700817,0.19136843,-0.03089115,-0.01625774,-0.03241457,-0.01772751,0.04914853,0.08602347,-0.00920901,-0.01407247,-0.0177206,0.09745903,0.02921523,0.01030678,0.01839901,-0.04591322,0.01471135,-0.01734445,-0.04513222,-0.04702697,0.04647215,-0.01492286,0.01650054,0.09302276,0.00712478,-0.05640247,-0.06258129,-0.01598923,0.00145119,-0.0233974,-0.02307546,-0.03810604,0.03324538,0.02329565,0.06877041,0.04823028,0.01809306,-0.02989158,-0.01492989,0.03096068,0.01266987,0.00852729,0.05326845,0.03408564],"last_embed":{"hash":"vgferh","tokens":489}}},"last_read":{"hash":"vgferh","at":1764484284629},"class_name":"SmartSource","last_import":{"mtime":1764484271738,"size":20503,"at":1764484284222,"hash":"vgferh"},"blocks":{"#---frontmatter---":[1,3],"#paper #research":[4,314],"#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,171],"#paper #research#多段階計算#{1}":[62,64],"#paper #research#多段階計算#シンタックスの拡張":[65,118],"#paper #research#多段階計算#シンタックスの拡張#{1}":[67,118],"#paper #research#多段階計算#シンタックスシュガー":[119,126],"#paper #research#多段階計算#シンタックスシュガー#{1}":[121,126],"#paper #research#多段階計算#多段階計算によるメタ操作の実例":[127,171],"#paper #research#多段階計算#多段階計算によるメタ操作の実例#{1}":[129,171],"#paper #research#コールツリーの解析":[172,195],"#paper #research#コールツリーの解析#{1}":[174,184],"#paper #research#コールツリーの解析#{2}":[185,187],"#paper #research#コールツリーの解析#{3}":[188,195],"#paper #research#状態構造ツリー同士の比較":[196,232],"#paper #research#状態構造ツリー同士の比較#{1}":[198,218],"#paper #research#状態構造ツリー同士の比較#サンプルコード":[219,232],"#paper #research#状態構造ツリー同士の比較#サンプルコード#{1}":[221,232],"#paper #research#議論":[233,302],"#paper #research#議論#他の言語とのコンパイル時計算のパラダイム比較":[236,252],"#paper #research#議論#他の言語とのコンパイル時計算のパラダイム比較#{1}":[238,252],"#paper #research#議論#ライブ状態更新のエッジケース":[253,302],"#paper #research#議論#ライブ状態更新のエッジケース#{1}":[255,302],"#paper #research#将来的な展望":[303,314],"#paper #research#将来的な展望#{1}":[306,314]},"outlinks":[{"title":"mimium","target":"mimium","line":9}],"metadata":{"date":"2025-09-25 11:42","tags":["#paper","#research"]},"task_lines":[],"last_embed":{"hash":"vgferh","at":1764484284225},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md"},"smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05318603,-0.01912289,-0.00439954,-0.02512979,0.0374392,0.03994996,-0.05715743,0.06773082,0.05446111,0.01677745,0.0095112,-0.04185528,0.04948675,0.04092842,0.00683188,-0.02314745,0.01407461,-0.02801253,-0.0565474,0.00214218,0.15114459,-0.0492441,0.03922349,-0.01367401,0.07010861,0.01454657,-0.03151468,-0.02101325,-0.03111614,-0.17797759,-0.0316783,0.0211286,0.0706687,0.02591229,0.05964985,0.02942431,0.0139985,0.0370296,0.0307867,0.05466243,-0.03814684,-0.02398211,0.03953903,-0.00052432,0.05216392,-0.02384005,-0.00320312,-0.0622858,-0.02201733,-0.04933487,-0.10919102,-0.06027556,-0.01141823,0.00386239,0.02010983,0.00274191,0.06624971,-0.02653024,0.01382302,0.05691341,0.01994397,0.04401733,-0.2682586,0.03566903,0.04901106,-0.02229712,-0.12530819,-0.01463322,0.02753382,0.01226702,-0.05331615,0.03462047,0.02850712,0.01403786,0.05935349,0.01969315,-0.01906516,-0.05800017,-0.00063968,-0.04733317,-0.03525477,0.05900684,0.01588272,0.00351173,-0.06796141,-0.01130122,0.01003586,-0.03990441,0.03003176,0.00257314,-0.01423194,-0.00075783,0.00013739,0.04822995,-0.07358547,-0.0461835,0.01079487,0.03532552,0.01317208,0.11457618,-0.03814017,-0.01833583,0.04453879,-0.04633869,-0.0034591,-0.04733319,-0.04202586,-0.05852754,0.01740318,0.0248646,-0.03295868,-0.001032,-0.0040139,-0.03768231,0.0135917,-0.03138779,0.0468295,-0.02837952,-0.01664673,-0.00982918,-0.00968824,0.02647012,-0.01717253,-0.00439183,0.00925362,-0.03468686,0.02904155,0.03928893,0.02443485,-0.01132661,0.03855708,0.05001474,-0.02893839,-0.01201882,-0.016159,0.01692341,-0.0270936,-0.00617972,-0.00147307,-0.00984516,-0.01206288,-0.09042283,-0.02186779,-0.07017214,-0.0967193,0.13627855,-0.0413478,0.00048361,0.00431132,0.00103757,-0.015139,0.07647739,-0.03175436,0.00239803,0.02956279,-0.04188596,0.05957634,0.12813053,-0.03875181,-0.00588062,-0.03182586,-0.06691957,-0.02526684,0.14429437,-0.00190307,-0.00977944,-0.02987517,0.05974526,-0.01101682,-0.07132304,0.01340274,-0.00931294,0.02183986,-0.01555051,0.0385722,0.09171908,0.07409161,-0.00097291,-0.03062372,0.03918534,-0.00164785,-0.01625611,-0.05078461,0.03377249,0.00108115,-0.03194484,0.01054215,-0.02110994,0.03377536,-0.01089834,-0.07961688,0.02517094,0.00515601,0.02069427,-0.07196901,-0.04435747,-0.035016,-0.04856955,-0.00949802,-0.10026422,0.09463787,0.07253689,-0.04337348,-0.02296015,0.0555161,0.01512657,0.03843791,-0.01546553,0.03096407,0.03254133,-0.05552828,-0.01310943,0.05031322,0.03393518,0.00277921,0.03199337,0.02252908,-0.01082628,0.06212304,0.11787309,0.04285356,-0.02813395,-0.10164186,-0.1996941,-0.01768791,0.03238699,-0.05919579,-0.00181641,0.0143271,0.05851377,-0.05673255,0.08653058,0.07246029,0.07131556,0.063099,-0.07873143,-0.00162749,0.01588929,-0.01001733,0.02633857,-0.04514063,-0.02102482,0.04616283,0.02991395,-0.01114095,0.0066263,0.010428,0.05939353,0.00518879,0.10097655,0.02512996,-0.02816294,-0.01759526,0.03708853,0.01138461,-0.00404532,-0.08855736,0.05482371,0.01729146,-0.04618944,-0.00983718,-0.01330819,-0.06173328,0.01797778,0.02215042,0.00348358,-0.04043083,-0.03868723,-0.04941135,-0.02444263,-0.01227887,-0.06048322,0.03924522,0.03049886,0.01613893,0.08184122,0.02019417,-0.00724781,-0.00870438,-0.00462681,0.00815263,-0.01921463,-0.00126519,0.03062115,-0.00451099,0.02240724,-0.07781696,-0.0070384,0.01464488,0.00521729,0.03342256,-0.01891333,0.0469924,0.03817015,0.13706106,0.02697783,0.02939212,0.05165793,0.05231154,0.02419768,-0.08208194,-0.00896736,-0.00454136,0.03599903,0.01123341,0.08093253,0.02275712,-0.03673236,0.01862952,0.03610632,-0.06297959,-0.00030801,-0.02382203,-0.07692904,-0.02249006,-0.00706101,0.01449206,0.03152349,-0.0202955,-0.3136861,0.01176962,-0.05739991,0.02630319,0.01415644,0.01668602,-0.00968068,0.00519236,-0.02051642,0.02075674,-0.05484698,0.06523605,0.03282306,-0.07132607,-0.0090746,0.02328608,0.0017198,-0.02102171,0.01597029,-0.03187168,-0.02654956,0.02205176,0.20056143,-0.05038726,-0.02031364,-0.05278126,0.00500743,0.05480837,0.07255914,-0.02000515,0.01352166,-0.02058534,0.0836648,0.02765043,0.02650763,0.02283824,-0.04415827,0.01971386,-0.0093516,-0.06674593,-0.03173202,0.04093813,-0.03566756,-0.0065203,0.07521047,0.01102093,-0.04357595,-0.06105181,-0.01899467,0.00254015,-0.02701907,-0.02454391,-0.05674991,0.02579558,0.04272588,0.06052114,0.0327116,0.00904672,-0.01844072,-0.00457234,0.03547719,0.01358227,0.02575352,0.07365296,0.03210447],"last_embed":{"hash":"w03pak","tokens":457}}},"text":null,"length":0,"last_read":{"hash":"w03pak","at":1764484284449},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research","lines":[4,314],"size":9502,"outlinks":[{"title":"mimium","target":"mimium","line":6}],"class_name":"SmartBlock","last_embed":{"hash":"w03pak","at":1764484284449}}, +"smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05378221,-0.0654741,-0.04011665,-0.0299546,-0.00444794,0.02499506,-0.05405271,0.01573699,0.04219478,0.00791467,0.01397885,-0.09444761,0.06871115,0.00298603,0.05757713,-0.02181204,0.00981491,0.00976789,-0.10067027,-0.0219023,0.14425988,-0.03462192,0.03300779,-0.04279794,0.08683547,0.025425,0.00579335,-0.051619,-0.00079689,-0.19593532,-0.00230568,-0.01792728,0.06883364,0.00408122,-0.01924559,0.01970049,-0.01817996,0.03860665,-0.03398657,0.02222594,0.00120801,-0.01543726,-0.00186112,-0.00289144,-0.02270444,-0.03222103,-0.04285531,-0.03513658,-0.00636662,-0.01952707,-0.08628791,-0.03623848,-0.00630019,0.01150041,0.02881518,0.03533256,0.0326375,0.05372978,-0.02572537,0.035005,-0.00344448,0.00890368,-0.2293517,0.01621165,0.03341521,0.03273574,-0.06941766,-0.05107192,0.04050037,0.01036661,-0.06960687,0.01761727,-0.00594018,0.05864872,0.03745874,0.02463097,-0.01399613,-0.06660275,-0.00182929,0.00626915,-0.01306799,0.0402191,0.0140769,-0.00717525,-0.02571429,-0.01478768,0.06380533,-0.01984356,0.0256106,-0.00233599,-0.036246,-0.0161424,0.01189912,0.0751784,-0.044344,-0.02714894,-0.00500226,0.0143108,0.0202897,0.09370265,-0.01533001,0.00843471,-0.00363782,-0.02411544,0.01599997,-0.01232001,-0.01350977,-0.04267907,0.02580032,-0.02544103,-0.01851038,0.01593494,0.04378738,-0.04968333,-0.05667309,0.0121073,0.03664259,-0.03825356,0.01585291,-0.01666731,0.04828867,0.04297091,0.02087571,-0.01746188,0.0219832,-0.00094277,0.05796167,0.06128675,0.05937313,0.04142783,0.02088946,0.07262717,-0.06360772,-0.0164978,-0.00996113,-0.00036277,-0.04097823,0.00968751,0.02811032,0.02026771,-0.02478413,-0.09935034,-0.02374467,-0.0624403,-0.05528851,0.15562044,-0.07006629,-0.01824541,-0.02269068,0.0133449,-0.00050752,0.09678864,-0.01447331,-0.01176657,0.03266816,-0.07157363,0.02764811,0.14218046,-0.07020528,0.01363565,-0.00280239,-0.02925613,-0.05393296,0.13109852,-0.00360647,-0.07158932,0.03143433,0.01604885,-0.0264187,-0.05686951,0.03220155,0.00896484,-0.0353205,-0.03383522,0.04176157,0.03862711,0.0129767,0.00336251,-0.03289041,0.05298307,-0.00293265,-0.03751623,-0.04536327,0.01465329,-0.00011345,-0.07847697,-0.00009759,-0.01412715,0.02360081,0.00753989,-0.11923839,0.03653654,0.01396407,0.00488007,-0.04987118,-0.05252615,-0.00678063,0.02713233,0.02209704,-0.01048893,0.09361335,0.09959326,-0.03034886,-0.03984705,0.02975157,0.01297458,0.04302013,-0.01624668,0.02471626,0.03336298,-0.05285354,0.01137026,0.00552542,0.05509338,0.01786538,0.00873238,0.02556982,-0.01625874,0.03918235,0.07740657,0.01692582,-0.04696922,-0.12767977,-0.22416963,0.01153661,0.04381839,-0.04832768,0.03142298,-0.05366195,-0.00918935,-0.03475041,0.07111894,0.04962511,0.0965514,0.03231839,-0.03395902,-0.01053045,-0.03331733,-0.04448976,0.02240077,-0.02910813,-0.03162288,0.05188345,0.01563013,0.00827335,0.00849932,0.01079643,0.03529137,-0.04208113,0.1134062,0.02556229,0.01571571,0.00107856,0.02438209,-0.00357358,-0.01006141,-0.06582186,0.07170545,0.01528959,-0.03518363,-0.05494708,0.00484974,-0.02723412,0.02358513,0.03432046,-0.03019363,-0.0901772,-0.01874894,-0.04580572,0.00175548,0.01340503,-0.00772926,0.07134999,0.01160485,0.01378529,0.04611439,0.05306487,0.01249657,0.00868365,-0.05825879,0.0132762,0.01292199,-0.03391177,-0.00309076,0.03905722,0.01622258,-0.00969449,0.01245599,-0.02645823,-0.02305395,0.01473804,-0.01047334,0.01952086,-0.00584065,0.13266249,0.01461423,0.03150534,0.02660929,0.05675484,-0.01375629,-0.08434831,-0.01889275,-0.00256227,0.08412656,0.03733721,0.01220362,0.04295682,0.00207743,0.04137472,0.02137496,-0.06074882,0.02286836,-0.02309258,-0.08644443,-0.0386736,0.0293291,-0.04969854,0.06189976,-0.00155277,-0.31571475,0.02384585,-0.03320836,-0.00977306,-0.0138923,0.03522315,-0.00890246,-0.07436068,-0.0569917,-0.00416961,-0.04850444,0.06504697,0.03764151,-0.03284079,0.05685816,-0.02047993,0.06084623,-0.01095908,0.04817899,-0.03006842,-0.00012084,0.0404398,0.19985768,-0.02946074,0.01547064,0.00572329,0.02077934,0.07110987,0.08331791,0.02749019,-0.0050296,-0.02094527,0.13323356,0.02856791,0.00313966,0.02271459,-0.04218183,-0.02924495,0.00760856,-0.00901144,-0.02952732,0.02743008,-0.04841492,0.01900165,0.11867849,0.01499992,-0.02409756,-0.10110734,0.00299464,0.02747536,-0.03744609,-0.00679088,-0.0544154,0.01259073,-0.00267828,0.05217298,0.01915262,-0.00891845,-0.04683131,-0.00691945,-0.00344463,0.00708262,0.00411591,0.04890244,0.04568839],"last_embed":{"hash":"1m18sj0","tokens":497}}},"text":null,"length":0,"last_read":{"hash":"1m18sj0","at":1764484284522},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算","lines":[60,171],"size":2774,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"1m18sj0","at":1764484284522}}, +"smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算#シンタックスの拡張": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.11073006,-0.08405439,0.01496567,-0.05119882,-0.03567246,0.04290835,-0.05673328,0.03756161,0.04604539,0.02577502,0.05132464,-0.0988475,0.08455688,-0.00042439,0.06647566,-0.01545955,0.00754799,-0.0053447,-0.12608209,-0.04965721,0.10809124,-0.01081836,0.02521036,-0.03261356,0.07408733,0.03928749,0.01398429,-0.01531817,0.00778341,-0.22123995,-0.00808863,0.03744007,0.04028185,0.00617922,-0.04644153,-0.01685141,-0.04029216,0.04689787,-0.03866585,0.02110541,0.00918129,0.01411432,-0.00350017,-0.01553713,0.02055647,-0.07430017,-0.0317804,-0.0183463,0.00702941,-0.02188173,-0.06642337,-0.06248394,-0.0378531,0.00031037,0.02625625,0.03769864,0.02294222,0.02618289,-0.01721107,0.00268915,0.03347863,-0.00637648,-0.20616968,0.03708345,0.01518654,-0.0023955,-0.02709151,-0.05878133,0.05263072,0.04804323,-0.06254394,0.00648133,-0.0111992,0.02790862,-0.00056792,-0.00970524,0.02864142,-0.07940824,-0.03164991,0.03109443,-0.02330432,0.02329248,-0.00899979,-0.02233965,0.00972867,0.00141636,0.04418263,-0.02389476,0.00729351,0.00874454,-0.05554922,-0.02948583,-0.01021641,0.07596039,-0.05422907,0.00199164,0.01199324,-0.00799641,0.03489853,0.0928255,-0.00006156,-0.00992848,-0.02626561,-0.03746773,0.03319501,0.00374568,-0.03349027,-0.05255773,0.02203009,-0.02395128,-0.0048029,-0.012796,0.03060788,-0.04216576,-0.03090205,0.03928595,0.01777819,-0.00800813,0.02881856,-0.00840874,0.03795635,0.0058393,0.0353564,0.00313261,-0.00714735,-0.00379997,0.03829026,0.03602468,0.00801592,0.00851218,0.02058133,0.08177242,-0.05730883,-0.00927419,-0.01803824,0.04463987,-0.04147459,-0.01233988,0.07483877,0.01639036,-0.02951131,-0.12372424,-0.03619171,-0.1081136,-0.02558485,0.13747022,-0.04888802,-0.00768112,-0.04301805,0.01224514,0.02073291,0.10396472,-0.02053006,-0.02486092,0.01090731,-0.09738241,0.04198878,0.13809688,-0.06179584,-0.02896363,-0.01829631,-0.03947596,-0.07587482,0.14366895,-0.00990485,-0.0680739,0.03312489,0.05367912,0.00682786,-0.05945378,0.06941403,0.06941329,-0.00609731,-0.01425919,0.06698009,0.01723612,-0.01748575,-0.00664818,-0.01115628,0.02171132,-0.00441436,-0.09411103,-0.04569965,0.00104082,0.03234835,-0.06117746,0.01837234,-0.01163073,0.02616694,0.02242764,-0.05391839,0.07100945,-0.02215459,0.0339305,-0.06128037,-0.03934554,-0.04506111,0.01752047,0.02349896,-0.07041913,0.12164547,0.08202031,-0.01774862,-0.01397788,0.03218674,0.02242745,0.03247054,-0.01495032,0.01842494,0.0465774,-0.05575579,-0.01163378,0.02710853,0.01508209,-0.01689638,0.01749745,0.03967508,-0.00117876,-0.00031566,0.04690196,0.03282306,-0.02661611,-0.11289091,-0.22401048,0.00468852,0.04401012,-0.06852747,0.01298995,-0.06019004,0.01500104,-0.04534161,0.08476091,0.01231522,0.08495606,0.01714787,-0.03522678,0.00401129,-0.05856555,-0.03125189,0.02877251,-0.03143466,0.00260658,0.04088543,-0.03406616,0.02084407,-0.00391923,0.01441702,0.05009772,-0.03485522,0.12782362,0.00689601,0.02944939,0.0426022,0.02479253,0.01222491,-0.02462064,-0.02565693,0.05263827,0.05814065,-0.03421288,-0.00816576,0.03589356,-0.02936854,0.03202844,0.00513743,-0.01517783,-0.07495228,0.02109105,-0.02103485,-0.05216962,0.01044719,-0.02802656,0.0007503,0.00231219,0.01499949,0.03836453,0.01970072,-0.00445746,0.00666671,-0.0672954,0.00140329,-0.00375633,-0.00809118,-0.00226637,0.03222543,0.02104423,0.04349973,0.01466705,0.0010541,-0.00974067,-0.0221711,0.02206126,0.00322912,0.01004087,0.08270375,0.01959264,0.02169513,0.009975,0.01975746,-0.01657697,-0.06255142,-0.00687396,0.02324341,0.04882145,-0.02627269,0.00583958,0.00046724,-0.0134635,0.00960626,-0.02076048,-0.02839823,0.03269852,0.02736853,-0.0453737,-0.01409925,0.02280346,-0.03515988,0.03156795,-0.02447021,-0.30110344,0.03935019,-0.0363542,0.0059916,-0.02944126,0.06172217,-0.03280639,-0.09311924,-0.06791531,0.0108966,-0.03150655,0.08904079,0.04635705,-0.05903515,0.08459705,-0.00783566,0.04797436,-0.00511532,0.03308235,-0.01279055,0.00705937,0.05516842,0.19828558,0.01966067,0.0540855,0.01284398,-0.00571772,0.04648071,0.09523791,0.0393829,-0.0078603,0.0040353,0.13763851,-0.01181483,0.04014224,0.00770825,-0.00577806,0.02348562,0.01615345,-0.01299608,-0.05361971,0.04888746,-0.08849435,0.01444464,0.06347948,0.06272409,-0.02323384,-0.09044299,0.00691462,0.01932681,-0.01085166,0.01740896,-0.03194831,0.0496701,0.00940755,0.04728426,-0.02050431,-0.027221,-0.06250132,0.0121475,0.03072488,0.03321737,0.04326596,0.01676101,0.03879449],"last_embed":{"hash":"12os4cx","tokens":456}}},"text":null,"length":0,"last_read":{"hash":"12os4cx","at":1764484284593},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算#シンタックスの拡張","lines":[65,118],"size":1296,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"12os4cx","at":1764484284593}}, +"smart_blocks:多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算#シンタックスの拡張#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.10844235,-0.08004904,0.01380491,-0.05071515,-0.03897875,0.04551271,-0.05364866,0.03804115,0.04634915,0.02515458,0.05265557,-0.09777371,0.08471675,0.00024041,0.06841931,-0.01210103,0.00801914,-0.00521489,-0.12179514,-0.05032614,0.10993093,-0.01128868,0.02152274,-0.03040242,0.07708233,0.03781132,0.01632547,-0.01498961,0.00655255,-0.22249904,-0.00710611,0.0382094,0.04188468,0.00576281,-0.04727092,-0.01990127,-0.03907989,0.04663647,-0.03869494,0.02118855,0.01266057,0.01548907,0.0017579,-0.01770188,0.02133209,-0.07352728,-0.03150663,-0.01994763,0.00686212,-0.02552548,-0.06900109,-0.06114113,-0.04104214,0.0003173,0.02577762,0.0381815,0.02167323,0.02602077,-0.01659344,0.00443973,0.03331363,-0.00815474,-0.20600574,0.03684188,0.01537938,-0.00274351,-0.02672726,-0.05905353,0.05158946,0.04814563,-0.06224444,0.01004915,-0.01224261,0.02612762,-0.00088775,-0.01003475,0.02686407,-0.08046724,-0.03365901,0.03559176,-0.02556106,0.02290166,-0.01078655,-0.02329191,0.00960899,0.00311535,0.04429615,-0.02864777,0.00591711,0.00895,-0.05371722,-0.02716737,-0.00979655,0.07542405,-0.05195328,0.00199765,0.01278269,-0.0063355,0.03556767,0.09414153,-0.00123837,-0.00956764,-0.03086165,-0.03521627,0.03707968,0.004274,-0.03315903,-0.05191534,0.02282758,-0.02600816,-0.0032654,-0.0102136,0.03114133,-0.04421486,-0.03675898,0.04078664,0.01973506,-0.00392644,0.02863636,-0.011141,0.03508313,0.0091413,0.03727438,0.00285946,-0.00513816,-0.0038723,0.03642263,0.03319316,0.00767335,0.00462621,0.0197269,0.07774091,-0.05980924,-0.01098184,-0.01581251,0.04404346,-0.03743017,-0.01124917,0.07451645,0.01388225,-0.02955566,-0.124674,-0.03840346,-0.10663384,-0.02892165,0.13789643,-0.05339314,-0.00639624,-0.03887593,0.01251651,0.01977489,0.1092129,-0.02289922,-0.02903095,0.01215235,-0.09717112,0.0420174,0.13573222,-0.06558353,-0.03118382,-0.0206722,-0.04174961,-0.07902088,0.13978726,-0.01144222,-0.06892184,0.03416973,0.05329857,0.00191711,-0.05879452,0.07167354,0.07122482,-0.00497351,-0.0134966,0.06719156,0.0198622,-0.02029814,-0.00609995,-0.01148327,0.01695211,-0.0026649,-0.09588604,-0.04307457,-0.00228093,0.0328085,-0.05951158,0.01892647,-0.01056357,0.02657661,0.02034235,-0.05585205,0.07053106,-0.02029021,0.0331459,-0.06213691,-0.03913839,-0.04482657,0.01829154,0.02504864,-0.06948456,0.11915524,0.08323187,-0.01484455,-0.01504727,0.03480084,0.01974053,0.02894715,-0.0156534,0.021576,0.04566205,-0.0563255,-0.01294166,0.02490587,0.01391775,-0.01774758,0.01984757,0.04455063,-0.00294308,-0.00025603,0.04532334,0.0342762,-0.02537331,-0.11514283,-0.22359046,0.00087261,0.04556336,-0.06916247,0.01059861,-0.06148821,0.01622528,-0.04327834,0.0843111,0.01030712,0.08105938,0.01663189,-0.03642487,0.00663318,-0.05608236,-0.03179682,0.03164522,-0.03208665,0.00230049,0.0387338,-0.03352563,0.02033165,-0.00572577,0.01478684,0.0521461,-0.035862,0.1258032,0.00495144,0.0324217,0.04071897,0.0231962,0.00924031,-0.02205349,-0.02444457,0.04964268,0.05584731,-0.03047566,-0.01049987,0.03726935,-0.02807187,0.02726964,0.00389494,-0.01350939,-0.07333836,0.02337512,-0.02007891,-0.04917123,0.00982653,-0.02888477,-0.00071607,0.00268416,0.01153163,0.03920538,0.01542294,-0.00498805,0.00307935,-0.06987702,-0.00077559,-0.00522212,-0.00915041,-0.00392852,0.03246146,0.02407731,0.04446367,0.01133054,0.00139915,-0.01036207,-0.02301083,0.02301393,0.00310317,0.01159465,0.08250719,0.0163619,0.02634822,0.01049866,0.02066294,-0.01710615,-0.06151019,-0.00845727,0.02595705,0.04909863,-0.02679339,0.00778676,0.00330318,-0.01278034,0.0078779,-0.01912511,-0.02422691,0.0302283,0.02942316,-0.04515734,-0.01315483,0.01907005,-0.03252481,0.03373464,-0.0237494,-0.30034429,0.04108374,-0.03997816,0.00614841,-0.02984943,0.05947432,-0.03365455,-0.09378047,-0.06920958,0.01088088,-0.028128,0.08989907,0.04880614,-0.05495736,0.08625326,-0.00879388,0.04514471,-0.00952982,0.03145825,-0.0134447,0.01227424,0.05771445,0.19756408,0.02241342,0.05745694,0.01197969,-0.0041422,0.04461456,0.09298811,0.04152972,-0.00235031,0.00321294,0.14109783,-0.01402971,0.04286919,0.01035662,-0.00154209,0.02467308,0.01551156,-0.0149058,-0.05105783,0.04749192,-0.08828655,0.0132016,0.06494343,0.06061182,-0.02134052,-0.09007669,0.00658988,0.0210368,-0.00627698,0.01972014,-0.03293801,0.05273876,0.00811011,0.04323713,-0.02036686,-0.0258162,-0.06178985,0.01284431,0.02955753,0.03537963,0.04000916,0.01728359,0.0400921],"last_embed":{"hash":"1art7pe","tokens":456}}},"text":null,"length":0,"last_read":{"hash":"1art7pe","at":1764484284629},"key":"多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md#paper #research#多段階計算#シンタックスの拡張#{1}","lines":[67,118],"size":1281,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"1art7pe","at":1764484284629}}, diff --git a/content/.smart-env/smart_env.json b/content/.smart-env/smart_env.json index 533b2878..510dec2e 100644 --- a/content/.smart-env/smart_env.json +++ b/content/.smart-env/smart_env.json @@ -43,7 +43,7 @@ "host": "http://localhost:11434" } }, - "active_thread_key": "Untitled Chat 2025-10-08 08-19-36", + "active_thread_key": "Untitled Chat 2025-11-30 15-55-02", "system_prompt": "", "detect_self_referential": true, "review_context": true, diff --git a/content/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md b/content/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md index 256eb13c..cf2d6a40 100644 --- a/content/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md +++ b/content/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md @@ -113,6 +113,8 @@ $$ グローバルな関数呼び出しとそれ以外の呼び出しの区別。式に自由変数があるかないかを区別する必要がある。それを表示的意味論に落とし込めるのか +グローバルなラベル集合を定義して、グローバルラベルに基づく関数呼び出し、ラムダ項から直接の呼び出し + ### シンタックスシュガー