diff --git a/content/.smart-env/multi/関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム_md.ajson b/content/.smart-env/multi/関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム_md.ajson index 80b7f62d..8d53ea72 100644 --- a/content/.smart-env/multi/関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム_md.ajson +++ b/content/.smart-env/multi/関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム_md.ajson @@ -31,3 +31,15 @@ "smart_sources:関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md": {"path":"関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md","embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05260356,-0.0385306,0.01073114,-0.02412352,0.01783931,0.01570867,-0.09918709,0.03896971,0.04141415,0.02146242,-0.01219886,-0.04765153,0.04791138,0.03811337,0.02661674,-0.00999706,0.03901589,-0.04483594,-0.06592673,-0.02879699,0.16104716,-0.00937825,-0.00346554,-0.03467043,0.0812572,0.01342817,-0.01104697,0.00642606,-0.03725982,-0.13222052,-0.05348966,-0.00893204,0.06592467,0.00568882,0.06875514,0.01343518,0.01046966,0.04868602,-0.01575146,0.07036216,-0.04168035,0.00378235,0.03675058,-0.02360818,0.031157,-0.0225328,0.00502823,-0.04323615,-0.04192991,-0.02691881,-0.09668189,-0.03107762,0.0047821,0.00054905,0.02289947,-0.00483326,0.04889849,0.014387,0.00927557,0.04283216,0.01419009,0.03186965,-0.25578627,0.06146685,-0.00545903,-0.02348516,-0.06871312,-0.02298666,0.05725379,0.01018299,-0.0604966,-0.00132888,-0.00541178,0.02061285,0.04526707,0.01028788,0.00432428,-0.05809098,-0.01892569,-0.03711173,-0.02570547,0.0477641,0.00621531,-0.01759802,-0.03091368,-0.02224162,0.0365371,-0.02989828,0.01098455,0.03294047,-0.03753737,-0.03199847,0.0500693,0.05292482,-0.08840715,-0.01904059,-0.00526893,0.0362495,-0.0396988,0.10930286,-0.05221179,0.02242192,0.01031464,-0.05715322,0.05115333,-0.03893981,-0.02741398,-0.05972815,-0.00005684,-0.01936287,-0.03594666,-0.00954373,0.04216371,-0.04173038,0.00404664,0.02352385,0.06167841,-0.00451309,-0.02118121,-0.00240346,0.06722864,-0.01340655,0.00626257,-0.01124525,0.01964389,0.005713,0.04320807,0.03758225,-0.00486818,0.02287898,0.0569587,0.05388197,-0.06543592,-0.00787845,0.0270863,0.01050749,-0.03818329,-0.01845445,-0.00349996,-0.00206627,-0.04244979,-0.12758617,-0.02484354,-0.07359468,-0.08456503,0.11722812,-0.06963399,0.01296301,0.03232536,-0.01578465,-0.03490034,0.0836361,-0.02183878,-0.01956429,0.03350401,-0.03991228,0.05870639,0.11861292,-0.06078033,-0.00643745,-0.00577693,-0.0818864,-0.04130269,0.09391966,0.01627503,-0.05663307,-0.04198885,0.05632731,0.03475956,-0.07386673,0.0201763,0.0094602,0.00554343,-0.04711722,0.07417701,0.06113302,0.10379326,-0.01859013,-0.05110272,0.02803565,-0.00433429,-0.03036452,-0.01306682,0.04984409,-0.02998538,-0.05913801,0.01138262,-0.02785956,0.03934479,-0.01615747,-0.06259505,0.00219271,0.00393648,-0.00689847,-0.04562312,-0.05802583,-0.02472503,-0.00610871,-0.00973194,-0.08029958,0.08475451,0.04696614,-0.04772865,-0.05727169,0.05002768,0.00671754,0.03468135,-0.0245557,0.04188859,0.03870174,-0.0415293,-0.00122598,0.09485164,0.04498104,0.01934311,0.04118051,0.02153368,0.04634105,0.01547252,0.07324544,0.0056787,0.01473049,-0.07224257,-0.22168626,0.03448217,0.02508427,-0.05721327,-0.0245274,0.00979807,0.02224227,-0.07144316,0.10999259,0.06502116,0.09539779,0.07140139,-0.04051134,0.0086086,-0.00148928,0.00547545,0.05060394,-0.03802059,0.00117672,0.05730428,-0.00056175,-0.00666483,0.02509119,-0.00886975,0.05572588,0.00973541,0.08481238,0.07406044,-0.02317421,-0.03627205,0.06371465,0.01685156,-0.00284206,-0.10317235,0.06432623,-0.00835449,-0.05377328,-0.00491602,-0.01169527,-0.05965813,0.0210219,0.018122,0.0023311,-0.0330601,-0.00714625,-0.0563297,-0.02793243,-0.0002198,-0.07440128,0.04842669,0.0507263,0.02376901,0.0946164,0.05200607,0.005612,-0.01912589,-0.00873931,0.00319132,0.00107341,0.01150289,0.02372829,0.0075632,-0.01043209,-0.05660318,-0.0135082,-0.00229708,0.02272793,0.00663496,-0.00216682,0.03873539,-0.03110725,0.09782694,0.02111294,-0.00808487,0.04255293,0.03882543,0.00132635,-0.07151242,-0.00792123,-0.00836043,0.04633614,0.00276922,0.09262806,0.0571719,0.00184706,0.03121387,0.06113865,-0.02439441,0.01505088,-0.02204715,-0.09254383,-0.06681181,0.001572,-0.01220669,0.03548471,-0.0204916,-0.31871346,0.02718689,-0.04043632,0.00984619,0.02036895,0.00363691,-0.02985402,-0.02834086,-0.05953303,0.02201612,-0.06047812,0.0814379,0.03245767,-0.07196169,0.00561967,0.03047634,0.01112396,0.00933192,-0.00283176,-0.03172782,-0.03696147,0.0365221,0.18319866,-0.00255336,-0.0297716,-0.02415353,-0.00810284,0.04998352,0.09457603,0.01435063,-0.03048408,-0.00156703,0.12753737,0.0437404,0.0217353,-0.00661863,-0.04570625,0.01832244,0.01615312,-0.02630712,-0.054905,0.03951565,-0.01157007,0.0143254,0.07931019,-0.02036843,-0.04896123,-0.03404468,-0.02777816,0.01235995,-0.041545,-0.02384835,-0.0238723,0.00747873,0.00780648,0.07207365,0.01198198,0.0137591,-0.05230831,-0.01028659,0.04493636,-0.02214831,0.00753404,0.04146848,0.03189461],"last_embed":{"hash":"16k4j0r","tokens":449}}},"last_read":{"hash":"16k4j0r","at":1759895187915},"class_name":"SmartSource","last_import":{"mtime":1759895142103,"size":8201,"at":1759895187662,"hash":"16k4j0r"},"blocks":{"#---frontmatter---":[1,3],"#paper":[4,119],"#paper#概要":[6,15],"#paper#概要#{1}":[8,15],"#paper#背景":[16,27],"#paper#背景#{1}":[18,27],"#paper#ユースケースと先行例":[28,36],"#paper#ユースケースと先行例#{1}":[31,36],"#paper#lambda-mmm":[37,43],"#paper#lambda-mmm#{1}":[39,43],"#paper#コールツリーの解析":[44,56],"#paper#コールツリーの解析#{1}":[46,48],"#paper#コールツリーの解析#{2}":[49,56],"#paper#状態構造ツリー同士の比較":[57,75],"#paper#状態構造ツリー同士の比較#{1}":[59,75],"#paper#問題点":[76,109],"#paper#問題点#{1}":[78,109],"#paper#将来的な展望":[110,119],"#paper#将来的な展望#{1}":[113,119]},"outlinks":[{"title":"mimium","target":"mimium","line":8},{"title":"Faust","target":"Faust","line":22},{"title":"ChucK","target":"ChucK","line":24},{"title":"Incremental Functional Reactive Programming","target":"Incremental Functional Reactive Programming","line":31}],"metadata":{"date":"2025-09-25 11:42","tags":["#paper"]},"task_lines":[],"last_embed":{"hash":"16k4j0r","at":1759895187664}},"smart_blocks:関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.04337298,-0.03708289,0.00204769,-0.01380655,0.02649611,0.03015334,-0.08131609,0.03448363,0.04413586,0.01462786,-0.03394119,-0.04242129,0.05045029,0.02178863,0.03657605,-0.00675403,0.04795685,-0.02440756,-0.06758101,-0.03655625,0.15476866,-0.00758677,0.00979442,-0.02729659,0.08416298,0.01100669,-0.01742562,0.00310104,-0.02888755,-0.13757141,-0.04614104,-0.00940989,0.05415469,0.00981444,0.0620789,0.03917859,0.01067226,0.04183359,-0.01342729,0.07655283,-0.03331548,0.00416952,0.03777927,-0.01506366,0.04346887,-0.01930321,0.00895301,-0.04704659,-0.04196362,-0.02519496,-0.09826448,-0.02051446,0.01694738,-0.01016482,0.0173693,-0.00567047,0.0461634,0.02357819,0.00886413,0.03784658,0.02362986,0.04646176,-0.24313095,0.06226042,0.00261576,-0.01692533,-0.0781645,-0.02630458,0.05359,0.01062161,-0.06451187,0.00419967,-0.00345,0.02277517,0.0492846,0.02044635,0.00884592,-0.04934821,-0.01960452,-0.03039301,-0.01892317,0.0422674,0.01045541,-0.01493646,-0.02751926,-0.02069551,0.03541283,-0.03775104,0.03133274,0.01391646,-0.02867637,-0.02533252,0.05389679,0.0573393,-0.08478002,-0.02474091,-0.01679407,0.02558537,-0.03381289,0.11875581,-0.0316824,0.00318337,0.01402958,-0.05638911,0.0641661,-0.05311676,-0.02671883,-0.0566633,0.0063653,-0.01022533,-0.03791915,-0.02601323,0.0214655,-0.0311135,0.00302956,0.01773793,0.03562101,-0.00979916,-0.03397294,-0.0142932,0.04967183,-0.00284794,-0.01161627,-0.01696776,0.019001,-0.01140427,0.04087598,0.0447001,-0.00649274,0.03696356,0.05287877,0.06219083,-0.0609976,-0.01525006,0.01957868,0.00765028,-0.04034406,-0.00034208,-0.01283785,0.01405944,-0.03077726,-0.11388291,-0.02860218,-0.0717938,-0.09368508,0.1189435,-0.07303758,0.00752467,0.02194471,-0.02183625,-0.01274501,0.09144814,-0.04206531,-0.01088156,0.02891113,-0.03162815,0.04774809,0.11571063,-0.06356533,-0.01511308,-0.00416932,-0.08620095,-0.04203359,0.10552204,-0.00008816,-0.05013268,-0.04524247,0.0463896,0.02547996,-0.07099016,0.02161735,0.00407006,-0.00974271,-0.05250915,0.04881616,0.04645895,0.07855268,-0.02524268,-0.04663887,0.02687751,-0.00122705,-0.02549808,-0.00930263,0.04851202,-0.03577361,-0.06050397,0.01335631,-0.0310483,0.03715511,-0.01652477,-0.07099088,0.01668325,0.00358773,-0.02713165,-0.0574601,-0.0418353,-0.01556697,-0.02219269,-0.02153671,-0.08829769,0.08369043,0.06553616,-0.06103271,-0.05797835,0.03876596,0.02175072,0.03537657,-0.03060046,0.04020437,0.03642334,-0.04776213,0.00776123,0.08815268,0.05633821,0.01942107,0.03337614,0.02757225,0.04821905,0.01860577,0.08025188,0.0123941,0.01229997,-0.08141219,-0.232757,0.02960231,0.02135123,-0.06390622,-0.02454117,0.00283649,0.02862841,-0.06012323,0.09143068,0.05941513,0.09166139,0.06512153,-0.04953523,0.02315621,0.00894375,0.00979604,0.05186445,-0.0402842,0.00088201,0.06872242,0.00545659,0.00153132,0.04130784,-0.00056335,0.0685707,0.02288629,0.0823398,0.06112266,-0.00837642,-0.02364566,0.04566957,0.01289627,0.00749012,-0.09454581,0.07322048,-0.00150392,-0.05317121,-0.00055317,-0.01141376,-0.05266958,0.02638934,0.01948103,-0.00760372,-0.02746306,-0.0002232,-0.05879622,-0.05641486,-0.00454621,-0.08453248,0.05507545,0.04729699,0.04047538,0.09241773,0.05036497,0.00286951,-0.01227167,-0.00142479,0.01495794,-0.00542609,0.00475618,0.02210861,-0.00233321,0.00815198,-0.05994989,-0.00540417,-0.00465538,0.02204053,0.01577934,0.01628276,0.02570267,-0.04131741,0.10807302,0.02770806,-0.01264151,0.03982142,0.05613524,0.00064085,-0.08319135,-0.01553943,-0.01313597,0.04428882,0.01128985,0.08241715,0.05098615,-0.00564911,0.04388593,0.06232463,-0.03463756,0.00109947,-0.03086952,-0.09958974,-0.0544715,0.00908355,-0.02025272,0.02997396,-0.02255706,-0.3159239,0.0140882,-0.03940857,0.00929959,0.01504181,-0.01087271,-0.02681837,-0.03858773,-0.06527259,0.00898273,-0.05992711,0.07426202,0.03264951,-0.07109994,0.00060599,0.04762489,0.02166893,0.01280614,0.00864691,-0.02970544,-0.03325396,0.03810929,0.19119945,-0.0125838,-0.02887175,-0.03830995,-0.00708434,0.05420033,0.09426385,0.01614233,-0.02927306,0.00631045,0.13091688,0.04551457,0.02891933,-0.01038431,-0.04298443,0.00472287,0.02152841,-0.03685647,-0.03957555,0.03254651,-0.02135981,0.01533135,0.07511716,-0.03614928,-0.03590367,-0.03607109,-0.02814711,0.02458421,-0.04653664,-0.02941234,-0.02704909,-0.00315099,0.01792642,0.07400993,-0.00306956,0.01996925,-0.04884127,-0.00709911,0.04635666,-0.02731051,0.01358809,0.06720494,0.0330557],"last_embed":{"hash":"1a1jgmp","tokens":461}}},"text":null,"length":0,"last_read":{"hash":"1a1jgmp","at":1759895187804},"key":"関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper","lines":[4,119],"size":3146,"outlinks":[{"title":"mimium","target":"mimium","line":5},{"title":"Faust","target":"Faust","line":19},{"title":"ChucK","target":"ChucK","line":21},{"title":"Incremental Functional Reactive Programming","target":"Incremental Functional Reactive Programming","line":28}],"class_name":"SmartBlock","last_embed":{"hash":"1a1jgmp","at":1759895187804}}, "smart_blocks:関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper#問題点": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.11093925,-0.04740343,-0.03565757,-0.09861226,0.03749607,0.02299906,-0.08631622,0.00912872,0.07169588,0.02109708,-0.00454776,-0.08391687,0.05019366,0.03257212,0.00422683,0.03402855,0.03666241,-0.03878851,-0.07026267,-0.02504476,0.11509222,-0.01741454,0.03186863,-0.08204252,0.04771801,0.00448698,-0.04147313,-0.02336922,-0.01814298,-0.16250883,-0.00195979,0.02153317,0.04776885,-0.016487,0.01519721,0.00869101,0.00295556,0.00990637,-0.03036616,0.08128455,0.00511227,-0.03010821,0.0023845,0.00253782,0.03513241,-0.03304503,0.01438259,-0.05465364,0.00660535,-0.01613963,-0.07210452,-0.03518317,-0.01303315,-0.01734057,0.04892395,0.01501304,0.05094867,-0.00886008,0.03896745,0.0021069,-0.00139822,0.03792298,-0.22362073,0.04485192,0.02906165,0.02288244,-0.05940101,-0.00781851,0.04153239,0.02543237,-0.09283877,0.02512715,0.02602542,0.04870349,-0.01225148,-0.02302572,-0.01326786,0.02736183,-0.02269285,-0.00740762,-0.05508919,0.04777442,0.0338739,-0.05300143,-0.05439206,0.01561138,0.03169388,-0.00255263,0.04393585,0.03317555,-0.02941792,-0.01706417,0.01992345,0.05222532,-0.06670386,-0.01687085,-0.01443047,0.02134305,-0.01905506,0.10118743,-0.04806365,0.00109832,0.01538912,-0.06817415,0.02487943,-0.06568103,-0.02007951,-0.05349346,-0.04503418,-0.00352849,-0.0088169,-0.00405135,-0.0022781,-0.05365047,-0.01874318,0.04828134,0.0108503,-0.00630024,-0.03197658,0.01742681,0.03060983,0.0344566,0.00626623,0.00321583,0.04784806,-0.02516666,0.02045293,0.06217559,0.04175862,0.00569044,0.0064199,0.01263603,-0.08425766,-0.05224659,-0.00023571,0.01766663,-0.03415131,0.02437674,-0.00103478,-0.01501308,-0.02886956,-0.0948909,-0.02024979,-0.08803365,-0.07578614,0.08885916,0.00643175,0.03047407,-0.04358525,-0.04583164,-0.02920027,0.0532157,-0.02140301,-0.0319101,0.02561046,0.00563702,0.0329967,0.12884218,-0.03165859,-0.04563067,-0.04518499,-0.07397413,-0.03006635,0.0811563,-0.00682467,-0.04848111,-0.0268422,0.10563776,0.04017119,-0.06387446,0.02918355,-0.00573762,-0.02989518,-0.04921713,0.04509892,0.00227525,0.04621215,-0.00633428,-0.0400814,-0.0018419,-0.00228738,0.0273379,-0.0169004,0.01782768,0.04859497,-0.09019452,-0.01592493,-0.03559315,0.03020305,0.02717535,-0.06679988,-0.01465239,-0.0095692,0.02915237,-0.0574131,-0.02462785,-0.02150465,0.02859983,0.03862674,-0.0668809,0.13492249,0.09523562,-0.01426371,-0.00309165,-0.01599881,0.00054448,0.00289003,0.01298064,0.01937497,0.0665542,-0.08936425,0.02957752,0.05460287,0.04613027,-0.00949038,0.02008965,-0.01196201,0.00933022,0.05675622,0.08915627,0.01735305,-0.02422079,-0.06330592,-0.22702475,0.00860031,0.05632138,-0.01980483,0.0027225,-0.02358262,0.0020574,-0.03430807,0.06372092,0.04826992,0.08712508,0.08557353,-0.01000782,0.00723741,0.01495322,-0.01192889,0.05877954,-0.02753639,0.02793694,0.02809929,0.00639851,-0.01554355,0.01922019,0.02656532,0.06996247,-0.05752518,0.12483644,0.0103694,0.00904176,-0.01102099,0.05528279,0.00811667,-0.00556902,-0.05218253,0.05058812,0.01032916,-0.0252553,0.0005462,-0.02527547,-0.05640557,0.06693211,0.04044198,0.01216714,-0.07350286,-0.05354957,-0.06651346,-0.01678731,-0.02851625,-0.04010728,0.01156606,0.03994062,0.00330599,0.09280583,0.06331863,0.02462288,-0.0101344,-0.07900519,0.01215247,-0.01921937,0.00802194,0.03156817,0.04095158,-0.00257063,-0.0163983,0.00653871,0.0224494,0.02481732,0.01294728,0.06549616,0.01686929,-0.02885931,0.09941307,0.06028063,0.00039273,0.06187126,0.03881443,-0.04244651,-0.08384438,0.01091703,-0.00326218,0.03195161,0.00074795,0.0479992,0.0272732,0.00582256,0.05954432,0.02623605,-0.01345733,0.05392976,-0.0346074,-0.04408077,-0.00205748,0.01911585,-0.01181166,0.04827571,-0.00888564,-0.32581189,0.00387634,-0.05039061,0.03673062,-0.01291641,0.01255187,0.015819,-0.04427762,-0.045821,0.01406702,-0.07539138,0.04637579,0.0122038,-0.04069798,0.06668624,0.00485839,0.02388442,-0.01855406,0.06810223,-0.07593375,-0.04938192,0.04794283,0.216694,-0.00816337,-0.03769005,0.02036545,-0.01765337,0.05461802,0.07533981,-0.02599636,-0.0125629,-0.03921416,0.10960606,0.02005509,0.01989674,0.03374419,-0.03014017,-0.00357888,0.0112737,-0.08295974,-0.03935685,0.04935203,-0.06056509,0.02719106,0.07408582,-0.06539518,-0.0000926,-0.08070246,0.00601062,0.0337918,-0.04066817,0.0061885,0.00299082,0.01086508,0.05212215,0.03588269,0.00313437,0.04170574,-0.01182815,0.0094033,0.05222231,-0.0036548,0.03350281,0.06448661,-0.03385412],"last_embed":{"hash":"fsf9yy","tokens":456}}},"text":null,"length":0,"last_read":{"hash":"fsf9yy","at":1759895187875},"key":"関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper#問題点","lines":[76,109],"size":700,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"fsf9yy","at":1759895187875}}, "smart_blocks:関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper#問題点#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.10679979,-0.04654682,-0.03488538,-0.09868471,0.03759375,0.02260595,-0.08516257,0.00464491,0.07305136,0.0148425,-0.00737676,-0.08936163,0.04928775,0.03140063,0.00599095,0.03309189,0.03737557,-0.04087246,-0.06860951,-0.02918097,0.10964599,-0.0169664,0.03119962,-0.08198912,0.04569472,0.0043648,-0.0356973,-0.02174756,-0.02201349,-0.15734281,-0.00315407,0.01845417,0.04882155,-0.02306335,0.01348281,0.00575955,0.00101268,0.01374603,-0.04055068,0.07843745,0.00494694,-0.02690474,0.00262108,0.00422231,0.0344089,-0.03359874,0.00868897,-0.05014811,0.00839083,-0.014149,-0.0647497,-0.03042109,-0.00925135,-0.01492303,0.04638587,0.0147686,0.05100932,-0.00242939,0.04022944,0.00005003,-0.00093928,0.03508073,-0.22074172,0.04380581,0.03063598,0.02498677,-0.05055017,-0.01293502,0.04363916,0.02662438,-0.09724384,0.02259015,0.02275316,0.04928024,-0.01336266,-0.02480229,-0.01052066,0.02881649,-0.02085771,-0.00314883,-0.05224572,0.04556425,0.0343833,-0.05466703,-0.04889074,0.01526208,0.03177154,-0.00084446,0.04689692,0.03442959,-0.03287036,-0.01666814,0.02323887,0.0518086,-0.06144482,-0.01194429,-0.014389,0.02551208,-0.01978123,0.09968504,-0.0484933,0.00251695,0.00690203,-0.06870984,0.02625195,-0.06212947,-0.01896674,-0.05223413,-0.042866,-0.0062241,-0.00861502,-0.00521545,0.00428027,-0.05870225,-0.02326264,0.05214538,0.01354297,-0.00597523,-0.03355825,0.01704211,0.03658677,0.03406987,0.00781232,0.00155801,0.04686527,-0.02567661,0.02538062,0.06101967,0.04211433,0.00792724,0.00606381,0.0111302,-0.09187888,-0.05199559,0.00239382,0.01923982,-0.03487717,0.01962369,-0.00709991,-0.01735293,-0.02682311,-0.09909906,-0.0181638,-0.09138554,-0.07224115,0.08901235,0.00421041,0.03290671,-0.04538422,-0.04469517,-0.02482371,0.05285919,-0.02144135,-0.03592928,0.02214098,0.00542218,0.03281003,0.1270044,-0.03492255,-0.04722253,-0.03798563,-0.07520357,-0.02799154,0.08104172,-0.00600712,-0.04761533,-0.02601848,0.10461915,0.04333313,-0.06062185,0.02855493,-0.00675833,-0.03622058,-0.05273255,0.04677343,-0.00302794,0.04777579,-0.00574891,-0.04433851,-0.00381329,-0.00442403,0.02674709,-0.01459591,0.01671365,0.04560216,-0.09062698,-0.01685433,-0.03959962,0.03056382,0.02762715,-0.06691203,-0.01379115,-0.00931661,0.02945263,-0.05910334,-0.02316759,-0.01895433,0.02947092,0.03821407,-0.0629025,0.1377079,0.09394083,-0.01313863,-0.00607802,-0.01935039,0.00147754,0.00700277,0.01336707,0.01893738,0.06750548,-0.0871326,0.02910836,0.05397819,0.04836464,-0.00846995,0.01401768,-0.01633533,0.00987141,0.05223605,0.0892902,0.01415072,-0.02340599,-0.06286333,-0.22884533,0.01202792,0.05508322,-0.02210311,0.00307281,-0.02374575,0.00056571,-0.0372658,0.06461375,0.04914665,0.08915435,0.08754905,-0.00677964,0.01160826,0.01352419,-0.01455482,0.05466869,-0.02271154,0.02704268,0.02571765,0.00456077,-0.01412833,0.02165518,0.02448462,0.06915323,-0.05722521,0.12200383,0.00927702,0.00969263,-0.01293756,0.06130322,0.01096006,-0.00400021,-0.05352211,0.04998425,0.00656961,-0.02242818,0.00098673,-0.02323246,-0.05514913,0.0642636,0.04096446,0.01359093,-0.07119606,-0.05429055,-0.06707443,-0.0217113,-0.03005175,-0.03795668,0.0136846,0.04273451,0.00112165,0.09488922,0.06395303,0.0266845,-0.01255104,-0.08074748,0.01243511,-0.01825638,0.00797448,0.02649111,0.04521449,-0.00270318,-0.01699446,0.00338422,0.01767237,0.02670521,0.01405428,0.06962164,0.01805386,-0.03048071,0.1010522,0.05363256,0.00295412,0.06272878,0.03881158,-0.0447411,-0.08388164,0.00600375,-0.00184278,0.0325651,0.00109283,0.0465865,0.03467352,0.00736219,0.06041847,0.0288059,-0.01016405,0.05710861,-0.03655077,-0.04189157,-0.00423448,0.01929199,-0.01565564,0.04455448,-0.00674043,-0.32553712,-0.0001972,-0.04957653,0.03507079,-0.01378397,0.01111435,0.01406848,-0.04476813,-0.04900102,0.01696347,-0.07439604,0.0462754,0.01279788,-0.04122897,0.0677904,0.002757,0.0279364,-0.01794704,0.06861844,-0.07510636,-0.05011863,0.04626703,0.21860692,-0.00995693,-0.0360979,0.0248835,-0.02462352,0.05923938,0.07824947,-0.02099881,-0.01709041,-0.03478675,0.11235847,0.01713953,0.0165922,0.03307844,-0.02713899,-0.00305334,0.01146261,-0.08042879,-0.03852101,0.04687756,-0.05893736,0.03085988,0.07681607,-0.07241029,-0.00239435,-0.07972476,0.00648987,0.0365244,-0.04045955,0.00542846,0.00871518,0.00986791,0.05479873,0.03483293,0.00078392,0.04213438,-0.01290185,0.00749514,0.05091899,-0.00570072,0.03523779,0.06570228,-0.03389223],"last_embed":{"hash":"1xs392a","tokens":456}}},"text":null,"length":0,"last_read":{"hash":"1xs392a","at":1759895187915},"key":"関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper#問題点#{1}","lines":[78,109],"size":692,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"1xs392a","at":1759895187915}}, + +"smart_sources:関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md": {"path":"関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md","embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05260356,-0.0385306,0.01073114,-0.02412352,0.01783931,0.01570867,-0.09918709,0.03896971,0.04141415,0.02146242,-0.01219886,-0.04765153,0.04791138,0.03811337,0.02661674,-0.00999706,0.03901589,-0.04483594,-0.06592673,-0.02879699,0.16104716,-0.00937825,-0.00346554,-0.03467043,0.0812572,0.01342817,-0.01104697,0.00642606,-0.03725982,-0.13222052,-0.05348966,-0.00893204,0.06592467,0.00568882,0.06875514,0.01343518,0.01046966,0.04868602,-0.01575146,0.07036216,-0.04168035,0.00378235,0.03675058,-0.02360818,0.031157,-0.0225328,0.00502823,-0.04323615,-0.04192991,-0.02691881,-0.09668189,-0.03107762,0.0047821,0.00054905,0.02289947,-0.00483326,0.04889849,0.014387,0.00927557,0.04283216,0.01419009,0.03186965,-0.25578627,0.06146685,-0.00545903,-0.02348516,-0.06871312,-0.02298666,0.05725379,0.01018299,-0.0604966,-0.00132888,-0.00541178,0.02061285,0.04526707,0.01028788,0.00432428,-0.05809098,-0.01892569,-0.03711173,-0.02570547,0.0477641,0.00621531,-0.01759802,-0.03091368,-0.02224162,0.0365371,-0.02989828,0.01098455,0.03294047,-0.03753737,-0.03199847,0.0500693,0.05292482,-0.08840715,-0.01904059,-0.00526893,0.0362495,-0.0396988,0.10930286,-0.05221179,0.02242192,0.01031464,-0.05715322,0.05115333,-0.03893981,-0.02741398,-0.05972815,-0.00005684,-0.01936287,-0.03594666,-0.00954373,0.04216371,-0.04173038,0.00404664,0.02352385,0.06167841,-0.00451309,-0.02118121,-0.00240346,0.06722864,-0.01340655,0.00626257,-0.01124525,0.01964389,0.005713,0.04320807,0.03758225,-0.00486818,0.02287898,0.0569587,0.05388197,-0.06543592,-0.00787845,0.0270863,0.01050749,-0.03818329,-0.01845445,-0.00349996,-0.00206627,-0.04244979,-0.12758617,-0.02484354,-0.07359468,-0.08456503,0.11722812,-0.06963399,0.01296301,0.03232536,-0.01578465,-0.03490034,0.0836361,-0.02183878,-0.01956429,0.03350401,-0.03991228,0.05870639,0.11861292,-0.06078033,-0.00643745,-0.00577693,-0.0818864,-0.04130269,0.09391966,0.01627503,-0.05663307,-0.04198885,0.05632731,0.03475956,-0.07386673,0.0201763,0.0094602,0.00554343,-0.04711722,0.07417701,0.06113302,0.10379326,-0.01859013,-0.05110272,0.02803565,-0.00433429,-0.03036452,-0.01306682,0.04984409,-0.02998538,-0.05913801,0.01138262,-0.02785956,0.03934479,-0.01615747,-0.06259505,0.00219271,0.00393648,-0.00689847,-0.04562312,-0.05802583,-0.02472503,-0.00610871,-0.00973194,-0.08029958,0.08475451,0.04696614,-0.04772865,-0.05727169,0.05002768,0.00671754,0.03468135,-0.0245557,0.04188859,0.03870174,-0.0415293,-0.00122598,0.09485164,0.04498104,0.01934311,0.04118051,0.02153368,0.04634105,0.01547252,0.07324544,0.0056787,0.01473049,-0.07224257,-0.22168626,0.03448217,0.02508427,-0.05721327,-0.0245274,0.00979807,0.02224227,-0.07144316,0.10999259,0.06502116,0.09539779,0.07140139,-0.04051134,0.0086086,-0.00148928,0.00547545,0.05060394,-0.03802059,0.00117672,0.05730428,-0.00056175,-0.00666483,0.02509119,-0.00886975,0.05572588,0.00973541,0.08481238,0.07406044,-0.02317421,-0.03627205,0.06371465,0.01685156,-0.00284206,-0.10317235,0.06432623,-0.00835449,-0.05377328,-0.00491602,-0.01169527,-0.05965813,0.0210219,0.018122,0.0023311,-0.0330601,-0.00714625,-0.0563297,-0.02793243,-0.0002198,-0.07440128,0.04842669,0.0507263,0.02376901,0.0946164,0.05200607,0.005612,-0.01912589,-0.00873931,0.00319132,0.00107341,0.01150289,0.02372829,0.0075632,-0.01043209,-0.05660318,-0.0135082,-0.00229708,0.02272793,0.00663496,-0.00216682,0.03873539,-0.03110725,0.09782694,0.02111294,-0.00808487,0.04255293,0.03882543,0.00132635,-0.07151242,-0.00792123,-0.00836043,0.04633614,0.00276922,0.09262806,0.0571719,0.00184706,0.03121387,0.06113865,-0.02439441,0.01505088,-0.02204715,-0.09254383,-0.06681181,0.001572,-0.01220669,0.03548471,-0.0204916,-0.31871346,0.02718689,-0.04043632,0.00984619,0.02036895,0.00363691,-0.02985402,-0.02834086,-0.05953303,0.02201612,-0.06047812,0.0814379,0.03245767,-0.07196169,0.00561967,0.03047634,0.01112396,0.00933192,-0.00283176,-0.03172782,-0.03696147,0.0365221,0.18319866,-0.00255336,-0.0297716,-0.02415353,-0.00810284,0.04998352,0.09457603,0.01435063,-0.03048408,-0.00156703,0.12753737,0.0437404,0.0217353,-0.00661863,-0.04570625,0.01832244,0.01615312,-0.02630712,-0.054905,0.03951565,-0.01157007,0.0143254,0.07931019,-0.02036843,-0.04896123,-0.03404468,-0.02777816,0.01235995,-0.041545,-0.02384835,-0.0238723,0.00747873,0.00780648,0.07207365,0.01198198,0.0137591,-0.05230831,-0.01028659,0.04493636,-0.02214831,0.00753404,0.04146848,0.03189461],"last_embed":{"hash":"1epicn4","tokens":449}}},"last_read":{"hash":"1epicn4","at":1759895401244},"class_name":"SmartSource","last_import":{"mtime":1759895389971,"size":8555,"at":1759895400971,"hash":"1epicn4"},"blocks":{"#---frontmatter---":[1,3],"#paper":[4,123],"#paper#概要":[6,15],"#paper#概要#{1}":[8,15],"#paper#背景":[16,27],"#paper#背景#{1}":[18,27],"#paper#ユースケースと先行例":[28,36],"#paper#ユースケースと先行例#{1}":[31,36],"#paper#lambda-mmm":[37,43],"#paper#lambda-mmm#{1}":[39,43],"#paper#コールツリーの解析":[44,56],"#paper#コールツリーの解析#{1}":[46,48],"#paper#コールツリーの解析#{2}":[49,56],"#paper#状態構造ツリー同士の比較":[57,75],"#paper#状態構造ツリー同士の比較#{1}":[59,75],"#paper#問題点":[76,113],"#paper#問題点#{1}":[78,113],"#paper#将来的な展望":[114,123],"#paper#将来的な展望#{1}":[117,123]},"outlinks":[{"title":"mimium","target":"mimium","line":8},{"title":"Faust","target":"Faust","line":22},{"title":"ChucK","target":"ChucK","line":24},{"title":"Incremental Functional Reactive Programming","target":"Incremental Functional Reactive Programming","line":31}],"metadata":{"date":"2025-09-25 11:42","tags":["#paper"]},"task_lines":[],"last_embed":{"hash":"1epicn4","at":1759895400973}},"smart_blocks:関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.04337298,-0.03708289,0.00204769,-0.01380655,0.02649611,0.03015334,-0.08131609,0.03448363,0.04413586,0.01462786,-0.03394119,-0.04242129,0.05045029,0.02178863,0.03657605,-0.00675403,0.04795685,-0.02440756,-0.06758101,-0.03655625,0.15476866,-0.00758677,0.00979442,-0.02729659,0.08416298,0.01100669,-0.01742562,0.00310104,-0.02888755,-0.13757141,-0.04614104,-0.00940989,0.05415469,0.00981444,0.0620789,0.03917859,0.01067226,0.04183359,-0.01342729,0.07655283,-0.03331548,0.00416952,0.03777927,-0.01506366,0.04346887,-0.01930321,0.00895301,-0.04704659,-0.04196362,-0.02519496,-0.09826448,-0.02051446,0.01694738,-0.01016482,0.0173693,-0.00567047,0.0461634,0.02357819,0.00886413,0.03784658,0.02362986,0.04646176,-0.24313095,0.06226042,0.00261576,-0.01692533,-0.0781645,-0.02630458,0.05359,0.01062161,-0.06451187,0.00419967,-0.00345,0.02277517,0.0492846,0.02044635,0.00884592,-0.04934821,-0.01960452,-0.03039301,-0.01892317,0.0422674,0.01045541,-0.01493646,-0.02751926,-0.02069551,0.03541283,-0.03775104,0.03133274,0.01391646,-0.02867637,-0.02533252,0.05389679,0.0573393,-0.08478002,-0.02474091,-0.01679407,0.02558537,-0.03381289,0.11875581,-0.0316824,0.00318337,0.01402958,-0.05638911,0.0641661,-0.05311676,-0.02671883,-0.0566633,0.0063653,-0.01022533,-0.03791915,-0.02601323,0.0214655,-0.0311135,0.00302956,0.01773793,0.03562101,-0.00979916,-0.03397294,-0.0142932,0.04967183,-0.00284794,-0.01161627,-0.01696776,0.019001,-0.01140427,0.04087598,0.0447001,-0.00649274,0.03696356,0.05287877,0.06219083,-0.0609976,-0.01525006,0.01957868,0.00765028,-0.04034406,-0.00034208,-0.01283785,0.01405944,-0.03077726,-0.11388291,-0.02860218,-0.0717938,-0.09368508,0.1189435,-0.07303758,0.00752467,0.02194471,-0.02183625,-0.01274501,0.09144814,-0.04206531,-0.01088156,0.02891113,-0.03162815,0.04774809,0.11571063,-0.06356533,-0.01511308,-0.00416932,-0.08620095,-0.04203359,0.10552204,-0.00008816,-0.05013268,-0.04524247,0.0463896,0.02547996,-0.07099016,0.02161735,0.00407006,-0.00974271,-0.05250915,0.04881616,0.04645895,0.07855268,-0.02524268,-0.04663887,0.02687751,-0.00122705,-0.02549808,-0.00930263,0.04851202,-0.03577361,-0.06050397,0.01335631,-0.0310483,0.03715511,-0.01652477,-0.07099088,0.01668325,0.00358773,-0.02713165,-0.0574601,-0.0418353,-0.01556697,-0.02219269,-0.02153671,-0.08829769,0.08369043,0.06553616,-0.06103271,-0.05797835,0.03876596,0.02175072,0.03537657,-0.03060046,0.04020437,0.03642334,-0.04776213,0.00776123,0.08815268,0.05633821,0.01942107,0.03337614,0.02757225,0.04821905,0.01860577,0.08025188,0.0123941,0.01229997,-0.08141219,-0.232757,0.02960231,0.02135123,-0.06390622,-0.02454117,0.00283649,0.02862841,-0.06012323,0.09143068,0.05941513,0.09166139,0.06512153,-0.04953523,0.02315621,0.00894375,0.00979604,0.05186445,-0.0402842,0.00088201,0.06872242,0.00545659,0.00153132,0.04130784,-0.00056335,0.0685707,0.02288629,0.0823398,0.06112266,-0.00837642,-0.02364566,0.04566957,0.01289627,0.00749012,-0.09454581,0.07322048,-0.00150392,-0.05317121,-0.00055317,-0.01141376,-0.05266958,0.02638934,0.01948103,-0.00760372,-0.02746306,-0.0002232,-0.05879622,-0.05641486,-0.00454621,-0.08453248,0.05507545,0.04729699,0.04047538,0.09241773,0.05036497,0.00286951,-0.01227167,-0.00142479,0.01495794,-0.00542609,0.00475618,0.02210861,-0.00233321,0.00815198,-0.05994989,-0.00540417,-0.00465538,0.02204053,0.01577934,0.01628276,0.02570267,-0.04131741,0.10807302,0.02770806,-0.01264151,0.03982142,0.05613524,0.00064085,-0.08319135,-0.01553943,-0.01313597,0.04428882,0.01128985,0.08241715,0.05098615,-0.00564911,0.04388593,0.06232463,-0.03463756,0.00109947,-0.03086952,-0.09958974,-0.0544715,0.00908355,-0.02025272,0.02997396,-0.02255706,-0.3159239,0.0140882,-0.03940857,0.00929959,0.01504181,-0.01087271,-0.02681837,-0.03858773,-0.06527259,0.00898273,-0.05992711,0.07426202,0.03264951,-0.07109994,0.00060599,0.04762489,0.02166893,0.01280614,0.00864691,-0.02970544,-0.03325396,0.03810929,0.19119945,-0.0125838,-0.02887175,-0.03830995,-0.00708434,0.05420033,0.09426385,0.01614233,-0.02927306,0.00631045,0.13091688,0.04551457,0.02891933,-0.01038431,-0.04298443,0.00472287,0.02152841,-0.03685647,-0.03957555,0.03254651,-0.02135981,0.01533135,0.07511716,-0.03614928,-0.03590367,-0.03607109,-0.02814711,0.02458421,-0.04653664,-0.02941234,-0.02704909,-0.00315099,0.01792642,0.07400993,-0.00306956,0.01996925,-0.04884127,-0.00709911,0.04635666,-0.02731051,0.01358809,0.06720494,0.0330557],"last_embed":{"hash":"iz82br","tokens":461}}},"text":null,"length":0,"last_read":{"hash":"iz82br","at":1759895401106},"key":"関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper","lines":[4,123],"size":3286,"outlinks":[{"title":"mimium","target":"mimium","line":5},{"title":"Faust","target":"Faust","line":19},{"title":"ChucK","target":"ChucK","line":21},{"title":"Incremental Functional Reactive Programming","target":"Incremental Functional Reactive Programming","line":28}],"class_name":"SmartBlock","last_embed":{"hash":"iz82br","at":1759895401106}}, +"smart_blocks:関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper#問題点": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.11091378,-0.04803674,-0.03595209,-0.09925524,0.03778943,0.0216367,-0.08557483,0.00896026,0.07136381,0.0206753,-0.00385596,-0.08493326,0.05048877,0.03206868,0.00371435,0.03497487,0.03694842,-0.03848649,-0.06870012,-0.02590028,0.11351438,-0.01675322,0.03190719,-0.0822484,0.04709894,0.00456386,-0.04090511,-0.02419069,-0.01819981,-0.16412736,-0.0035972,0.02115658,0.04646808,-0.01611143,0.01514962,0.00812721,0.00226077,0.00945119,-0.0295804,0.08193699,0.00637667,-0.03025705,0.00270375,0.00282897,0.03454009,-0.03227555,0.01436919,-0.05481226,0.00784445,-0.01520939,-0.07242978,-0.03409049,-0.01259226,-0.0159915,0.04841981,0.01515141,0.05139472,-0.00897146,0.03901965,0.00202254,-0.00151282,0.03660259,-0.22278267,0.04516685,0.02938431,0.02431527,-0.05998269,-0.00938595,0.04151947,0.02644621,-0.09366695,0.02484756,0.02598295,0.04872106,-0.0129294,-0.02338736,-0.01214448,0.02843461,-0.02260383,-0.00617986,-0.05466845,0.04823226,0.03357572,-0.05431852,-0.05352644,0.01682351,0.03120776,-0.00284983,0.04396749,0.03293749,-0.03051631,-0.01714229,0.01907947,0.05220882,-0.06618394,-0.0179426,-0.01413815,0.02023383,-0.01849899,0.10111023,-0.04702105,0.001275,0.01465659,-0.06783974,0.02450977,-0.06486958,-0.02035239,-0.05141778,-0.04454061,-0.00432712,-0.0079703,-0.00326417,-0.00296067,-0.05393643,-0.01805681,0.04804137,0.01100831,-0.0061815,-0.03216484,0.01709649,0.0298415,0.03461906,0.00725687,0.00265843,0.04824569,-0.02438048,0.02143878,0.06226608,0.04215666,0.00629769,0.00538158,0.01327188,-0.08477475,-0.05367924,-0.0014824,0.0183446,-0.03374932,0.02441529,-0.00141565,-0.01515497,-0.03042378,-0.09470544,-0.02232105,-0.08816292,-0.07544333,0.08960205,0.00692608,0.02978753,-0.04292277,-0.04678123,-0.02922264,0.05349761,-0.0210259,-0.03181193,0.02657302,0.00528774,0.03366848,0.1290492,-0.03112721,-0.04470701,-0.04520029,-0.07441971,-0.03020911,0.08023309,-0.00692353,-0.04936856,-0.02817621,0.10398944,0.04097623,-0.06290207,0.02888368,-0.00548059,-0.03070208,-0.04862329,0.0442135,0.00242653,0.0439868,-0.00614101,-0.04067374,-0.0027048,-0.00309561,0.02939346,-0.01699176,0.01709165,0.04864601,-0.09025603,-0.01533894,-0.03534319,0.02880011,0.02852315,-0.06665393,-0.01486428,-0.01149369,0.02993919,-0.05677326,-0.02396137,-0.02020193,0.0288582,0.03836964,-0.06728307,0.13555306,0.09565113,-0.01390209,-0.00231751,-0.01630409,0.00167151,0.00303513,0.01246852,0.01867892,0.06693231,-0.08877803,0.02944705,0.05409751,0.04612388,-0.00761433,0.01994365,-0.01237939,0.00879255,0.05647396,0.08846039,0.01781767,-0.02410869,-0.06313159,-0.22754897,0.0096246,0.05733487,-0.01784044,0.00325129,-0.02371804,0.00163328,-0.0342797,0.06377929,0.04995224,0.08799439,0.0852643,-0.01026285,0.00709599,0.01501311,-0.01248874,0.05787957,-0.02523611,0.0282945,0.02662743,0.0069711,-0.01736257,0.01869582,0.02635222,0.06959753,-0.05869998,0.12552443,0.01055357,0.00810684,-0.01086187,0.05613143,0.00852292,-0.00561658,-0.05120422,0.04942137,0.00993589,-0.02657159,-0.00093317,-0.02509905,-0.05643639,0.06676453,0.04101709,0.01321156,-0.07337967,-0.05369268,-0.06594487,-0.01665648,-0.02751812,-0.03931009,0.01256606,0.03913318,0.00250369,0.09210255,0.06307593,0.02498255,-0.01108475,-0.07883436,0.01267608,-0.02008948,0.00741271,0.03026369,0.04259926,-0.00262891,-0.01632479,0.00593594,0.02447348,0.02473727,0.01352332,0.0652971,0.01640175,-0.02788653,0.0999944,0.0600315,0.00062299,0.0619323,0.03908865,-0.04306959,-0.08576535,0.011555,-0.00364264,0.03143316,0.0003413,0.04785008,0.02707333,0.00603898,0.05967595,0.02684837,-0.01368373,0.05461597,-0.03465404,-0.04263213,-0.00172344,0.01941984,-0.01244587,0.04933246,-0.00997651,-0.32551762,0.00381272,-0.05093306,0.03695315,-0.01359022,0.01170065,0.01690959,-0.04404547,-0.04611175,0.01279072,-0.07379676,0.04528662,0.01189905,-0.03810327,0.0669881,0.00410033,0.02258044,-0.01752666,0.06876957,-0.07582308,-0.04763812,0.0476854,0.2165726,-0.00944497,-0.03907308,0.02178576,-0.0193296,0.05394531,0.07604856,-0.02659812,-0.01225922,-0.03903599,0.10939898,0.0212783,0.02098986,0.03535747,-0.02996757,-0.0028557,0.00980004,-0.08328238,-0.03902185,0.04980704,-0.06165147,0.0255996,0.07416604,-0.06637445,0.00001507,-0.08202892,0.00620776,0.03441274,-0.04027771,0.0058396,0.00283438,0.01083891,0.05307819,0.03609852,0.00429083,0.04085603,-0.01125411,0.00884565,0.05173251,-0.00348171,0.03296977,0.06417482,-0.03435175],"last_embed":{"hash":"ucgu4q","tokens":450}}},"text":null,"length":0,"last_read":{"hash":"ucgu4q","at":1759895401176},"key":"関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper#問題点","lines":[76,113],"size":840,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"ucgu4q","at":1759895401176}}, +"smart_blocks:関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper#問題点#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.10675652,-0.04727126,-0.03472358,-0.09890541,0.03764801,0.02153665,-0.08533429,0.00459597,0.07272404,0.01531127,-0.00667462,-0.08930468,0.04982847,0.03111592,0.00591631,0.03336204,0.03782459,-0.04112492,-0.06727256,-0.02951008,0.10753944,-0.01690477,0.0311031,-0.08187783,0.04554243,0.00361886,-0.03527681,-0.02228821,-0.02221859,-0.15907516,-0.00351177,0.01849309,0.0484329,-0.02309975,0.01378491,0.00494572,0.00092683,0.01291409,-0.03969041,0.07852374,0.00607119,-0.02700735,0.00272353,0.00417313,0.03412384,-0.03282922,0.0087691,-0.0500336,0.00960826,-0.01352755,-0.06477334,-0.03000635,-0.00945883,-0.01421394,0.04627123,0.01492124,0.05119573,-0.00257459,0.03991684,0.00062611,-0.00089705,0.03395445,-0.22019054,0.04363205,0.03076111,0.0259682,-0.05077349,-0.01385183,0.04353881,0.02717468,-0.09752859,0.02274002,0.022471,0.04965021,-0.01401098,-0.02481682,-0.00985269,0.0292113,-0.02090948,-0.00302815,-0.05227174,0.04571181,0.03388776,-0.05490887,-0.04858259,0.01607427,0.03176213,-0.00055209,0.04676566,0.03413162,-0.03346257,-0.01642992,0.02305734,0.05168692,-0.06134679,-0.01216472,-0.01383475,0.02462996,-0.01955276,0.09993414,-0.04787635,0.00234325,0.00652393,-0.06864432,0.02562978,-0.06114211,-0.01959154,-0.05047753,-0.04215568,-0.0064265,-0.00804023,-0.0040927,0.00377288,-0.05903535,-0.02234264,0.05184822,0.01385326,-0.00634454,-0.03390066,0.01716843,0.03586069,0.03389848,0.00846567,0.00077775,0.04759381,-0.02476432,0.02623777,0.06108234,0.0426399,0.00825899,0.00552995,0.01209379,-0.09244931,-0.0527072,0.00082477,0.01909133,-0.03470689,0.019494,-0.00687293,-0.01803386,-0.02794828,-0.09866621,-0.01924114,-0.09168002,-0.07217562,0.08925984,0.00429129,0.03293128,-0.04451469,-0.04580807,-0.02491177,0.05325573,-0.02092815,-0.03592502,0.02307879,0.00465221,0.03333041,0.12741318,-0.03456327,-0.04631471,-0.03819353,-0.07579632,-0.02804122,0.080874,-0.00593698,-0.04763865,-0.02732169,0.10349482,0.04340623,-0.0595942,0.0285194,-0.00677956,-0.03683495,-0.05229421,0.04673377,-0.00305675,0.04626781,-0.00543513,-0.04439424,-0.0042486,-0.00470441,0.02815865,-0.01447502,0.01658608,0.04546197,-0.09072787,-0.01675946,-0.03935426,0.02955276,0.02822193,-0.06672508,-0.01395291,-0.01055072,0.03005301,-0.05851759,-0.0229945,-0.01846379,0.02974674,0.03792059,-0.06361051,0.13855968,0.09402288,-0.01317164,-0.00565659,-0.02005712,0.00234712,0.00688452,0.01282682,0.01917217,0.0680875,-0.08676045,0.02923732,0.05294839,0.04821363,-0.0077843,0.01360513,-0.01659855,0.00977441,0.05192467,0.08911906,0.01461627,-0.02319245,-0.06280945,-0.22948074,0.01203749,0.05581065,-0.02077433,0.00332493,-0.02367994,-0.00002871,-0.03698403,0.06468633,0.0496971,0.08962929,0.0875009,-0.00717882,0.01099742,0.01331318,-0.01462128,0.05473956,-0.0214764,0.02783648,0.02424984,0.00495393,-0.015031,0.02147762,0.02450398,0.06940778,-0.05771165,0.12238751,0.00887428,0.00903972,-0.01309513,0.06222537,0.01104358,-0.00450721,-0.05299716,0.04914622,0.00651016,-0.02377355,0.00076594,-0.02390532,-0.05540232,0.06385571,0.04126493,0.01427288,-0.07134487,-0.05370694,-0.06649325,-0.02125772,-0.02953153,-0.03762297,0.01384353,0.04198021,0.0010409,0.09463449,0.0635336,0.02721253,-0.01343289,-0.08074301,0.0127717,-0.01871994,0.00816024,0.02572588,0.04590379,-0.00281566,-0.01684348,0.00334384,0.01907656,0.02648538,0.01440303,0.07004092,0.01792931,-0.02978323,0.10113888,0.05334621,0.00378579,0.06317039,0.03867982,-0.0452389,-0.0850931,0.00644668,-0.00230031,0.03185486,0.00037862,0.04589326,0.03365265,0.00721987,0.06069053,0.02938554,-0.00990248,0.05745043,-0.03640542,-0.04106813,-0.00430392,0.0194958,-0.01562116,0.04518352,-0.0072347,-0.32520404,-0.00045378,-0.05028042,0.03514137,-0.01396966,0.01111018,0.01450595,-0.04476953,-0.04918979,0.0162463,-0.07329778,0.04636368,0.01234026,-0.03995633,0.06778566,0.0022451,0.0271203,-0.01711854,0.06943155,-0.07497883,-0.04904599,0.04580053,0.21846326,-0.01047949,-0.0370972,0.02561868,-0.02535542,0.0584873,0.07850886,-0.02136853,-0.01689477,-0.03488522,0.11247099,0.01779392,0.01747636,0.03484784,-0.0269704,-0.00235602,0.01045948,-0.08061391,-0.03822565,0.04678139,-0.05962994,0.0299411,0.07699794,-0.07287376,-0.00246976,-0.08022591,0.00687641,0.03662819,-0.0404311,0.00533249,0.00835797,0.00975753,0.05525026,0.03491613,0.001318,0.04111262,-0.01220046,0.00719954,0.05103991,-0.00594935,0.03545754,0.06543876,-0.03459938],"last_embed":{"hash":"khsq7z","tokens":450}}},"text":null,"length":0,"last_read":{"hash":"khsq7z","at":1759895401244},"key":"関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper#問題点#{1}","lines":[78,113],"size":832,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"khsq7z","at":1759895401244}}, + +"smart_sources:関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md": {"path":"関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md","embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05260356,-0.0385306,0.01073114,-0.02412352,0.01783931,0.01570867,-0.09918709,0.03896971,0.04141415,0.02146242,-0.01219886,-0.04765153,0.04791138,0.03811337,0.02661674,-0.00999706,0.03901589,-0.04483594,-0.06592673,-0.02879699,0.16104716,-0.00937825,-0.00346554,-0.03467043,0.0812572,0.01342817,-0.01104697,0.00642606,-0.03725982,-0.13222052,-0.05348966,-0.00893204,0.06592467,0.00568882,0.06875514,0.01343518,0.01046966,0.04868602,-0.01575146,0.07036216,-0.04168035,0.00378235,0.03675058,-0.02360818,0.031157,-0.0225328,0.00502823,-0.04323615,-0.04192991,-0.02691881,-0.09668189,-0.03107762,0.0047821,0.00054905,0.02289947,-0.00483326,0.04889849,0.014387,0.00927557,0.04283216,0.01419009,0.03186965,-0.25578627,0.06146685,-0.00545903,-0.02348516,-0.06871312,-0.02298666,0.05725379,0.01018299,-0.0604966,-0.00132888,-0.00541178,0.02061285,0.04526707,0.01028788,0.00432428,-0.05809098,-0.01892569,-0.03711173,-0.02570547,0.0477641,0.00621531,-0.01759802,-0.03091368,-0.02224162,0.0365371,-0.02989828,0.01098455,0.03294047,-0.03753737,-0.03199847,0.0500693,0.05292482,-0.08840715,-0.01904059,-0.00526893,0.0362495,-0.0396988,0.10930286,-0.05221179,0.02242192,0.01031464,-0.05715322,0.05115333,-0.03893981,-0.02741398,-0.05972815,-0.00005684,-0.01936287,-0.03594666,-0.00954373,0.04216371,-0.04173038,0.00404664,0.02352385,0.06167841,-0.00451309,-0.02118121,-0.00240346,0.06722864,-0.01340655,0.00626257,-0.01124525,0.01964389,0.005713,0.04320807,0.03758225,-0.00486818,0.02287898,0.0569587,0.05388197,-0.06543592,-0.00787845,0.0270863,0.01050749,-0.03818329,-0.01845445,-0.00349996,-0.00206627,-0.04244979,-0.12758617,-0.02484354,-0.07359468,-0.08456503,0.11722812,-0.06963399,0.01296301,0.03232536,-0.01578465,-0.03490034,0.0836361,-0.02183878,-0.01956429,0.03350401,-0.03991228,0.05870639,0.11861292,-0.06078033,-0.00643745,-0.00577693,-0.0818864,-0.04130269,0.09391966,0.01627503,-0.05663307,-0.04198885,0.05632731,0.03475956,-0.07386673,0.0201763,0.0094602,0.00554343,-0.04711722,0.07417701,0.06113302,0.10379326,-0.01859013,-0.05110272,0.02803565,-0.00433429,-0.03036452,-0.01306682,0.04984409,-0.02998538,-0.05913801,0.01138262,-0.02785956,0.03934479,-0.01615747,-0.06259505,0.00219271,0.00393648,-0.00689847,-0.04562312,-0.05802583,-0.02472503,-0.00610871,-0.00973194,-0.08029958,0.08475451,0.04696614,-0.04772865,-0.05727169,0.05002768,0.00671754,0.03468135,-0.0245557,0.04188859,0.03870174,-0.0415293,-0.00122598,0.09485164,0.04498104,0.01934311,0.04118051,0.02153368,0.04634105,0.01547252,0.07324544,0.0056787,0.01473049,-0.07224257,-0.22168626,0.03448217,0.02508427,-0.05721327,-0.0245274,0.00979807,0.02224227,-0.07144316,0.10999259,0.06502116,0.09539779,0.07140139,-0.04051134,0.0086086,-0.00148928,0.00547545,0.05060394,-0.03802059,0.00117672,0.05730428,-0.00056175,-0.00666483,0.02509119,-0.00886975,0.05572588,0.00973541,0.08481238,0.07406044,-0.02317421,-0.03627205,0.06371465,0.01685156,-0.00284206,-0.10317235,0.06432623,-0.00835449,-0.05377328,-0.00491602,-0.01169527,-0.05965813,0.0210219,0.018122,0.0023311,-0.0330601,-0.00714625,-0.0563297,-0.02793243,-0.0002198,-0.07440128,0.04842669,0.0507263,0.02376901,0.0946164,0.05200607,0.005612,-0.01912589,-0.00873931,0.00319132,0.00107341,0.01150289,0.02372829,0.0075632,-0.01043209,-0.05660318,-0.0135082,-0.00229708,0.02272793,0.00663496,-0.00216682,0.03873539,-0.03110725,0.09782694,0.02111294,-0.00808487,0.04255293,0.03882543,0.00132635,-0.07151242,-0.00792123,-0.00836043,0.04633614,0.00276922,0.09262806,0.0571719,0.00184706,0.03121387,0.06113865,-0.02439441,0.01505088,-0.02204715,-0.09254383,-0.06681181,0.001572,-0.01220669,0.03548471,-0.0204916,-0.31871346,0.02718689,-0.04043632,0.00984619,0.02036895,0.00363691,-0.02985402,-0.02834086,-0.05953303,0.02201612,-0.06047812,0.0814379,0.03245767,-0.07196169,0.00561967,0.03047634,0.01112396,0.00933192,-0.00283176,-0.03172782,-0.03696147,0.0365221,0.18319866,-0.00255336,-0.0297716,-0.02415353,-0.00810284,0.04998352,0.09457603,0.01435063,-0.03048408,-0.00156703,0.12753737,0.0437404,0.0217353,-0.00661863,-0.04570625,0.01832244,0.01615312,-0.02630712,-0.054905,0.03951565,-0.01157007,0.0143254,0.07931019,-0.02036843,-0.04896123,-0.03404468,-0.02777816,0.01235995,-0.041545,-0.02384835,-0.0238723,0.00747873,0.00780648,0.07207365,0.01198198,0.0137591,-0.05230831,-0.01028659,0.04493636,-0.02214831,0.00753404,0.04146848,0.03189461],"last_embed":{"hash":"1sar2m2","tokens":449}}},"last_read":{"hash":"1sar2m2","at":1759895459840},"class_name":"SmartSource","last_import":{"mtime":1759895446781,"size":8683,"at":1759895459707,"hash":"1sar2m2"},"blocks":{"#---frontmatter---":[1,3],"#paper":[4,124],"#paper#概要":[6,15],"#paper#概要#{1}":[8,15],"#paper#背景":[16,27],"#paper#背景#{1}":[18,27],"#paper#ユースケースと先行例":[28,36],"#paper#ユースケースと先行例#{1}":[31,36],"#paper#lambda-mmm":[37,43],"#paper#lambda-mmm#{1}":[39,43],"#paper#コールツリーの解析":[44,56],"#paper#コールツリーの解析#{1}":[46,48],"#paper#コールツリーの解析#{2}":[49,56],"#paper#状態構造ツリー同士の比較":[57,75],"#paper#状態構造ツリー同士の比較#{1}":[59,75],"#paper#問題点":[76,113],"#paper#問題点#{1}":[78,113],"#paper#将来的な展望":[114,124],"#paper#将来的な展望#{1}":[117,124]},"outlinks":[{"title":"mimium","target":"mimium","line":8},{"title":"Faust","target":"Faust","line":22},{"title":"ChucK","target":"ChucK","line":24},{"title":"Incremental Functional Reactive Programming","target":"Incremental Functional Reactive Programming","line":31}],"metadata":{"date":"2025-09-25 11:42","tags":["#paper"]},"task_lines":[],"last_embed":{"hash":"1sar2m2","at":1759895459708}},"smart_blocks:関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.04212666,-0.03770723,0.00264575,-0.01365316,0.02747775,0.03127739,-0.07859395,0.03329987,0.04185892,0.01398669,-0.0346158,-0.04236455,0.05083003,0.02075063,0.03580261,-0.00711431,0.04834475,-0.02579377,-0.06644234,-0.0365631,0.15342143,-0.00527699,0.01052173,-0.02857879,0.08371942,0.01217243,-0.01634703,0.00479472,-0.02978111,-0.13478348,-0.04479116,-0.00745434,0.05475611,0.01007496,0.06121348,0.04007787,0.01357221,0.0437594,-0.01308481,0.07649154,-0.0315778,0.00328419,0.03655959,-0.01322036,0.04511837,-0.01860715,0.00851434,-0.0453486,-0.0414745,-0.0246359,-0.09662232,-0.02040164,0.0177248,-0.01164484,0.01846742,-0.00733427,0.04500294,0.0232274,0.00679432,0.03907485,0.02509107,0.04814568,-0.24270527,0.06306291,0.00364835,-0.01812201,-0.07645411,-0.02743329,0.05540359,0.00983454,-0.06395935,0.00458235,-0.00510226,0.02044602,0.05201431,0.02094426,0.00855392,-0.04953891,-0.01816164,-0.02941417,-0.01825783,0.04061244,0.01263815,-0.01512104,-0.02957887,-0.02082652,0.03357173,-0.03622366,0.03238126,0.01225086,-0.02630255,-0.02491668,0.05471747,0.0556029,-0.08522736,-0.02260287,-0.01788217,0.02383974,-0.03669534,0.11956769,-0.03358496,0.00442458,0.01015917,-0.05458966,0.06552454,-0.05270228,-0.02864309,-0.05826619,0.00549887,-0.00958069,-0.03859118,-0.02608773,0.02215679,-0.03007978,0.00239412,0.02034038,0.03356341,-0.00915537,-0.03394023,-0.01511691,0.05074136,-0.00439061,-0.00944188,-0.01442115,0.01860761,-0.01179506,0.0413654,0.04407634,-0.00773288,0.03656515,0.05341825,0.06232241,-0.06258713,-0.01634153,0.01920844,0.00781056,-0.04137389,0.00045201,-0.01597375,0.01393895,-0.03329745,-0.11363888,-0.02653431,-0.0702126,-0.09547381,0.12124613,-0.07242195,0.0089216,0.02047425,-0.02723302,-0.01239686,0.09159975,-0.04178215,-0.00885975,0.02725387,-0.03180964,0.04714033,0.11496966,-0.06433511,-0.01484278,-0.00479661,-0.08601891,-0.04117203,0.10429531,-0.00212542,-0.05339206,-0.04591719,0.04548123,0.02731355,-0.06977472,0.0216114,0.003969,-0.00826083,-0.05325263,0.04755666,0.04491105,0.07910321,-0.02515705,-0.04658516,0.02688337,-0.00322356,-0.02610342,-0.00804649,0.04884265,-0.03669177,-0.06228436,0.01235827,-0.03090355,0.03747867,-0.01853937,-0.07233803,0.01596078,0.00563778,-0.02720812,-0.05760662,-0.0422438,-0.01744738,-0.02193025,-0.02201145,-0.08932898,0.0868291,0.06495795,-0.06097976,-0.05736107,0.03715528,0.02390717,0.03331027,-0.03287963,0.03967666,0.03510002,-0.0470072,0.00940946,0.09045026,0.05541811,0.01903255,0.03426822,0.02842649,0.04851329,0.0181307,0.08015493,0.01174615,0.0134469,-0.08017892,-0.23306346,0.02956416,0.02116405,-0.06407856,-0.02887584,0.00346165,0.03017944,-0.0590889,0.09185134,0.06268544,0.09083107,0.06599576,-0.0496987,0.02532693,0.00880991,0.01264703,0.05328365,-0.04141638,-0.00009902,0.06930292,0.00263017,0.00226404,0.04006152,-0.00162797,0.06715508,0.0254057,0.08122654,0.06123,-0.00974936,-0.02445912,0.04582945,0.01178601,0.00911111,-0.09577916,0.07406875,-0.00279817,-0.05304289,0.0023655,-0.01049832,-0.05326475,0.0236258,0.01949766,-0.00522726,-0.02727455,0.00123758,-0.0585832,-0.0569432,-0.0059923,-0.0843541,0.05434593,0.04845789,0.04394238,0.09270193,0.05283576,0.00575451,-0.01286766,-0.0006668,0.01432121,-0.00659977,0.00589345,0.021746,-0.00462267,0.00768693,-0.05943529,-0.0042022,-0.00701283,0.02194168,0.01438874,0.01847482,0.02516198,-0.04434125,0.10861368,0.02638765,-0.01054594,0.04097431,0.05562394,0.00264724,-0.08375781,-0.0161943,-0.01272653,0.0436803,0.01089442,0.08291041,0.0497204,-0.00590233,0.04415693,0.06281133,-0.03338608,0.00106331,-0.03290977,-0.09879428,-0.0542823,0.00907129,-0.02244803,0.0304642,-0.02089099,-0.31429252,0.01439243,-0.03917788,0.00971083,0.0145451,-0.01008116,-0.02459498,-0.03960207,-0.06564828,0.00882594,-0.06118196,0.07311511,0.03020864,-0.07199775,0.00030674,0.04993832,0.02266996,0.01116744,0.00474591,-0.02787035,-0.03303265,0.0386822,0.19082409,-0.01273921,-0.03034999,-0.03645808,-0.00848455,0.05458537,0.09587004,0.01511298,-0.02812908,0.00490792,0.12738034,0.0425673,0.03158092,-0.01104376,-0.04147816,0.00432541,0.02144575,-0.03719426,-0.0396,0.03226672,-0.02195182,0.01755272,0.07290822,-0.03892319,-0.03577454,-0.03468653,-0.02818608,0.02410053,-0.04753434,-0.02884557,-0.02605448,-0.00218019,0.0182216,0.07316659,-0.00401063,0.02053316,-0.04932823,-0.00375953,0.0463895,-0.02829056,0.01299811,0.06899923,0.0317558],"last_embed":{"hash":"9xo927","tokens":462}}},"text":null,"length":0,"last_read":{"hash":"9xo927","at":1759895459840},"key":"関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper","lines":[4,124],"size":3340,"outlinks":[{"title":"mimium","target":"mimium","line":5},{"title":"Faust","target":"Faust","line":19},{"title":"ChucK","target":"ChucK","line":21},{"title":"Incremental Functional Reactive Programming","target":"Incremental Functional Reactive Programming","line":28}],"class_name":"SmartBlock","last_embed":{"hash":"9xo927","at":1759895459840}}, + +"smart_sources:関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md": {"path":"関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md","embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05260356,-0.0385306,0.01073114,-0.02412352,0.01783931,0.01570867,-0.09918709,0.03896971,0.04141415,0.02146242,-0.01219886,-0.04765153,0.04791138,0.03811337,0.02661674,-0.00999706,0.03901589,-0.04483594,-0.06592673,-0.02879699,0.16104716,-0.00937825,-0.00346554,-0.03467043,0.0812572,0.01342817,-0.01104697,0.00642606,-0.03725982,-0.13222052,-0.05348966,-0.00893204,0.06592467,0.00568882,0.06875514,0.01343518,0.01046966,0.04868602,-0.01575146,0.07036216,-0.04168035,0.00378235,0.03675058,-0.02360818,0.031157,-0.0225328,0.00502823,-0.04323615,-0.04192991,-0.02691881,-0.09668189,-0.03107762,0.0047821,0.00054905,0.02289947,-0.00483326,0.04889849,0.014387,0.00927557,0.04283216,0.01419009,0.03186965,-0.25578627,0.06146685,-0.00545903,-0.02348516,-0.06871312,-0.02298666,0.05725379,0.01018299,-0.0604966,-0.00132888,-0.00541178,0.02061285,0.04526707,0.01028788,0.00432428,-0.05809098,-0.01892569,-0.03711173,-0.02570547,0.0477641,0.00621531,-0.01759802,-0.03091368,-0.02224162,0.0365371,-0.02989828,0.01098455,0.03294047,-0.03753737,-0.03199847,0.0500693,0.05292482,-0.08840715,-0.01904059,-0.00526893,0.0362495,-0.0396988,0.10930286,-0.05221179,0.02242192,0.01031464,-0.05715322,0.05115333,-0.03893981,-0.02741398,-0.05972815,-0.00005684,-0.01936287,-0.03594666,-0.00954373,0.04216371,-0.04173038,0.00404664,0.02352385,0.06167841,-0.00451309,-0.02118121,-0.00240346,0.06722864,-0.01340655,0.00626257,-0.01124525,0.01964389,0.005713,0.04320807,0.03758225,-0.00486818,0.02287898,0.0569587,0.05388197,-0.06543592,-0.00787845,0.0270863,0.01050749,-0.03818329,-0.01845445,-0.00349996,-0.00206627,-0.04244979,-0.12758617,-0.02484354,-0.07359468,-0.08456503,0.11722812,-0.06963399,0.01296301,0.03232536,-0.01578465,-0.03490034,0.0836361,-0.02183878,-0.01956429,0.03350401,-0.03991228,0.05870639,0.11861292,-0.06078033,-0.00643745,-0.00577693,-0.0818864,-0.04130269,0.09391966,0.01627503,-0.05663307,-0.04198885,0.05632731,0.03475956,-0.07386673,0.0201763,0.0094602,0.00554343,-0.04711722,0.07417701,0.06113302,0.10379326,-0.01859013,-0.05110272,0.02803565,-0.00433429,-0.03036452,-0.01306682,0.04984409,-0.02998538,-0.05913801,0.01138262,-0.02785956,0.03934479,-0.01615747,-0.06259505,0.00219271,0.00393648,-0.00689847,-0.04562312,-0.05802583,-0.02472503,-0.00610871,-0.00973194,-0.08029958,0.08475451,0.04696614,-0.04772865,-0.05727169,0.05002768,0.00671754,0.03468135,-0.0245557,0.04188859,0.03870174,-0.0415293,-0.00122598,0.09485164,0.04498104,0.01934311,0.04118051,0.02153368,0.04634105,0.01547252,0.07324544,0.0056787,0.01473049,-0.07224257,-0.22168626,0.03448217,0.02508427,-0.05721327,-0.0245274,0.00979807,0.02224227,-0.07144316,0.10999259,0.06502116,0.09539779,0.07140139,-0.04051134,0.0086086,-0.00148928,0.00547545,0.05060394,-0.03802059,0.00117672,0.05730428,-0.00056175,-0.00666483,0.02509119,-0.00886975,0.05572588,0.00973541,0.08481238,0.07406044,-0.02317421,-0.03627205,0.06371465,0.01685156,-0.00284206,-0.10317235,0.06432623,-0.00835449,-0.05377328,-0.00491602,-0.01169527,-0.05965813,0.0210219,0.018122,0.0023311,-0.0330601,-0.00714625,-0.0563297,-0.02793243,-0.0002198,-0.07440128,0.04842669,0.0507263,0.02376901,0.0946164,0.05200607,0.005612,-0.01912589,-0.00873931,0.00319132,0.00107341,0.01150289,0.02372829,0.0075632,-0.01043209,-0.05660318,-0.0135082,-0.00229708,0.02272793,0.00663496,-0.00216682,0.03873539,-0.03110725,0.09782694,0.02111294,-0.00808487,0.04255293,0.03882543,0.00132635,-0.07151242,-0.00792123,-0.00836043,0.04633614,0.00276922,0.09262806,0.0571719,0.00184706,0.03121387,0.06113865,-0.02439441,0.01505088,-0.02204715,-0.09254383,-0.06681181,0.001572,-0.01220669,0.03548471,-0.0204916,-0.31871346,0.02718689,-0.04043632,0.00984619,0.02036895,0.00363691,-0.02985402,-0.02834086,-0.05953303,0.02201612,-0.06047812,0.0814379,0.03245767,-0.07196169,0.00561967,0.03047634,0.01112396,0.00933192,-0.00283176,-0.03172782,-0.03696147,0.0365221,0.18319866,-0.00255336,-0.0297716,-0.02415353,-0.00810284,0.04998352,0.09457603,0.01435063,-0.03048408,-0.00156703,0.12753737,0.0437404,0.0217353,-0.00661863,-0.04570625,0.01832244,0.01615312,-0.02630712,-0.054905,0.03951565,-0.01157007,0.0143254,0.07931019,-0.02036843,-0.04896123,-0.03404468,-0.02777816,0.01235995,-0.041545,-0.02384835,-0.0238723,0.00747873,0.00780648,0.07207365,0.01198198,0.0137591,-0.05230831,-0.01028659,0.04493636,-0.02214831,0.00753404,0.04146848,0.03189461],"last_embed":{"hash":"9een40","tokens":449}}},"last_read":{"hash":"9een40","at":1759895509887},"class_name":"SmartSource","last_import":{"mtime":1759895498592,"size":8741,"at":1759895509766,"hash":"9een40"},"blocks":{"#---frontmatter---":[1,3],"#paper":[4,125],"#paper#概要":[6,15],"#paper#概要#{1}":[8,15],"#paper#背景":[16,27],"#paper#背景#{1}":[18,27],"#paper#ユースケースと先行例":[28,36],"#paper#ユースケースと先行例#{1}":[31,36],"#paper#lambda-mmm":[37,43],"#paper#lambda-mmm#{1}":[39,43],"#paper#コールツリーの解析":[44,56],"#paper#コールツリーの解析#{1}":[46,48],"#paper#コールツリーの解析#{2}":[49,56],"#paper#状態構造ツリー同士の比較":[57,75],"#paper#状態構造ツリー同士の比較#{1}":[59,75],"#paper#問題点":[76,113],"#paper#問題点#{1}":[78,113],"#paper#将来的な展望":[114,125],"#paper#将来的な展望#{1}":[117,125]},"outlinks":[{"title":"mimium","target":"mimium","line":8},{"title":"Faust","target":"Faust","line":22},{"title":"ChucK","target":"ChucK","line":24},{"title":"Incremental Functional Reactive Programming","target":"Incremental Functional Reactive Programming","line":31}],"metadata":{"date":"2025-09-25 11:42","tags":["#paper"]},"task_lines":[],"last_embed":{"hash":"9een40","at":1759895509767}},"smart_blocks:関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.04274005,-0.03767294,0.00229604,-0.01345354,0.02691676,0.03049676,-0.07938042,0.03378076,0.0420364,0.01441816,-0.03415364,-0.0426685,0.05106566,0.02078707,0.03610833,-0.00692462,0.04883123,-0.02544945,-0.06617764,-0.03677197,0.15330265,-0.00622976,0.01051592,-0.02831102,0.08386671,0.01129799,-0.01671892,0.00448056,-0.03004971,-0.13555165,-0.04504199,-0.00817984,0.05485268,0.01016284,0.0619355,0.03906406,0.01237872,0.04287807,-0.01313717,0.07639308,-0.03248002,0.00395821,0.03738296,-0.01351497,0.04447513,-0.01916464,0.00908545,-0.04586356,-0.04143782,-0.02460394,-0.09714312,-0.01973676,0.01709357,-0.01087829,0.01806679,-0.00716867,0.04588688,0.02382096,0.00685222,0.03839405,0.02456399,0.04795289,-0.24286842,0.06264789,0.00317664,-0.01786334,-0.07746138,-0.02766816,0.05473386,0.01008751,-0.0642746,0.0047137,-0.00468244,0.02069435,0.05158329,0.02065259,0.00854255,-0.04945771,-0.01855876,-0.03049638,-0.01857023,0.04139034,0.01126806,-0.01488725,-0.0293935,-0.02087309,0.03438895,-0.03705875,0.03217261,0.01330704,-0.02704199,-0.02550967,0.05517662,0.05610007,-0.08570011,-0.0230639,-0.01730043,0.0245283,-0.03512386,0.11902184,-0.03336618,0.00395546,0.01139126,-0.05530011,0.06511261,-0.05305437,-0.02833758,-0.0567806,0.00634838,-0.00975143,-0.03779377,-0.02550884,0.02237399,-0.03089932,0.00214712,0.01925826,0.03376337,-0.00978537,-0.03416134,-0.01506583,0.05024996,-0.00435682,-0.010175,-0.01511837,0.01841516,-0.01164819,0.04119297,0.04393778,-0.00730863,0.03701844,0.05226827,0.06229398,-0.06193135,-0.01609449,0.01961483,0.00735296,-0.04121343,0.0006263,-0.01523972,0.0137315,-0.03314269,-0.11317303,-0.02663192,-0.07068523,-0.09530324,0.12009513,-0.07209694,0.00861029,0.02113712,-0.02597236,-0.01273329,0.09115637,-0.0414284,-0.00942853,0.02817499,-0.03144315,0.04667886,0.11511265,-0.06455563,-0.01484422,-0.00483446,-0.08613551,-0.04134518,0.10544232,-0.00206825,-0.05248332,-0.04574212,0.04582934,0.02712531,-0.06982023,0.02154435,0.00387975,-0.00888874,-0.05355014,0.04787501,0.0458657,0.07910327,-0.02515621,-0.04678293,0.02696908,-0.00280241,-0.0258673,-0.0083804,0.04774949,-0.03633381,-0.06169583,0.0118802,-0.03105936,0.0372353,-0.01870425,-0.07191961,0.01619137,0.00454735,-0.02761987,-0.05790064,-0.04201829,-0.01629014,-0.0212811,-0.02141695,-0.08957776,0.08667389,0.0647918,-0.06173499,-0.05720603,0.03708503,0.02281468,0.03446829,-0.03254061,0.03936399,0.03605201,-0.04682353,0.00874954,0.08954474,0.05545661,0.01946607,0.03450913,0.02835663,0.04846054,0.01825906,0.08032671,0.01257018,0.01340694,-0.08085506,-0.2331744,0.0291677,0.0207877,-0.06341585,-0.02730543,0.00356899,0.02877,-0.06013024,0.09221235,0.06087158,0.09181985,0.06684244,-0.04999014,0.0246313,0.00937383,0.01250931,0.05307537,-0.04099705,0.00016173,0.06902767,0.00362939,0.00183063,0.04067082,-0.00032942,0.06854546,0.02468061,0.08099134,0.06028581,-0.00990782,-0.0237941,0.04586358,0.01231598,0.0081939,-0.09443816,0.07439648,-0.00286571,-0.05351946,0.00151498,-0.0106084,-0.05319648,0.02416638,0.0192532,-0.00606293,-0.02645224,0.00166091,-0.05885213,-0.05666072,-0.00585548,-0.08366907,0.05512947,0.04868246,0.04331093,0.09244034,0.05188563,0.00537816,-0.01186511,-0.00023899,0.01450796,-0.0057379,0.00486612,0.02199397,-0.00412593,0.00776027,-0.05962334,-0.00450078,-0.00634318,0.02149284,0.01520299,0.01796712,0.0254428,-0.0437644,0.10773183,0.02731392,-0.01055428,0.04094398,0.05574174,0.00169332,-0.08370239,-0.01567063,-0.01269942,0.0437495,0.01102138,0.0827764,0.04968373,-0.00608035,0.04389545,0.06264941,-0.03375831,0.00076209,-0.03196751,-0.09872386,-0.05473597,0.00859062,-0.02136428,0.0312107,-0.02110439,-0.3145957,0.01448876,-0.03968129,0.00927852,0.01506001,-0.01097615,-0.02533378,-0.03935888,-0.06559905,0.00840587,-0.06056031,0.07342418,0.03038663,-0.07159292,0.00092768,0.04965201,0.02249133,0.01202698,0.0056241,-0.0278774,-0.03316482,0.03832658,0.19037418,-0.01287272,-0.02990473,-0.03729836,-0.00873802,0.05450957,0.09562004,0.01542924,-0.02851198,0.00545336,0.12893465,0.04361526,0.03149865,-0.01045677,-0.04215724,0.00447513,0.02108715,-0.03700362,-0.04015588,0.03299398,-0.02206143,0.0171324,0.07351752,-0.03795935,-0.03632673,-0.03414086,-0.02737049,0.02452741,-0.04745226,-0.02913777,-0.02673045,-0.00283752,0.01825294,0.0731049,-0.00382434,0.0200229,-0.04940347,-0.00514348,0.04667522,-0.02787903,0.01299356,0.06853189,0.03284174],"last_embed":{"hash":"1dn3cu0","tokens":465}}},"text":null,"length":0,"last_read":{"hash":"1dn3cu0","at":1759895509887},"key":"関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper","lines":[4,125],"size":3384,"outlinks":[{"title":"mimium","target":"mimium","line":5},{"title":"Faust","target":"Faust","line":19},{"title":"ChucK","target":"ChucK","line":21},{"title":"Incremental Functional Reactive Programming","target":"Incremental Functional Reactive Programming","line":28}],"class_name":"SmartBlock","last_embed":{"hash":"1dn3cu0","at":1759895509887}}, + +"smart_sources:関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md": {"path":"関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md","embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05260356,-0.0385306,0.01073114,-0.02412352,0.01783931,0.01570867,-0.09918709,0.03896971,0.04141415,0.02146242,-0.01219886,-0.04765153,0.04791138,0.03811337,0.02661674,-0.00999706,0.03901589,-0.04483594,-0.06592673,-0.02879699,0.16104716,-0.00937825,-0.00346554,-0.03467043,0.0812572,0.01342817,-0.01104697,0.00642606,-0.03725982,-0.13222052,-0.05348966,-0.00893204,0.06592467,0.00568882,0.06875514,0.01343518,0.01046966,0.04868602,-0.01575146,0.07036216,-0.04168035,0.00378235,0.03675058,-0.02360818,0.031157,-0.0225328,0.00502823,-0.04323615,-0.04192991,-0.02691881,-0.09668189,-0.03107762,0.0047821,0.00054905,0.02289947,-0.00483326,0.04889849,0.014387,0.00927557,0.04283216,0.01419009,0.03186965,-0.25578627,0.06146685,-0.00545903,-0.02348516,-0.06871312,-0.02298666,0.05725379,0.01018299,-0.0604966,-0.00132888,-0.00541178,0.02061285,0.04526707,0.01028788,0.00432428,-0.05809098,-0.01892569,-0.03711173,-0.02570547,0.0477641,0.00621531,-0.01759802,-0.03091368,-0.02224162,0.0365371,-0.02989828,0.01098455,0.03294047,-0.03753737,-0.03199847,0.0500693,0.05292482,-0.08840715,-0.01904059,-0.00526893,0.0362495,-0.0396988,0.10930286,-0.05221179,0.02242192,0.01031464,-0.05715322,0.05115333,-0.03893981,-0.02741398,-0.05972815,-0.00005684,-0.01936287,-0.03594666,-0.00954373,0.04216371,-0.04173038,0.00404664,0.02352385,0.06167841,-0.00451309,-0.02118121,-0.00240346,0.06722864,-0.01340655,0.00626257,-0.01124525,0.01964389,0.005713,0.04320807,0.03758225,-0.00486818,0.02287898,0.0569587,0.05388197,-0.06543592,-0.00787845,0.0270863,0.01050749,-0.03818329,-0.01845445,-0.00349996,-0.00206627,-0.04244979,-0.12758617,-0.02484354,-0.07359468,-0.08456503,0.11722812,-0.06963399,0.01296301,0.03232536,-0.01578465,-0.03490034,0.0836361,-0.02183878,-0.01956429,0.03350401,-0.03991228,0.05870639,0.11861292,-0.06078033,-0.00643745,-0.00577693,-0.0818864,-0.04130269,0.09391966,0.01627503,-0.05663307,-0.04198885,0.05632731,0.03475956,-0.07386673,0.0201763,0.0094602,0.00554343,-0.04711722,0.07417701,0.06113302,0.10379326,-0.01859013,-0.05110272,0.02803565,-0.00433429,-0.03036452,-0.01306682,0.04984409,-0.02998538,-0.05913801,0.01138262,-0.02785956,0.03934479,-0.01615747,-0.06259505,0.00219271,0.00393648,-0.00689847,-0.04562312,-0.05802583,-0.02472503,-0.00610871,-0.00973194,-0.08029958,0.08475451,0.04696614,-0.04772865,-0.05727169,0.05002768,0.00671754,0.03468135,-0.0245557,0.04188859,0.03870174,-0.0415293,-0.00122598,0.09485164,0.04498104,0.01934311,0.04118051,0.02153368,0.04634105,0.01547252,0.07324544,0.0056787,0.01473049,-0.07224257,-0.22168626,0.03448217,0.02508427,-0.05721327,-0.0245274,0.00979807,0.02224227,-0.07144316,0.10999259,0.06502116,0.09539779,0.07140139,-0.04051134,0.0086086,-0.00148928,0.00547545,0.05060394,-0.03802059,0.00117672,0.05730428,-0.00056175,-0.00666483,0.02509119,-0.00886975,0.05572588,0.00973541,0.08481238,0.07406044,-0.02317421,-0.03627205,0.06371465,0.01685156,-0.00284206,-0.10317235,0.06432623,-0.00835449,-0.05377328,-0.00491602,-0.01169527,-0.05965813,0.0210219,0.018122,0.0023311,-0.0330601,-0.00714625,-0.0563297,-0.02793243,-0.0002198,-0.07440128,0.04842669,0.0507263,0.02376901,0.0946164,0.05200607,0.005612,-0.01912589,-0.00873931,0.00319132,0.00107341,0.01150289,0.02372829,0.0075632,-0.01043209,-0.05660318,-0.0135082,-0.00229708,0.02272793,0.00663496,-0.00216682,0.03873539,-0.03110725,0.09782694,0.02111294,-0.00808487,0.04255293,0.03882543,0.00132635,-0.07151242,-0.00792123,-0.00836043,0.04633614,0.00276922,0.09262806,0.0571719,0.00184706,0.03121387,0.06113865,-0.02439441,0.01505088,-0.02204715,-0.09254383,-0.06681181,0.001572,-0.01220669,0.03548471,-0.0204916,-0.31871346,0.02718689,-0.04043632,0.00984619,0.02036895,0.00363691,-0.02985402,-0.02834086,-0.05953303,0.02201612,-0.06047812,0.0814379,0.03245767,-0.07196169,0.00561967,0.03047634,0.01112396,0.00933192,-0.00283176,-0.03172782,-0.03696147,0.0365221,0.18319866,-0.00255336,-0.0297716,-0.02415353,-0.00810284,0.04998352,0.09457603,0.01435063,-0.03048408,-0.00156703,0.12753737,0.0437404,0.0217353,-0.00661863,-0.04570625,0.01832244,0.01615312,-0.02630712,-0.054905,0.03951565,-0.01157007,0.0143254,0.07931019,-0.02036843,-0.04896123,-0.03404468,-0.02777816,0.01235995,-0.041545,-0.02384835,-0.0238723,0.00747873,0.00780648,0.07207365,0.01198198,0.0137591,-0.05230831,-0.01028659,0.04493636,-0.02214831,0.00753404,0.04146848,0.03189461],"last_embed":{"hash":"9x3uf8","tokens":449}}},"last_read":{"hash":"9x3uf8","at":1759895564027},"class_name":"SmartSource","last_import":{"mtime":1759895551763,"size":8785,"at":1759895563785,"hash":"9x3uf8"},"blocks":{"#---frontmatter---":[1,3],"#paper":[4,125],"#paper#概要":[6,15],"#paper#概要#{1}":[8,15],"#paper#背景":[16,27],"#paper#背景#{1}":[18,27],"#paper#ユースケースと先行例":[28,36],"#paper#ユースケースと先行例#{1}":[31,36],"#paper#lambda-mmm":[37,43],"#paper#lambda-mmm#{1}":[39,43],"#paper#コールツリーの解析":[44,56],"#paper#コールツリーの解析#{1}":[46,48],"#paper#コールツリーの解析#{2}":[49,56],"#paper#状態構造ツリー同士の比較":[57,75],"#paper#状態構造ツリー同士の比較#{1}":[59,75],"#paper#問題点":[76,113],"#paper#問題点#{1}":[78,113],"#paper#将来的な展望":[114,125],"#paper#将来的な展望#{1}":[117,125]},"outlinks":[{"title":"mimium","target":"mimium","line":8},{"title":"Faust","target":"Faust","line":22},{"title":"ChucK","target":"ChucK","line":24},{"title":"Incremental Functional Reactive Programming","target":"Incremental Functional Reactive Programming","line":31}],"metadata":{"date":"2025-09-25 11:42","tags":["#paper"]},"task_lines":[],"last_embed":{"hash":"9x3uf8","at":1759895563787}},"smart_blocks:関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.04268369,-0.03749189,0.00202044,-0.01293516,0.02880207,0.02917355,-0.08111767,0.03424566,0.04209982,0.01366559,-0.03384223,-0.04235135,0.04989632,0.02078725,0.03661166,-0.00521195,0.04801305,-0.02466539,-0.06658191,-0.0383462,0.1548523,-0.00812647,0.01064333,-0.02567096,0.08205832,0.01256576,-0.01636225,0.00433562,-0.02933995,-0.13673134,-0.04612536,-0.00897268,0.055112,0.00983428,0.06174589,0.03856554,0.01164752,0.04143088,-0.0124058,0.07533579,-0.03229343,0.00268974,0.03676937,-0.01400272,0.04466196,-0.01723409,0.00906557,-0.04459331,-0.04007958,-0.02552494,-0.09724572,-0.02086341,0.01977399,-0.00979648,0.01723728,-0.00576638,0.04640348,0.02356671,0.00856801,0.03814174,0.02565379,0.04841544,-0.24155711,0.06263482,0.00299551,-0.01882387,-0.07892653,-0.02925957,0.05512817,0.00993077,-0.06583203,0.00500439,-0.0038064,0.02207009,0.05370739,0.01846811,0.00939511,-0.04996084,-0.02083632,-0.02901192,-0.02058148,0.04153212,0.00993095,-0.01591275,-0.02807026,-0.01959582,0.03717768,-0.03671922,0.03189221,0.01245092,-0.03083857,-0.02427649,0.05450707,0.05662888,-0.08473511,-0.02398389,-0.01667451,0.02398,-0.03423493,0.11880217,-0.03217424,0.00505563,0.01281975,-0.05472663,0.06647794,-0.05393683,-0.02821259,-0.05664661,0.00594296,-0.00996704,-0.036828,-0.02684518,0.02161981,-0.0308102,0.00290189,0.01822087,0.03352368,-0.01019393,-0.03490791,-0.01430508,0.04669902,-0.00332395,-0.01211604,-0.01578049,0.01951088,-0.01262941,0.04082792,0.04426951,-0.00621517,0.03677413,0.05318449,0.06208277,-0.06174077,-0.01610003,0.01957572,0.00640614,-0.04126842,0.00074761,-0.01312532,0.01421016,-0.0313841,-0.11378756,-0.02838644,-0.06957287,-0.0951681,0.11689514,-0.07193791,0.00922505,0.02137213,-0.02633246,-0.01298793,0.0955914,-0.04161027,-0.00860256,0.02843936,-0.03254712,0.04977214,0.11483933,-0.06320854,-0.01687049,-0.00307257,-0.08855304,-0.04279653,0.1078038,-0.00024195,-0.05271416,-0.04663724,0.04596426,0.02698449,-0.06997561,0.02068949,0.0045973,-0.01009287,-0.05191605,0.04844477,0.04621796,0.07925777,-0.02598961,-0.04770195,0.02843301,-0.0024501,-0.02378299,-0.00981658,0.04988048,-0.03649316,-0.06118607,0.01467347,-0.03038812,0.03401842,-0.01765667,-0.07052472,0.01427255,0.00397871,-0.02542673,-0.05889294,-0.0428345,-0.01692211,-0.02277624,-0.02201704,-0.08954306,0.08538909,0.06605362,-0.06153658,-0.05753158,0.03937001,0.02327068,0.03464808,-0.0317825,0.03807239,0.03489244,-0.04747002,0.00893194,0.08799556,0.05648617,0.02006725,0.03182048,0.02819427,0.05048301,0.01967184,0.08164639,0.01262153,0.01534245,-0.0803284,-0.231391,0.0293985,0.02045611,-0.06388187,-0.0255097,0.00458805,0.0258268,-0.05904046,0.09157439,0.05986742,0.09184516,0.06588218,-0.04985664,0.02335621,0.00740828,0.01325218,0.05306366,-0.0410338,0.00186597,0.06738047,0.00449123,0.00163869,0.03938537,-0.00260898,0.06778425,0.02329981,0.08058276,0.06115147,-0.01036218,-0.02622107,0.04571383,0.0118918,0.00783073,-0.09558068,0.07189657,-0.00189208,-0.05258222,0.0028104,-0.0110244,-0.05500497,0.02407699,0.01927648,-0.00834102,-0.02525831,-0.00068592,-0.05854039,-0.05658438,-0.00486008,-0.08443107,0.05594353,0.04792001,0.04299597,0.09319628,0.04929868,0.00635695,-0.01412717,-0.00172801,0.01494671,-0.00585547,0.00405853,0.02035409,-0.00546499,0.00791014,-0.06068425,-0.00683386,-0.00641966,0.01916591,0.01715051,0.01688354,0.02478261,-0.04263948,0.10763536,0.02736048,-0.01292639,0.03928848,0.05355894,0.0024745,-0.0821285,-0.01469561,-0.01153303,0.04339722,0.01199382,0.08240032,0.04940633,-0.00641229,0.04152657,0.06300555,-0.03454484,-0.0003161,-0.0308747,-0.10046121,-0.05306863,0.00883554,-0.01912111,0.03071919,-0.02279146,-0.3145445,0.01466904,-0.03900797,0.00926075,0.01599693,-0.01093718,-0.02440841,-0.0376518,-0.06548019,0.00897343,-0.05796248,0.07365917,0.03304406,-0.07126044,-0.00086978,0.04699555,0.0205377,0.01283197,0.00757318,-0.02927391,-0.0319124,0.03566289,0.19364983,-0.01064893,-0.03176579,-0.03854627,-0.00730037,0.05662213,0.0953217,0.01675964,-0.02692003,0.0065254,0.12891993,0.04524216,0.02944951,-0.01173473,-0.03978523,0.00438777,0.02139147,-0.03743109,-0.03835441,0.03160938,-0.02148313,0.01445438,0.0754279,-0.03633639,-0.03522698,-0.03642149,-0.02795584,0.02556017,-0.04793102,-0.02998618,-0.02739716,-0.00521902,0.01914459,0.07685164,-0.00067888,0.02153799,-0.05104477,-0.00450436,0.04410197,-0.02611953,0.01326473,0.06779044,0.03458821],"last_embed":{"hash":"1gszry1","tokens":469}}},"text":null,"length":0,"last_read":{"hash":"1gszry1","at":1759895563926},"key":"関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper","lines":[4,125],"size":3428,"outlinks":[{"title":"mimium","target":"mimium","line":5},{"title":"Faust","target":"Faust","line":19},{"title":"ChucK","target":"ChucK","line":21},{"title":"Incremental Functional Reactive Programming","target":"Incremental Functional Reactive Programming","line":28}],"class_name":"SmartBlock","last_embed":{"hash":"1gszry1","at":1759895563926}}, +"smart_blocks:関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper#将来的な展望": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.0436451,-0.05383436,-0.0435211,-0.01352122,-0.01434456,0.00624956,-0.07374243,0.05292175,-0.01625701,0.02912398,-0.00902421,-0.08027494,0.04944983,0.00751244,0.01895205,-0.0288534,0.02058639,-0.0031919,-0.1161144,0.00420826,0.18004285,-0.04585209,-0.02708809,-0.05243348,0.03760824,0.04292579,-0.0242936,-0.01798814,-0.01203281,-0.16401075,0.00324405,-0.03479641,0.07094125,0.01037984,0.0274012,0.02608755,0.00904208,0.03486006,-0.0121185,0.02456768,-0.02915851,0.02118929,-0.02665491,0.02129593,0.0369149,-0.06434991,0.00839205,0.01073084,-0.01725307,-0.03173509,-0.11156029,0.00004213,0.01457931,-0.03841347,0.0336712,-0.01513185,0.02240584,-0.00451707,0.05739339,0.04945797,0.012361,0.06901701,-0.1999511,0.06725931,-0.00753157,-0.02230839,-0.06656798,-0.0271042,0.01009596,0.02814023,-0.02619031,-0.0053315,0.01044226,0.05885296,0.03132247,0.01123634,-0.01144639,-0.06795531,-0.0440083,0.05828701,-0.00185648,0.05758926,-0.00013855,0.00002579,-0.05829095,-0.00171511,0.0342645,0.01684343,0.01851154,0.04437006,-0.05046119,-0.01679237,0.03018689,0.05981341,-0.06146773,-0.04443949,0.03040495,0.02977614,-0.06478962,0.09864138,-0.02563961,-0.00307636,0.01454965,0.00061155,0.01966175,0.02320669,0.01180718,-0.02675602,0.00323621,-0.00645958,-0.00956434,-0.02083167,-0.01791143,-0.02835547,0.01405109,0.01332953,0.01557337,-0.02416485,-0.02781666,0.00516774,0.01734268,0.02713628,0.04840232,0.00281963,0.02290304,0.00794304,0.07321636,0.05864294,-0.01237908,0.08258162,0.00178019,0.04398514,-0.09603724,-0.01053631,-0.02600138,0.01011127,-0.00416947,-0.02247722,0.03799161,0.01607435,-0.04515431,-0.11550647,-0.00551156,-0.07284833,-0.04861858,0.13419355,-0.03247894,-0.0112393,-0.0406819,-0.02936162,-0.00396661,0.04837508,-0.03244651,-0.03210631,0.00912576,-0.02255611,0.0339267,0.09315207,-0.09263214,-0.00520589,-0.01668755,-0.0820694,-0.05683469,0.04504553,0.01490148,-0.06190106,-0.00135921,0.04855621,0.02627354,-0.03439024,0.03518611,0.02300427,-0.07825012,-0.02189636,0.01741181,0.01535732,0.04049283,-0.00654284,-0.01681968,0.03431931,-0.01166472,-0.03935112,0.0033564,0.01471206,-0.01369239,-0.0471766,-0.01303968,-0.04886291,0.04952153,0.05141021,-0.08326269,-0.00991242,0.01633521,0.00413717,-0.06565548,-0.01096245,-0.00481751,-0.04342972,-0.0204854,-0.05133944,0.09427182,0.04111275,-0.04470829,-0.03070674,0.08043067,-0.01160433,0.03052405,-0.02715297,-0.00377205,0.02360779,-0.00248974,0.01671714,0.03084241,0.03938612,-0.04274965,0.04194548,0.04687849,0.01604132,0.02857665,0.00958235,0.07395051,-0.04952186,-0.0898712,-0.23514119,-0.00279884,0.02057735,-0.05820101,-0.0170331,-0.07661523,0.02460684,-0.02212706,0.06393363,0.08158907,0.09949899,0.02760334,-0.08491267,-0.02601429,0.02255625,0.005909,0.03792525,-0.04109583,-0.02512936,0.01540603,-0.00104076,0.00971189,0.04025182,0.01255407,0.05860419,-0.00284606,0.14183973,0.01569086,0.00961102,-0.01498802,0.07488441,0.02261973,-0.00889608,-0.09295993,0.04987907,0.01329037,-0.03582095,-0.00645816,0.01732807,-0.05919582,0.01524637,0.08046464,-0.03093324,-0.09678818,-0.02883038,0.00252938,-0.00444126,0.0170553,-0.04400386,0.06014128,-0.02647443,0.02395296,0.0569016,0.05550968,0.00814661,0.01165841,-0.0454555,0.00374767,-0.01191816,0.01426996,0.02373627,0.02948262,0.01070364,-0.08274539,0.01063938,-0.04414444,-0.00979795,0.01381161,-0.01499157,0.03856095,-0.04096958,0.08297309,0.04539652,0.0671972,0.0696025,0.06155669,-0.01728299,-0.08810574,-0.01082756,0.02616302,0.03853342,-0.01031011,0.07001384,0.05076611,0.01682953,0.06041422,-0.00497181,-0.06182432,0.04084683,0.01515383,-0.01969237,-0.01981761,-0.05974476,-0.05268805,-0.01191663,-0.03749117,-0.34576985,0.0494577,-0.00714553,0.03298568,0.0212658,0.03887654,0.00803717,-0.02829882,-0.06542152,0.01101021,-0.06224868,0.07116008,0.01683589,-0.05183313,0.03745977,0.01353409,0.01354376,-0.01413564,0.02695856,-0.03920876,0.02432051,0.05763821,0.22050886,0.01514736,-0.01057663,-0.03591271,0.03146985,0.02058893,0.10858422,0.0399397,-0.00754383,0.00656482,0.094197,0.01455075,0.04239027,0.02462974,-0.00331134,0.02382881,0.02138154,-0.03737786,-0.00419035,0.04872375,-0.04982793,0.02777218,0.07748796,0.02347857,0.00401535,-0.08207579,-0.01235436,0.0314998,-0.03658736,-0.02876496,-0.0132876,0.03501138,-0.00703669,0.01618692,-0.00365624,-0.07175922,-0.01058164,-0.01180409,0.03853603,-0.0208973,0.02972142,0.04616075,0.03336998],"last_embed":{"hash":"1k2qr4t","tokens":194}}},"text":null,"length":0,"last_read":{"hash":"1k2qr4t","at":1759895563998},"key":"関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper#将来的な展望","lines":[114,125],"size":237,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"1k2qr4t","at":1759895563998}}, +"smart_blocks:関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper#将来的な展望#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.03932987,-0.0515549,-0.03929212,-0.014892,-0.01519912,0.00452364,-0.06833214,0.04579366,-0.01545508,0.02502513,-0.01381822,-0.08510572,0.04915399,0.00610715,0.02012314,-0.02913753,0.02294376,-0.00498481,-0.11494991,0.00219836,0.17780554,-0.04454796,-0.02817656,-0.05191261,0.03472668,0.04339678,-0.0218077,-0.01817495,-0.01359714,-0.16127181,0.00126426,-0.03366515,0.06753153,0.00932157,0.02591654,0.02157833,0.00784166,0.03308548,-0.01523179,0.02240587,-0.02711113,0.02476138,-0.02521258,0.0245155,0.03513555,-0.06619368,0.00709644,0.01157322,-0.01555106,-0.02922678,-0.10851904,0.00162345,0.01678269,-0.0356686,0.03507671,-0.01582267,0.02106427,0.00158683,0.05703915,0.05102609,0.01257347,0.06764033,-0.19729485,0.06679423,-0.00635349,-0.02068138,-0.06265403,-0.03064652,0.01224343,0.0273143,-0.0266443,-0.01104848,0.00830624,0.05939064,0.03070993,0.01013706,-0.01248426,-0.06997916,-0.04557844,0.06054402,-0.00088495,0.05804189,0.00071451,-0.00096364,-0.05350319,-0.00221025,0.03463031,0.01346761,0.01749958,0.042746,-0.05374265,-0.02046453,0.03117981,0.06207214,-0.0612953,-0.0382356,0.02916537,0.03189848,-0.0644407,0.09660827,-0.02440287,0.00142476,0.00570234,-0.00319388,0.02152604,0.0296604,0.01237038,-0.02537897,0.00145457,-0.01139671,-0.0060449,-0.02345496,-0.0180874,-0.03033871,0.00902175,0.01779694,0.02288846,-0.02227444,-0.03142775,0.00371336,0.02164737,0.02300913,0.04940088,0.00318142,0.02426268,0.00776998,0.07556754,0.06006307,-0.0139475,0.08071169,0.00068899,0.04518574,-0.10060424,-0.01076766,-0.02485315,0.01134733,-0.00788,-0.0248091,0.03799305,0.01709858,-0.04528573,-0.12160717,-0.00809047,-0.07371327,-0.04544764,0.13260722,-0.03486079,-0.01558567,-0.03964411,-0.02820434,0.00198501,0.04940737,-0.0319584,-0.03264664,0.00794013,-0.025674,0.03397336,0.09169143,-0.09439523,-0.00814799,-0.0139105,-0.08462222,-0.05518308,0.0429126,0.01638649,-0.06264849,0.00152901,0.04755193,0.02583047,-0.03516263,0.034906,0.02326532,-0.08224641,-0.01870656,0.01478354,0.00925972,0.03693417,-0.0040904,-0.01915964,0.0328047,-0.01325459,-0.04021024,0.00651904,0.01317419,-0.01328528,-0.04872208,-0.01315479,-0.04625684,0.05267396,0.05383256,-0.08583561,-0.00847156,0.01692426,0.003066,-0.06510919,-0.01094512,-0.00276679,-0.04204655,-0.02115804,-0.05001568,0.09748541,0.0424526,-0.04561563,-0.03207923,0.0828393,-0.00862551,0.02796903,-0.02563561,-0.00248929,0.02012119,-0.00224218,0.01952976,0.03034088,0.04300387,-0.0379439,0.03711362,0.04654396,0.02074413,0.02587671,0.00457103,0.07210695,-0.04908175,-0.09171847,-0.23834746,0.00334461,0.01982876,-0.06213295,-0.02028595,-0.08070299,0.0273581,-0.02324626,0.06763902,0.07859222,0.09911755,0.02730373,-0.07989357,-0.02529794,0.02076017,0.00904423,0.03714671,-0.03907366,-0.02437569,0.01517574,-0.00139432,0.01001578,0.04198142,0.00870796,0.0542471,-0.00369591,0.14258258,0.01616937,0.01079255,-0.01647456,0.08023569,0.01995989,-0.0064083,-0.09147381,0.0473987,0.01298197,-0.03617943,-0.00849161,0.01897218,-0.05799331,0.01687925,0.07810241,-0.03128209,-0.09779774,-0.0273059,0.00181648,-0.0049669,0.01803127,-0.04329685,0.06278599,-0.02721092,0.02651333,0.0569252,0.05863214,0.00563042,0.01200646,-0.04819334,0.0018258,-0.0144995,0.01668164,0.02514429,0.03632205,0.01091186,-0.07899529,0.00960531,-0.04793408,-0.01117509,0.01339048,-0.00940578,0.03585726,-0.04685847,0.08250994,0.04384288,0.0672349,0.06763681,0.06022871,-0.02007376,-0.08890076,-0.01534458,0.02661767,0.03543729,-0.00799021,0.07070333,0.05080204,0.01739155,0.060522,-0.00232447,-0.05673458,0.04354717,0.01733612,-0.02010023,-0.01756118,-0.05669826,-0.05406917,-0.01536773,-0.04012432,-0.34525767,0.04802966,-0.0052859,0.03441338,0.01994835,0.03678452,0.00892747,-0.0306257,-0.06865832,0.01390373,-0.05872723,0.06814404,0.01316617,-0.0517921,0.03987459,0.01326036,0.01580133,-0.01401891,0.02515141,-0.0356819,0.02582591,0.05808831,0.22032826,0.016629,-0.00530595,-0.03086531,0.02712768,0.02343046,0.10687537,0.04672198,-0.01049695,0.0083715,0.1014564,0.01399984,0.03776034,0.02288933,0.00063745,0.02290121,0.02574484,-0.03492798,-0.00569173,0.0488438,-0.04781918,0.03088736,0.08250203,0.02512338,0.00406709,-0.07954218,-0.01308113,0.03395898,-0.03746731,-0.02585442,-0.0071819,0.03725869,-0.00985199,0.0140602,-0.00540671,-0.07642317,-0.01158658,-0.0108416,0.03690202,-0.02214444,0.02363827,0.03993297,0.03363563],"last_embed":{"hash":"1qztote","tokens":193}}},"text":null,"length":0,"last_read":{"hash":"1qztote","at":1759895564027},"key":"関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md#paper#将来的な展望#{1}","lines":[117,125],"size":225,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"1qztote","at":1759895564027}}, diff --git a/content/関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md b/content/関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md index 510c6988..36be510a 100644 --- a/content/関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md +++ b/content/関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム.md @@ -105,7 +105,11 @@ fn dsp(){ 上のサンプルでは、はじめlfoを使って周波数をモジュレーションしている状態から、周波数は固定にして音量をモジュレーションする処理へと切り替えた例である。myfreq()とmyamp()はそれぞれどちらもosc関数を1度だけ呼び出すため、dsp関数の内部状態ツリーの構成は共通しており、再コンパイル時にデータが引き継がれる。 この時、myampにはmyfreqの最後の位相が引き継がれることになるが、これは特に望ましいというわけではない(どうでもよさそうではあるけど) -myfreqとmyampをそれぞれselfを使って個別に実装していた場合、値の範囲がおかしくなるkのう +myfreqとmyampをそれぞれselfを使って個別に実装していた場合、値の範囲がおかしくなる可能性がある。 + +ツリー構築の際に、関数ラベルをつけるようにすればいいが、ラベルのネーミング方法に一貫性がないとダメ + +親の関数名+child1,2,3...みたいにすれば多分大丈夫。 ## 将来的な展望 @@ -113,6 +117,8 @@ myfreqとmyampをそれぞれselfを使って個別に実装していた場合 原理的にはFaustでも実現できるはず。 ディレイ、Feed以外に、外部定義の関数呼び出しにもこの仕組みを応用できるか?LuaのUserData的な仕組み。 - +Faustにおけるrwtableのように、単にCell的な仕組みを用意すればDelayやMemもこの上に乗っかる形で全部カバーできるはず + +rwtable(read_index:float,write_index:float,input:float,size:const-float)