quartz-research-note/content/.smart-env/multi/音楽プログラミング言語の形式化_md.ajson

"smart_sources:音楽プログラミング言語の形式化.md": {"path":"音楽プログラミング言語の形式化.md","last_embed":{"hash":null},"embeddings":{},"last_read":{"hash":"1nw285x","at":1759879044585},"class_name":"SmartSource","last_import":{"mtime":1731828833900,"size":9254,"at":1759879044623,"hash":"1nw285x"},"blocks":{"#---frontmatter---":[1,3],"#programming-language #research":[4,225],"#programming-language #research#先行例":[7,13],"#programming-language #research#先行例#{1}":[9,13],"#programming-language #research#基礎知識":[14,18],"#programming-language #research#基礎知識#{1}":[16,18],"#programming-language #research#[[mimium]]と[[多段階計算]]":[19,118],"#programming-language #research#[[mimium]]と[[多段階計算]]#{1}":[21,87],"#programming-language #research#[[mimium]]と[[多段階計算]]#{2}":[88,88],"#programming-language #research#[[mimium]]と[[多段階計算]]#{3}":[89,90],"#programming-language #research#[[mimium]]と[[多段階計算]]#{4}":[91,96],"#programming-language #research#[[mimium]]と[[多段階計算]]#{5}":[97,98],"#programming-language #research#[[mimium]]と[[多段階計算]]#{6}":[99,110],"#programming-language #research#[[mimium]]と[[多段階計算]]#Faustとかと比べたときのメリット":[111,118],"#programming-language #research#[[mimium]]と[[多段階計算]]#Faustとかと比べたときのメリット#{1}":[113,118],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説":[119,225],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#{1}":[121,122],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#1.あくまでコンパイラの最適化に任せる方向":[123,131],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#1.あくまでコンパイラの最適化に任せる方向#{1}":[125,131],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#2.再帰を有限回しか行えないような意味論を定義する":[132,138],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#2.再帰を有限回しか行えないような意味論を定義する#{1}":[134,138],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#これら2つではカバーできないケース":[139,225],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#これら2つではカバーできないケース#{1}":[141,190],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#これら2つではカバーできないケース#{2}":[191,191],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#これら2つではカバーできないケース#{3}":[192,192],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#これら2つではカバーできないケース#{4}":[193,194],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#これら2つではカバーできないケース#{5}":[195,225]},"outlinks":[{"title":"Faust","target":"Faust","line":9},{"title":"The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms","target":"The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms","line":12},{"title":"Coqの勉強","target":"Coqの勉強","line":16},{"title":"mimium","target":"mimium","line":19},{"title":"多段階計算","target":"多段階計算","line":19},{"title":"mimium新内部表現の構想","target":"mimium新内部表現の構想","line":21},{"title":"Kronos","target":"Kronos","line":99},{"title":"Faustのパターンマッチ","target":"https://ccrma.stanford.edu/~jos/aspf/Pattern_Matching_FAUST.html","line":103},{"title":"多段階計算#依存型との組み合わせ","target":"多段階計算#依存型との組み合わせ","line":187},{"title":"継時再帰","target":"継時再帰","line":197},{"title":"Kronos","target":"Kronos","line":199}],"metadata":{"date":"2023-09-20T01:33:51+0900","tags":["#programming-language","#research"]},"task_lines":[]},
"smart_sources:音楽プログラミング言語の形式化.md": {"path":"音楽プログラミング言語の形式化.md","embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.08250368,-0.0350065,-0.00384161,-0.05322896,0.0045953,-0.0108362,-0.07191852,0.04294364,0.05523258,-0.00293465,0.0173577,-0.098908,0.07436675,-0.00741714,0.03213371,-0.02132161,-0.00322826,0.02125396,-0.03801928,-0.01999491,0.12491728,-0.00172428,-0.07063179,-0.04709347,0.04601777,-0.00825332,0.01398276,-0.02916891,-0.00551767,-0.20023587,-0.04861031,-0.01928354,0.07972452,-0.03304597,0.04053059,-0.00822636,0.0006896,-0.00177794,-0.05838723,0.0281713,-0.02805076,0.02006371,0.01693337,-0.04998199,0.002998,-0.07858678,-0.00940705,-0.03143524,-0.06963824,-0.01793291,-0.05676142,-0.02088946,0.05177491,0.02689475,0.0176012,0.07528552,0.05845546,0.09257758,0.02346507,0.03510575,0.00366694,-0.00258525,-0.20910306,0.09465934,-0.00849871,0.05442525,-0.00418222,-0.07101282,0.05244787,0.05246808,-0.017448,0.02215295,0.05097928,0.02818327,0.00216032,-0.02771787,-0.01238662,-0.05089214,-0.05879774,0.00627753,-0.01225514,0.03273007,-0.01690156,-0.02456767,-0.01875982,0.04081871,-0.0103428,-0.0437136,0.01359909,0.07234807,-0.06615992,-0.01624563,0.02875957,0.03539193,-0.05653084,0.01559809,0.02576953,0.00507478,0.02918545,0.08372339,0.0062545,0.03495668,0.03883503,-0.04192882,0.05349914,-0.0204003,-0.05232292,-0.05423138,-0.02194541,-0.00233929,-0.02278659,-0.00578398,0.04865799,-0.05560828,-0.03482375,-0.00594771,0.02616242,-0.01242583,0.01091869,0.01953804,0.00393545,0.05129243,0.03827323,0.0056618,0.06419151,0.04741304,0.03451356,0.04718262,0.00122338,0.06688926,0.03508613,-0.01978025,-0.04996051,0.00607588,-0.01146378,0.05837902,-0.03471545,-0.0260935,0.00737174,-0.00013935,-0.05958356,-0.08052755,-0.00318648,-0.05797705,-0.08580954,0.10160165,-0.05450301,0.02306806,-0.04390489,-0.06300887,0.00583123,0.04135758,-0.00681118,-0.03708505,0.01456428,0.02571573,0.06618693,0.08104581,-0.07166978,-0.00519115,-0.02699891,-0.0536675,-0.05681396,0.11229069,0.01327038,-0.02489984,0.02472788,0.06625623,-0.01092673,-0.02528394,0.01967129,0.02043193,-0.02437439,-0.04875198,0.05836628,0.00945135,0.01196753,0.02213413,-0.04261538,0.01187212,-0.02957282,-0.01411993,-0.01333499,0.00258777,-0.03752996,-0.04062023,-0.00410113,-0.00729621,0.03690498,0.01773672,-0.06602207,-0.04601805,0.01562309,0.05440878,-0.02589802,-0.04529201,-0.00453826,0.00323917,-0.02010771,-0.04955723,0.07300244,0.05434829,-0.04319099,-0.01558368,-0.0254977,-0.02688804,-0.02940642,-0.02070131,0.02626219,0.05698514,-0.03486501,0.01571469,0.06508379,0.01903216,0.02712264,0.02092757,0.00248217,0.05358333,-0.04018772,0.06663787,0.00524429,0.00121042,-0.13338238,-0.22611922,-0.00065618,0.02253959,0.03377394,0.01272988,-0.08108301,-0.00252048,-0.03053345,0.03185134,0.09147003,0.09099077,0.09714079,-0.01208801,-0.02278479,0.00066146,0.01796078,0.0023501,-0.01524385,-0.02955979,-0.01390542,-0.01515587,0.02160819,-0.00058253,-0.03806208,0.04712739,-0.07641499,0.14400186,-0.00221765,0.03357828,0.00494871,0.06928404,-0.00243141,0.01299706,-0.02407437,0.00970293,0.00584216,-0.01469569,-0.0101143,0.00049647,-0.07652985,0.01411439,0.0166351,0.01612245,-0.07401308,-0.03922233,0.01112852,-0.06738184,-0.0286706,-0.00865405,0.02912898,0.03698985,-0.01642142,0.05423446,0.03083172,-0.00856558,-0.0488735,0.00496272,-0.02758155,-0.0149866,-0.00161012,-0.02042432,0.02928655,-0.01729566,-0.02295345,0.02802835,-0.01574461,0.04289287,-0.02482644,0.04923087,0.05465585,0.02431182,0.13181259,0.01353125,0.01450259,0.05253957,0.03666808,-0.00630513,-0.04965573,-0.00912925,-0.05613773,0.07251514,-0.02601876,0.08363245,0.02163618,0.04669351,0.05589988,0.10445724,-0.0377508,-0.00908714,0.02879078,-0.06577636,0.00845301,0.00771473,-0.02704271,0.03040842,-0.00394918,-0.30584162,-0.03816351,-0.03558828,0.00257731,-0.00994591,-0.0353644,0.01830479,-0.07072193,-0.09864196,-0.01026309,-0.11384638,0.06753025,0.04057797,-0.02666686,0.03994574,0.0133814,0.01831025,-0.0331438,0.09078723,-0.0437663,-0.00406914,0.06005507,0.22095296,-0.02644525,0.02873453,0.00830926,0.00743822,0.00911985,0.07767976,0.04379963,-0.06795882,0.03992323,0.10437628,0.01835065,-0.02978121,0.01924697,-0.05286182,0.01545791,0.04676625,-0.03260993,0.00606105,0.03702531,0.01763045,-0.01299997,0.06873405,-0.00172201,-0.07601702,-0.04633015,-0.00275223,0.03109051,-0.02395774,0.03689871,0.01234187,-0.02687752,0.01614821,0.08111665,-0.00300016,0.01080557,-0.05985091,-0.02492956,0.07410702,-0.03854821,-0.00057046,0.05083846,0.01585993],"last_embed":{"hash":"1nw285x","tokens":424}}},"last_read":{"hash":"1nw285x","at":1759879117645},"class_name":"SmartSource","last_import":{"mtime":1731828833900,"size":9254,"at":1759879044623,"hash":"1nw285x"},"blocks":{"#---frontmatter---":[1,3],"#programming-language #research":[4,225],"#programming-language #research#先行例":[7,13],"#programming-language #research#先行例#{1}":[9,13],"#programming-language #research#基礎知識":[14,18],"#programming-language #research#基礎知識#{1}":[16,18],"#programming-language #research#[[mimium]]と[[多段階計算]]":[19,118],"#programming-language #research#[[mimium]]と[[多段階計算]]#{1}":[21,87],"#programming-language #research#[[mimium]]と[[多段階計算]]#{2}":[88,88],"#programming-language #research#[[mimium]]と[[多段階計算]]#{3}":[89,90],"#programming-language #research#[[mimium]]と[[多段階計算]]#{4}":[91,96],"#programming-language #research#[[mimium]]と[[多段階計算]]#{5}":[97,98],"#programming-language #research#[[mimium]]と[[多段階計算]]#{6}":[99,110],"#programming-language #research#[[mimium]]と[[多段階計算]]#Faustとかと比べたときのメリット":[111,118],"#programming-language #research#[[mimium]]と[[多段階計算]]#Faustとかと比べたときのメリット#{1}":[113,118],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説":[119,225],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#{1}":[121,122],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#1.あくまでコンパイラの最適化に任せる方向":[123,131],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#1.あくまでコンパイラの最適化に任せる方向#{1}":[125,131],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#2.再帰を有限回しか行えないような意味論を定義する":[132,138],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#2.再帰を有限回しか行えないような意味論を定義する#{1}":[134,138],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#これら2つではカバーできないケース":[139,225],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#これら2つではカバーできないケース#{1}":[141,190],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#これら2つではカバーできないケース#{2}":[191,191],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#これら2つではカバーできないケース#{3}":[192,192],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#これら2つではカバーできないケース#{4}":[193,194],"#programming-language #research#実は無理に多段階計算じゃなくてもいい説#これら2つではカバーできないケース#{5}":[195,225]},"outlinks":[{"title":"Faust","target":"Faust","line":9},{"title":"The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms","target":"The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms","line":12},{"title":"Coqの勉強","target":"Coqの勉強","line":16},{"title":"mimium","target":"mimium","line":19},{"title":"多段階計算","target":"多段階計算","line":19},{"title":"mimium新内部表現の構想","target":"mimium新内部表現の構想","line":21},{"title":"Kronos","target":"Kronos","line":99},{"title":"Faustのパターンマッチ","target":"https://ccrma.stanford.edu/~jos/aspf/Pattern_Matching_FAUST.html","line":103},{"title":"多段階計算#依存型との組み合わせ","target":"多段階計算#依存型との組み合わせ","line":187},{"title":"継時再帰","target":"継時再帰","line":197},{"title":"Kronos","target":"Kronos","line":199}],"metadata":{"date":"2023-09-20T01:33:51+0900","tags":["#programming-language","#research"]},"task_lines":[],"last_embed":{"hash":"1nw285x","at":1759879116832}},"smart_blocks:音楽プログラミング言語の形式化.md#programming-language #research": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.07675507,-0.03326774,-0.02484734,-0.05673568,0.00395186,-0.00738924,-0.06297299,0.04648172,0.0479725,-0.01484725,-0.00141246,-0.09041367,0.07295249,-0.01106005,0.02787626,-0.02173308,0.00354855,0.04092932,-0.04493159,-0.0195929,0.12834048,-0.0050503,-0.07615227,-0.05754379,0.03391461,0.00850057,0.0027071,-0.02771252,-0.00535824,-0.19111995,-0.04663349,-0.00835853,0.08248196,-0.02902558,0.03585702,0.01393871,0.00901951,-0.00268772,-0.08026043,0.04021705,-0.03751038,0.00340793,0.02012474,-0.04673446,0.01389863,-0.07764767,-0.00139609,-0.03343819,-0.06708412,-0.0150039,-0.07232611,-0.02125173,0.05055908,0.03141902,0.01779504,0.07563105,0.05413148,0.0903418,0.01762091,0.02807797,-0.00453151,-0.00023174,-0.20088883,0.08959418,-0.00140834,0.07090896,-0.00461112,-0.06835274,0.05707774,0.06094863,-0.01852068,0.02474046,0.03565988,0.02479759,-0.00065261,-0.02926201,-0.00918505,-0.03185332,-0.05144838,0.01540515,-0.02121283,0.01150787,-0.01274998,-0.0304819,-0.02249967,0.05200601,-0.0074458,-0.03144606,0.03194617,0.06630301,-0.07089146,-0.0108801,0.03502564,0.04489632,-0.05337197,0.02483887,0.02997206,0.00323908,0.02575071,0.09265857,0.01397311,0.01108975,0.04411395,-0.04480411,0.05413961,-0.01597075,-0.05081504,-0.04827632,-0.01918818,-0.01061939,-0.02425602,-0.0127347,0.03354733,-0.04907225,-0.03591654,-0.01137158,0.02480451,-0.0112108,-0.00025592,0.01532796,0.0009989,0.05669242,0.02898627,0.0034812,0.05889927,0.02411537,0.02028913,0.05706846,-0.00179043,0.06210057,0.05422156,-0.02089061,-0.05876954,0.01059059,-0.0030937,0.06135568,-0.030835,-0.02959549,-0.01540274,-0.01526199,-0.05456606,-0.07541581,-0.00165492,-0.05551022,-0.10136704,0.09511559,-0.04918949,0.02569209,-0.03565793,-0.05421629,0.00356229,0.03068183,-0.01911254,-0.04486563,0.0161355,0.03500865,0.05942118,0.0714626,-0.06879512,-0.01629878,-0.02878236,-0.05693044,-0.04743617,0.11164769,0.00810233,-0.01042443,0.00222075,0.07092163,-0.01245187,-0.02943994,0.01811114,0.01576759,-0.02786208,-0.03566355,0.05022404,0.00985305,-0.00062182,0.01255452,-0.04273897,0.01416754,-0.02379691,-0.0098462,-0.00475612,-0.00535393,-0.0334386,-0.0516898,-0.00814932,-0.01266707,0.0365817,0.0307558,-0.06459352,-0.04283431,0.02696976,0.03851038,-0.04453582,-0.05237833,0.01538757,-0.00136348,-0.02525691,-0.05387683,0.06784073,0.0679825,-0.0407236,0.00579232,-0.02464077,-0.03309502,-0.04901466,-0.01879363,0.02472612,0.0582586,-0.04117685,0.01934712,0.05970287,0.03355496,0.01814173,0.00406936,0.00232985,0.05702367,-0.02516021,0.07469402,0.0060238,-0.01286966,-0.13300869,-0.23048042,0.01303892,0.03155755,0.02172141,0.01171466,-0.08988138,-0.00151907,-0.0376708,0.02259636,0.09120508,0.09474238,0.08291133,-0.01465435,-0.02773084,0.01031108,0.02071543,0.00051063,-0.01177608,-0.02975701,-0.01417614,0.00126752,0.01626499,0.01352568,-0.04406211,0.06192825,-0.08079412,0.14223827,-0.00763112,0.06044308,0.00510085,0.0785809,0.00143836,0.02497798,-0.02976858,0.01276103,0.01905123,-0.01827114,-0.00289657,0.00572669,-0.05782768,0.02442158,0.01343842,0.01080277,-0.06969528,-0.0271558,0.00497013,-0.07687741,-0.05156411,0.00128799,0.02685865,0.02574448,-0.01624742,0.05406347,0.04281231,-0.01182025,-0.03993938,-0.00138555,-0.0237662,-0.02614924,0.00843124,-0.01766508,0.02105312,-0.01961211,-0.02971661,0.04094829,-0.01436245,0.03779995,-0.01355525,0.05457666,0.05221606,0.0129559,0.13552438,0.01653544,0.00962065,0.04737924,0.03619903,-0.00331544,-0.05323517,-0.00740695,-0.05291264,0.06908841,-0.02679286,0.07787942,0.01331571,0.04624992,0.05446526,0.10459632,-0.02615361,-0.00038013,0.02788953,-0.06355706,0.02471194,0.0151862,-0.02781585,0.03410187,0.00215303,-0.30156818,-0.03264425,-0.03909834,0.00746057,-0.00392257,-0.02448155,0.02773037,-0.06713674,-0.09775824,-0.00721035,-0.09951731,0.05893847,0.05199749,-0.03187699,0.03948055,0.01410633,0.03175816,-0.02244143,0.10511232,-0.0508768,-0.00448887,0.07106888,0.21560365,-0.04419464,0.03964945,0.01142893,0.00954667,0.00672165,0.07851835,0.04995609,-0.05668858,0.03455398,0.10291673,0.01979923,-0.03752493,0.02128573,-0.05515004,0.01187695,0.04714111,-0.04052173,0.00266184,0.03110248,0.01087333,-0.01641489,0.06271492,-0.00979803,-0.06807983,-0.06332061,-0.00389159,0.04136178,-0.03895482,0.04211009,0.0096001,-0.029696,0.02028104,0.07369998,-0.01141589,0.01077717,-0.06479134,-0.02100194,0.06935085,-0.04174544,0.00043326,0.0605976,0.01597375],"last_embed":{"hash":"i4uhve","tokens":321}}},"text":null,"length":0,"last_read":{"hash":"i4uhve","at":1759879116879},"key":"音楽プログラミング言語の形式化.md#programming-language #research","lines":[4,225],"size":5039,"outlinks":[{"title":"Faust","target":"Faust","line":6},{"title":"The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms","target":"The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms","line":9},{"title":"Coqの勉強","target":"Coqの勉強","line":13},{"title":"mimium","target":"mimium","line":16},{"title":"多段階計算","target":"多段階計算","line":16},{"title":"mimium新内部表現の構想","target":"mimium新内部表現の構想","line":18},{"title":"Kronos","target":"Kronos","line":96},{"title":"Faustのパターンマッチ","target":"https://ccrma.stanford.edu/~jos/aspf/Pattern_Matching_FAUST.html","line":100},{"title":"多段階計算#依存型との組み合わせ","target":"多段階計算#依存型との組み合わせ","line":184},{"title":"継時再帰","target":"継時再帰","line":194},{"title":"Kronos","target":"Kronos","line":196}],"class_name":"SmartBlock","last_embed":{"hash":"i4uhve","at":1759879116879}},
"smart_blocks:音楽プログラミング言語の形式化.md#programming-language #research#[[mimium]]と[[多段階計算]]": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.02612101,-0.01938618,-0.02934004,-0.06018894,0.04471401,0.00962946,-0.03265335,0.03941471,0.06042391,0.00191694,-0.01153256,-0.09944214,0.08474831,0.02941828,0.02032014,0.00288001,0.00226486,0.03217258,-0.07956042,-0.01924242,0.1246523,-0.01864305,-0.04749738,-0.06386802,0.06235642,0.00111736,-0.00625397,-0.01564955,-0.0125215,-0.18594457,-0.038199,-0.00808872,0.07368922,-0.01219867,0.01644312,0.04403547,0.01063821,-0.00758056,-0.05579689,0.04449401,-0.0233503,0.00348709,0.0045511,-0.04587194,0.01296285,-0.03252813,0.00370863,-0.05670378,-0.05282431,-0.01928644,-0.07862639,-0.03105952,0.04509749,0.0402962,0.00336824,0.06560104,0.02703615,0.05333371,0.01363849,0.03264569,-0.01050339,-0.01786921,-0.19363737,0.03745127,0.02110536,0.04463566,-0.03701403,-0.01780358,0.03626972,0.07291955,-0.01664782,0.04161493,0.01348817,0.04614622,-0.01395232,-0.02516083,-0.02295472,0.0049644,-0.02783528,-0.01323983,-0.03342842,-0.0045981,0.00373611,-0.03794912,0.02112481,0.03279242,0.01481936,-0.03035742,0.04713247,0.07177333,-0.05971936,-0.02201789,0.04194614,0.05975488,-0.04871818,0.01495244,0.01117328,0.0020286,0.00874749,0.10361811,0.02036268,0.02456405,0.02262111,-0.09047135,0.0627344,-0.01664696,-0.0247923,-0.04950379,0.02366987,-0.01565678,-0.03754362,-0.00251995,0.02069684,-0.05334593,-0.04369274,0.00147313,0.0399766,-0.01918816,-0.02224996,0.0101124,0.00790089,0.02167803,0.01867433,-0.0307984,0.02127623,0.03187089,0.00590903,0.05361709,-0.01038754,0.07000315,0.07547043,-0.02879699,-0.08951557,-0.00116768,0.00853987,0.05578129,-0.04565434,-0.01338603,-0.02846295,-0.02498729,-0.05005876,-0.11733184,-0.01617504,-0.07573101,-0.11569601,0.09632048,-0.06875641,0.00841667,0.01250791,-0.07101373,-0.00325866,0.04960156,-0.02788412,-0.05356614,0.03273368,0.02090805,0.04810695,0.07314055,-0.05100651,-0.04750665,-0.05508139,-0.07215035,-0.0681642,0.085314,0.02681316,0.0052502,-0.03850166,0.10378958,-0.0156463,-0.02172031,0.01160727,0.03303187,-0.02824806,-0.02312863,0.06746612,0.04669511,0.00418652,0.01108206,-0.05403277,0.03484181,-0.01834961,-0.0147905,-0.03182727,-0.00804616,-0.02604937,-0.0623653,0.0076912,-0.00671105,0.02187739,0.03547015,-0.06832317,-0.02455352,0.0278461,0.02924419,-0.05141836,-0.04156852,0.05388218,0.01314472,-0.01762599,-0.1005927,0.10570394,0.08512779,-0.03035348,0.00880188,-0.03521758,-0.01343319,-0.00320611,-0.02927359,0.03022715,0.02979501,-0.06120816,0.02583692,0.05756803,0.05482697,0.03751886,-0.03941484,0.00527475,0.01459607,0.01780634,0.06540903,-0.00085216,-0.02532846,-0.12154277,-0.22809793,0.04712523,0.01558868,-0.02902992,0.00427907,-0.04496432,-0.00885105,-0.03180352,0.04283874,0.05388472,0.10985106,0.0440416,-0.00630182,0.00959561,-0.01657064,0.02528933,0.01963125,-0.02781712,-0.04386736,-0.00594272,0.03628018,0.00242248,0.05509525,-0.03029738,0.07585135,-0.03570696,0.12813902,0.01354798,0.05808287,0.00123252,0.0656081,-0.01676843,0.00951709,-0.00434377,0.02518767,0.01315962,-0.05641669,-0.01043952,-0.03389182,-0.05347948,0.05915428,-0.00764594,0.01103656,-0.06732448,-0.0133022,-0.01288739,-0.06941702,-0.00489339,-0.02252462,0.03174331,0.00544537,-0.03347053,0.05645119,0.04510718,-0.01551222,-0.05665523,-0.01877662,-0.01501521,-0.023032,0.02768828,0.01000641,0.02592149,-0.00349511,-0.07088088,0.02386828,0.01560548,0.02898384,0.0262728,0.03181623,0.04864918,-0.00591967,0.10942921,0.00317242,0.02471679,0.0192892,0.06900426,-0.00912896,-0.05280232,0.01360809,-0.0330968,0.04683359,0.00594914,0.07083916,0.02410616,0.03959747,0.06988258,0.07833893,-0.05059536,0.04448091,-0.00375618,-0.06442721,-0.00703143,0.01140078,-0.01070511,0.04582789,-0.02318691,-0.29530528,-0.01347654,-0.03409258,0.00536265,0.00713783,-0.00343012,0.01291377,-0.0421443,-0.0813072,0.02085982,-0.08055586,0.07053982,0.07260139,-0.0679301,-0.00409906,-0.01448861,0.00873828,0.01159088,0.09994264,-0.06004467,0.008414,0.08212137,0.21554425,-0.04018779,0.016514,-0.01324772,-0.00550047,-0.04030822,0.07702107,0.03989943,-0.01944271,0.01859748,0.14569396,0.0256477,-0.00637415,0.0134279,-0.05800417,-0.00490222,0.00803786,-0.06378086,-0.02131427,0.03146132,-0.01301479,-0.00636869,0.06052841,-0.04844363,-0.0406791,-0.05251184,-0.00810758,0.03305126,-0.03387198,0.05420793,0.00323225,-0.02530929,0.05731335,0.06723444,0.01261046,0.04209504,-0.06806064,-0.0385928,0.05388192,-0.02781998,0.00220965,0.05808686,0.04347716],"last_embed":{"hash":"17u7fxd","tokens":355}}},"text":null,"length":0,"last_read":{"hash":"17u7fxd","at":1759879116935},"key":"音楽プログラミング言語の形式化.md#programming-language #research#[[mimium]]と[[多段階計算]]","lines":[19,118],"size":2269,"outlinks":[{"title":"mimium","target":"mimium","line":1},{"title":"多段階計算","target":"多段階計算","line":1},{"title":"mimium新内部表現の構想","target":"mimium新内部表現の構想","line":3},{"title":"Kronos","target":"Kronos","line":81},{"title":"Faustのパターンマッチ","target":"https://ccrma.stanford.edu/~jos/aspf/Pattern_Matching_FAUST.html","line":85}],"class_name":"SmartBlock","last_embed":{"hash":"17u7fxd","at":1759879116935}},
"smart_blocks:音楽プログラミング言語の形式化.md#programming-language #research#[[mimium]]と[[多段階計算]]#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.02360738,-0.02881437,-0.02448568,-0.06408046,0.03699154,0.00692957,-0.03176155,0.03748266,0.06404562,0.00053692,-0.01367929,-0.10472991,0.09036446,0.02271088,0.02011562,-0.00170399,-0.00515691,0.0365035,-0.08718417,-0.0157742,0.13284783,-0.01503641,-0.04282393,-0.05618627,0.06291312,-0.00176248,-0.00099783,-0.01595418,-0.01125496,-0.18019393,-0.03532036,-0.00272835,0.06208565,-0.0172428,0.01347504,0.04250395,0.00203794,-0.0159847,-0.05433293,0.03669031,-0.02340657,0.00606541,0.00782101,-0.05199177,0.01051932,-0.0346436,0.00251957,-0.06769138,-0.04938368,-0.01742589,-0.07241754,-0.02821336,0.04791788,0.04213478,0.00784003,0.06293776,0.02483353,0.05804396,0.01919686,0.03365394,-0.00440868,-0.00896777,-0.18302679,0.04133373,0.01954234,0.03980224,-0.03460404,-0.02123062,0.03569703,0.06774692,-0.01593681,0.04343798,0.01572913,0.05225922,-0.01466213,-0.02408108,-0.02244223,-0.00132345,-0.0379019,-0.01088318,-0.02446543,-0.00556131,-0.00025964,-0.03927112,0.03778136,0.03004157,0.01985861,-0.04333053,0.03787347,0.07509125,-0.06252374,-0.0193949,0.03605867,0.06326841,-0.04606844,0.01356036,0.013143,0.00566669,0.00552394,0.097704,0.01585042,0.03182089,0.01733963,-0.09718063,0.06774691,-0.01373833,-0.02733187,-0.04277841,0.02470951,-0.01996428,-0.03918036,-0.01230321,0.02666418,-0.05751706,-0.0444412,0.00778822,0.04051396,-0.02691751,-0.01161451,0.01264982,0.01587216,0.01838418,0.0177657,-0.02743203,0.02205948,0.03600592,0.00542372,0.05100145,-0.01573422,0.0733679,0.072178,-0.03409381,-0.09006555,0.00329332,0.01305739,0.05667521,-0.04489228,-0.01570987,-0.02857469,-0.02226618,-0.04814618,-0.12391355,-0.02000559,-0.07531995,-0.10780509,0.09091982,-0.0787541,0.00369358,0.0102432,-0.07404868,-0.00038097,0.05520602,-0.0246743,-0.03718283,0.0348089,0.01683582,0.05585415,0.07624875,-0.05215212,-0.04443667,-0.0530556,-0.07161472,-0.07287585,0.07326028,0.02550722,0.00303293,-0.04448798,0.09544662,-0.02695891,-0.02008442,0.00847826,0.03076115,-0.03396029,-0.02107729,0.0686911,0.0506582,0.00489621,0.00892678,-0.05635031,0.03272577,-0.02033972,-0.01697415,-0.032389,-0.01079484,-0.026228,-0.06266562,0.00625173,-0.00771665,0.01711036,0.03092773,-0.07563727,-0.02401342,0.019266,0.03756202,-0.04557604,-0.03896499,0.04673817,0.01533641,-0.01295838,-0.10933521,0.1106227,0.08566055,-0.02651317,0.00153278,-0.03809832,-0.00529088,-0.0033931,-0.02759961,0.02676521,0.02355103,-0.06514069,0.03158081,0.06174234,0.06343271,0.04123137,-0.0289852,0.00266252,0.01179986,0.01814138,0.05619139,0.00303571,-0.03033427,-0.12881775,-0.22159019,0.04512029,0.02076554,-0.02385238,0.00329183,-0.05030822,-0.00899656,-0.03210429,0.04026337,0.05738215,0.09937575,0.04445779,-0.00423286,0.01273632,-0.02019042,0.03321491,0.02303664,-0.03136994,-0.04029809,-0.00678945,0.02906267,0.00728171,0.0496121,-0.01778046,0.07741578,-0.03090874,0.1292599,0.01916334,0.05138249,-0.00080655,0.06423716,-0.01765506,0.00954534,-0.00304918,0.03259943,0.0094444,-0.0575901,-0.01153644,-0.02855352,-0.04507711,0.05594624,-0.00687777,0.00943246,-0.06818876,0.00409992,-0.01036295,-0.07362029,-0.00020587,-0.01929828,0.03539791,0.0061589,-0.0310776,0.05189621,0.04327221,-0.00542149,-0.05972357,-0.00873056,-0.03073572,-0.02224167,0.01954635,0.00641515,0.01783659,-0.00424199,-0.0735898,0.02110264,0.01648483,0.03390624,0.0265027,0.0274113,0.05238726,-0.00341044,0.11085441,0.0013691,0.03011157,0.02091017,0.07796958,-0.00898877,-0.0408511,0.0109353,-0.03345759,0.04374729,0.01976973,0.07116868,0.02572322,0.03434097,0.06790941,0.08248504,-0.05388805,0.04446255,-0.00103935,-0.06227369,-0.00970058,0.01201904,-0.00194326,0.03862114,-0.02687014,-0.29719439,-0.0207512,-0.02320493,0.00753243,-0.00488267,-0.00530772,0.00727192,-0.0449545,-0.07837297,0.01754997,-0.08618653,0.07428764,0.06955533,-0.07207037,-0.00734996,-0.01182471,0.0045736,0.01438329,0.101836,-0.06125088,0.00176583,0.07389592,0.21754263,-0.04531128,0.01823496,-0.01386701,-0.00285061,-0.04140244,0.07332645,0.04745125,-0.00945212,0.01976759,0.14826542,0.0242037,0.00172144,0.00328963,-0.06370945,-0.00284965,0.00638759,-0.06394891,-0.01983075,0.03570627,-0.01651692,-0.00755799,0.05182132,-0.05239185,-0.03727783,-0.04240205,-0.01429609,0.03127786,-0.03536341,0.05534431,0.0105958,-0.02273946,0.05133956,0.06826415,0.01312889,0.03539365,-0.07165907,-0.03870098,0.05771491,-0.02679127,0.01132119,0.06063803,0.04889697],"last_embed":{"hash":"1iy0a0m","tokens":465}}},"text":null,"length":0,"last_read":{"hash":"1iy0a0m","at":1759879116991},"key":"音楽プログラミング言語の形式化.md#programming-language #research#[[mimium]]と[[多段階計算]]#{1}","lines":[21,87],"size":1353,"outlinks":[{"title":"mimium新内部表現の構想","target":"mimium新内部表現の構想","line":1}],"class_name":"SmartBlock","last_embed":{"hash":"1iy0a0m","at":1759879116991}},
"smart_blocks:音楽プログラミング言語の形式化.md#programming-language #research#[[mimium]]と[[多段階計算]]#{6}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.087911,-0.02480236,-0.04356281,-0.05012027,0.0016449,-0.01361472,-0.03939224,0.01614824,0.03899426,0.02227159,-0.02031694,-0.08262549,0.03945776,0.01355517,0.03132887,-0.02201024,0.04442329,0.05995392,-0.05120356,0.00017768,0.137191,-0.05106711,-0.05708549,-0.06853541,0.01643878,0.02569777,0.01478304,-0.02760666,0.00586627,-0.15202393,-0.04287568,-0.00394463,0.07009144,0.01632325,0.00283889,0.03094813,-0.01916491,0.00657937,-0.07879128,0.06219877,-0.02461237,-0.01222983,0.02152513,-0.00919833,0.00146535,-0.05893469,-0.01096544,-0.03099064,-0.03236848,-0.04929584,-0.1214809,-0.01546909,0.02774425,-0.01301207,0.00358782,0.03449167,0.06974799,0.03909154,0.02529746,0.04452746,-0.0108754,0.01594571,-0.19760337,0.0583061,0.06691347,0.06361863,-0.03553431,-0.05721358,0.02479729,0.07326772,-0.04602817,-0.00785295,0.02282419,0.06377986,0.01396279,0.00958991,-0.03611643,-0.02381378,0.00914226,0.00457546,-0.02597719,-0.0117504,-0.0092037,-0.00169586,-0.01161283,0.0175763,0.03380373,0.01006904,0.05924062,0.02191681,-0.06220861,-0.05105517,0.0353949,0.03388816,-0.0253146,0.02233587,0.03515951,0.02098916,-0.02160192,0.10678367,-0.03372367,0.00753749,0.02107699,-0.06479041,0.07740866,0.01075683,-0.00923554,-0.06310473,-0.0004131,-0.04528245,-0.01324137,-0.04000147,0.04232916,-0.04935196,-0.02451269,-0.01432997,0.03861735,-0.00572305,0.01377434,0.00773063,0.04638977,0.01750242,0.01267024,-0.02276327,0.05027112,-0.03572997,0.00903036,0.05326079,-0.01113855,0.05216534,0.04787422,-0.02447261,-0.06538101,-0.03454739,0.01735511,0.03766051,-0.02714049,0.0108577,-0.01946487,-0.02985292,-0.0172475,-0.12849014,0.00588629,-0.06846517,-0.05290973,0.10376913,-0.0366863,-0.02378304,0.0144718,0.00332319,-0.01004194,0.03770389,-0.03459493,-0.0531446,0.01325434,-0.04683807,0.07601967,0.09367274,-0.06107744,-0.0158794,-0.01927389,-0.03627357,-0.0518274,0.11423969,0.03682489,0.00519165,-0.04534733,0.06736246,0.03090317,-0.046707,0.01183891,0.02300314,-0.01736376,-0.03143299,0.0514273,0.01562214,0.0405013,0.01878677,-0.06990139,0.05435771,-0.01753853,-0.01485972,-0.03621823,0.04472582,-0.03362661,-0.08208748,-0.00276731,-0.03335727,0.02403719,0.03579757,-0.0570584,0.03047737,0.05225125,0.04230846,-0.08015911,-0.03250647,0.03408215,-0.04685458,-0.02022251,-0.0247023,0.09606119,0.09271155,-0.06018131,-0.00575644,0.05423548,-0.00777618,0.02768108,-0.04050659,-0.00495289,0.04948134,-0.063169,0.00245707,0.04474868,0.08197594,0.00430463,-0.00137824,-0.01118674,0.03232132,0.01359732,0.0485397,-0.00210572,-0.04505027,-0.12970707,-0.22279274,0.06066895,0.01554795,-0.05651965,-0.02053632,-0.01740644,0.02037563,-0.06287902,0.0577778,0.02402778,0.07714824,0.02219701,-0.00376549,-0.02892157,-0.02950653,-0.00125835,0.0320087,-0.02314307,0.00091295,0.02110197,0.00362014,0.00568359,0.075347,-0.07296649,0.05563743,-0.01235037,0.14184462,0.05502099,0.0561921,-0.04367601,0.07979129,0.0012791,0.01137045,-0.05999015,0.03352666,0.00904224,-0.01728158,-0.03351974,0.02384198,-0.02578053,-0.02840914,-0.00523265,-0.00721488,-0.0465771,-0.03526932,-0.02211766,-0.03136519,-0.07827411,-0.0366616,0.04895132,-0.01175594,0.01728883,0.02968962,0.05506379,-0.01903651,0.00544976,-0.05060842,-0.02914414,-0.0004398,0.05179717,0.06575035,0.04344727,-0.01488931,-0.03622918,0.01681928,0.00096652,-0.02881137,0.03441116,0.03491197,0.01973781,-0.02912929,0.12709114,0.01996977,0.02837134,0.06273236,0.06982132,0.01100212,-0.03242356,-0.041993,-0.00907795,0.01241873,-0.01832812,0.06236976,0.01571183,0.02574244,0.06582218,0.05897893,-0.0436134,0.05585765,-0.03188388,-0.06871556,-0.0114891,0.00866743,-0.04407682,0.01058657,0.01678876,-0.30878174,0.03795882,-0.01610231,0.0565492,-0.01494037,-0.00631131,0.02243286,-0.07897148,-0.08549976,0.02879583,-0.03716068,0.0808644,0.05062168,-0.03829626,0.01889304,-0.00080002,0.03682415,0.03925614,0.05578455,-0.07897159,-0.00840255,0.06688169,0.21838659,-0.05357968,0.00897893,-0.0265642,0.01804719,0.01830831,0.0778558,0.06218794,-0.0129481,0.00197593,0.12763838,0.04202548,-0.00642545,-0.01575194,-0.07382952,-0.00964571,0.02021958,-0.01741519,-0.09176754,0.02962433,-0.01936721,0.01149659,0.05525649,-0.01190764,-0.03903542,-0.05861252,0.01755722,0.0324556,-0.02010908,0.02023955,0.00252565,-0.02767793,0.02735192,0.08513322,0.00081853,0.02459228,-0.06393699,-0.0188005,0.0434773,-0.01408335,-0.01610006,0.04654393,0.0117503],"last_embed":{"hash":"1at99o7","tokens":252}}},"text":null,"length":0,"last_read":{"hash":"1at99o7","at":1759879117071},"key":"音楽プログラミング言語の形式化.md#programming-language #research#[[mimium]]と[[多段階計算]]#{6}","lines":[99,110],"size":321,"outlinks":[{"title":"Kronos","target":"Kronos","line":1},{"title":"Faustのパターンマッチ","target":"https://ccrma.stanford.edu/~jos/aspf/Pattern_Matching_FAUST.html","line":5}],"class_name":"SmartBlock","last_embed":{"hash":"1at99o7","at":1759879117071}},
"smart_blocks:音楽プログラミング言語の形式化.md#programming-language #research#[[mimium]]と[[多段階計算]]#Faustとかと比べたときのメリット": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.07043973,-0.01339295,0.02795338,-0.03425333,0.00659457,0.02779453,-0.0805764,0.05005336,0.03364204,0.00466214,-0.03724532,-0.07546324,0.04587313,0.04788935,0.04478351,0.02036426,0.04562791,0.04690219,-0.06292924,-0.03950286,0.14086974,-0.0517079,-0.03370131,-0.067161,0.07039461,0.02277415,0.01098016,-0.03942737,0.03098332,-0.14246225,-0.01266686,-0.02856173,0.08777035,0.01702721,0.01182414,0.0177815,0.01023917,0.02945885,-0.06195259,0.05669516,-0.05437109,-0.01818386,-0.02398215,-0.03984219,0.00993447,-0.051566,0.00225385,-0.0360666,-0.02567329,-0.0214931,-0.12324518,-0.04022723,-0.01212876,-0.00165279,-0.00875093,0.00000995,0.03531365,0.01596071,0.02711055,0.06710703,0.00878556,0.02338705,-0.18699688,0.0670521,0.03160316,0.02144187,-0.06943642,-0.03026284,0.05420144,0.06641886,-0.07368733,0.00796399,0.01479162,0.0959466,0.02987516,-0.01998774,-0.01480971,-0.04676297,0.00238865,-0.00949237,-0.02582932,-0.00003846,0.00196017,-0.00388665,0.02356196,-0.01733325,0.05413267,0.01106788,0.02347034,0.04592036,-0.02205577,-0.0362578,0.02298284,0.02218757,-0.06563111,0.01958652,0.00708634,0.00159776,-0.01809033,0.11826205,-0.04711449,-0.01485692,0.04031258,-0.0496283,0.0159006,-0.00286848,-0.00087002,-0.01033158,-0.00119254,-0.04649355,-0.01108271,-0.01826102,0.02874961,-0.06009108,-0.03101204,-0.00172608,0.07430472,-0.02967375,-0.0030042,-0.02397019,0.06076044,0.00305697,-0.00715353,-0.04704526,0.02641956,-0.02755751,0.03445831,0.05801861,0.00124765,0.01185391,0.05918286,0.05543312,-0.07083506,-0.00225955,0.0023521,-0.01638655,-0.0407137,0.00747578,0.00894648,-0.04358565,-0.00048563,-0.08352074,-0.00654672,-0.08457039,-0.07008521,0.09052587,-0.07611656,0.00985878,0.02245865,0.04694715,-0.00883431,0.06017958,-0.02401181,-0.04233108,0.03973778,-0.02325218,0.05835375,0.09887695,-0.04233857,-0.04805653,-0.03379931,-0.06837638,-0.04218075,0.12334573,0.03349978,-0.01229942,-0.01971231,0.08247993,0.04925599,-0.00801032,0.0081756,-0.00015421,-0.02136007,-0.01638016,0.01515568,0.00996902,-0.02218472,0.01847184,0.00576966,0.04872951,0.0440455,-0.04221434,0.00065604,0.02378876,-0.01338647,-0.10543939,-0.03723813,-0.03337202,0.05345913,0.02267554,-0.07907659,0.01226269,0.03919219,0.00853052,-0.02389523,-0.01698823,0.03749586,-0.01749396,-0.0165087,-0.02222071,0.07619707,0.04583789,-0.03835751,-0.01611765,0.04260449,-0.02635718,0.04924199,-0.02022731,0.03444734,0.04678918,-0.05950419,-0.02580222,0.061943,0.07432764,-0.01813026,0.03482297,-0.01725022,0.07149305,0.05640746,0.06797786,-0.00802714,-0.03466211,-0.09215643,-0.22551973,0.08161296,0.03921465,-0.06338599,-0.05516453,-0.03845099,0.02770328,-0.06105479,0.05029057,-0.01961049,0.12071173,-0.00602734,-0.0061472,-0.01665347,-0.06275689,-0.01736583,0.01918511,-0.04310449,0.01068759,0.03529515,-0.01215109,-0.04053434,0.03173216,-0.06171347,0.01949637,-0.03551249,0.11869024,0.05705818,0.03614341,-0.032465,0.08923297,-0.00772947,-0.03206873,-0.08171949,0.04022766,0.02106964,-0.02494278,-0.03000772,0.00475906,-0.01709113,-0.00335441,0.02691709,-0.01421399,-0.07490043,0.0134562,-0.03848903,-0.06404934,0.0188358,-0.01973255,0.01950748,0.01715577,-0.01672826,0.06405361,0.06023186,-0.02225913,0.00379961,-0.05681977,-0.03107405,-0.01735969,0.04120774,0.0683757,0.02019414,-0.00517638,-0.04046106,-0.00610086,0.00967063,0.00883464,-0.00529676,0.04706974,-0.00386148,-0.02348517,0.11319916,0.0016735,0.02547299,0.07659548,0.0152267,-0.00813941,-0.07923342,-0.00232181,0.01962828,0.00734075,0.03639527,0.04581176,0.03973272,0.03458352,0.00493761,0.06393922,-0.03575004,0.04973046,-0.00673228,-0.08034419,-0.02423275,-0.00635606,-0.00202998,0.02557472,0.00917551,-0.33134347,0.04506484,-0.0393801,0.02940213,0.03652563,-0.02272112,-0.01430567,-0.06757235,-0.06770083,0.02045784,-0.04410234,0.04537855,0.06844635,-0.02905567,0.05848361,0.03473685,0.05997989,0.03019392,0.04503854,-0.05456351,-0.03880471,0.05926901,0.22369917,-0.03619178,0.00595507,-0.00929046,0.02490389,0.03872881,0.0832978,0.05464143,-0.03639388,0.00342162,0.12151238,0.02206782,-0.03349268,0.00396221,-0.05055411,0.01101281,0.01317135,-0.01292304,-0.06921323,0.02800851,0.00417318,0.02938463,0.07805229,0.00673209,-0.0507035,-0.06333774,-0.02662577,0.02530169,-0.03587983,0.00292434,-0.03996412,-0.02277905,-0.03045242,0.05923866,0.00123336,0.01753973,-0.07342248,-0.02719709,0.02998283,-0.00843355,0.01945055,0.04634336,0.00816179],"last_embed":{"hash":"14m9urf","tokens":290}}},"text":null,"length":0,"last_read":{"hash":"14m9urf","at":1759879117097},"key":"音楽プログラミング言語の形式化.md#programming-language #research#[[mimium]]と[[多段階計算]]#Faustとかと比べたときのメリット","lines":[111,118],"size":291,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"14m9urf","at":1759879117097}},
"smart_blocks:音楽プログラミング言語の形式化.md#programming-language #research#[[mimium]]と[[多段階計算]]#Faustとかと比べたときのメリット#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.07084334,-0.01108744,0.02889078,-0.03376063,0.01024929,0.02713501,-0.07956832,0.04916907,0.03303417,0.00527573,-0.03936315,-0.07485947,0.04657143,0.05029669,0.04258097,0.0187596,0.04457591,0.0476292,-0.06116359,-0.0383844,0.14300781,-0.05043937,-0.03347544,-0.06753703,0.0744736,0.02178281,0.01265714,-0.03939063,0.0317443,-0.14160074,-0.01420955,-0.02883783,0.08736897,0.01576726,0.0100754,0.01819223,0.01123019,0.02901959,-0.06261335,0.05523587,-0.05495904,-0.01470488,-0.02366441,-0.03983936,0.00626645,-0.0506933,0.003142,-0.03398864,-0.02322658,-0.02352454,-0.1248124,-0.03825383,-0.008246,-0.00162345,-0.00704352,0.00024397,0.03522279,0.01517253,0.02701404,0.06826602,0.00616559,0.02277322,-0.18400878,0.06675766,0.03096687,0.02131138,-0.06927742,-0.03044899,0.05147537,0.06383917,-0.07491446,0.00892785,0.01276247,0.09650324,0.02839284,-0.01931878,-0.01727723,-0.04521352,0.00116375,-0.00733098,-0.02650284,0.00217543,0.00433269,-0.00375152,0.02212165,-0.01341474,0.05849684,0.00947266,0.02139635,0.04526039,-0.01921935,-0.03570947,0.02247653,0.02295555,-0.06496544,0.01891594,0.00744334,0.0026919,-0.01590106,0.11787055,-0.05081962,-0.01728135,0.04079419,-0.04806032,0.01525924,-0.00409493,0.00007919,-0.01365069,-0.00050219,-0.04753415,-0.01100673,-0.01619342,0.02795839,-0.05655841,-0.03259803,-0.00389832,0.07461094,-0.02747738,-0.00389253,-0.02462574,0.06130094,0.00092049,-0.00709346,-0.04696536,0.02470234,-0.02778229,0.03623129,0.05840968,0.00091851,0.01013996,0.05717966,0.0524544,-0.07179902,-0.00680427,0.0054647,-0.01688075,-0.0377306,0.00907573,0.00906991,-0.04538419,-0.00211106,-0.08648325,-0.00891691,-0.08480824,-0.06785281,0.09334383,-0.07811369,0.00604659,0.02248486,0.04558088,-0.00946688,0.06297345,-0.02669309,-0.04305904,0.03784967,-0.0264464,0.05805978,0.09991141,-0.04522096,-0.05056136,-0.03420683,-0.06944665,-0.04024212,0.12340392,0.03329939,-0.00993355,-0.0205879,0.08292903,0.04961665,-0.00724045,0.00648189,0.00259866,-0.02032728,-0.01546675,0.01484177,0.00982487,-0.02007178,0.01914797,0.00340017,0.04850191,0.04773532,-0.04213134,-0.00114381,0.02321869,-0.01042873,-0.10733508,-0.04132083,-0.03489924,0.0512316,0.023273,-0.07955809,0.00970766,0.04013896,0.00985002,-0.02370135,-0.01554974,0.03646176,-0.01801183,-0.01631844,-0.02309611,0.07709298,0.04700413,-0.03949819,-0.01836033,0.04488483,-0.02286158,0.05221463,-0.02316677,0.03116057,0.04489636,-0.06143482,-0.0271373,0.06154038,0.0762728,-0.01610903,0.03531323,-0.01832038,0.06915273,0.05399319,0.06601226,-0.00469629,-0.03492969,-0.09118806,-0.22337098,0.07994515,0.03720617,-0.06383546,-0.05320809,-0.04231029,0.03239201,-0.06078509,0.05253396,-0.01894335,0.11779047,-0.00674067,-0.00743692,-0.01620813,-0.06017581,-0.01490348,0.01893999,-0.040964,0.00749987,0.03536095,-0.01265679,-0.0431813,0.03122958,-0.05903562,0.02298711,-0.03278634,0.11941683,0.05704564,0.03745327,-0.03396721,0.08739373,-0.00810154,-0.03399574,-0.08120136,0.03845093,0.01991212,-0.02351056,-0.03331032,0.00625741,-0.01801828,-0.00703225,0.02947138,-0.01500585,-0.073236,0.01828499,-0.04069996,-0.06439582,0.01933273,-0.01702726,0.02263486,0.01738608,-0.01494815,0.06373488,0.05949743,-0.01939217,0.00655573,-0.05537044,-0.03486362,-0.02015098,0.03986271,0.06875174,0.0225607,-0.00505647,-0.04540736,-0.00529737,0.01192265,0.00763999,-0.00684822,0.04648356,-0.00252317,-0.02452776,0.11276583,0.00170315,0.02569785,0.0781967,0.01711862,-0.00599327,-0.07788073,-0.00183135,0.01852662,0.00801199,0.04029001,0.04681946,0.03912482,0.03349182,0.00695397,0.06409379,-0.03702435,0.05010696,-0.00785945,-0.07682036,-0.02274222,-0.00571505,-0.00043718,0.02604971,0.00590417,-0.33249253,0.04568161,-0.04135063,0.03068856,0.03714351,-0.02462732,-0.01731644,-0.06615221,-0.06928681,0.02114281,-0.04762499,0.04763899,0.06785821,-0.02898423,0.05720608,0.03215333,0.05858563,0.03083258,0.04764292,-0.05520364,-0.03880883,0.05680616,0.22234215,-0.03381643,0.00526668,-0.0081898,0.02421214,0.03769659,0.08106538,0.05468048,-0.03497874,0.00198535,0.12272988,0.02277974,-0.03308832,0.00537701,-0.05012284,0.01071262,0.01727962,-0.01165548,-0.0702988,0.02486676,0.00131331,0.02754165,0.08028685,0.00661708,-0.04996479,-0.06042334,-0.02727973,0.02736176,-0.03722608,0.0037502,-0.04061836,-0.02432711,-0.03104784,0.06027564,0.00120284,0.01796537,-0.07398806,-0.02695284,0.03353474,-0.01114013,0.01879053,0.04558792,0.00680289],"last_embed":{"hash":"qh7a5j","tokens":288}}},"text":null,"length":0,"last_read":{"hash":"qh7a5j","at":1759879117140},"key":"音楽プログラミング言語の形式化.md#programming-language #research#[[mimium]]と[[多段階計算]]#Faustとかと比べたときのメリット#{1}","lines":[113,118],"size":267,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"qh7a5j","at":1759879117140}},
"smart_blocks:音楽プログラミング言語の形式化.md#programming-language #research#実は無理に多段階計算じゃなくてもいい説": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.04230132,-0.0199017,0.00290675,-0.00496616,0.02667055,-0.01655157,-0.06868865,0.02489435,0.03078994,0.02282505,-0.03540666,-0.08139633,0.07274877,0.04312581,0.01142299,-0.00638065,-0.0094207,0.01724753,-0.08563481,-0.020647,0.12481648,-0.04150296,-0.01690754,-0.06868868,0.03584074,0.05502869,-0.01944768,-0.02829175,0.00560485,-0.1374779,-0.06865112,0.01586984,0.0824288,0.01747366,0.02112683,0.022817,0.00808833,0.01136715,-0.08060203,0.04816282,-0.01861711,-0.02668539,-0.00085822,-0.03194448,-0.00451498,-0.03758993,-0.0168905,-0.0271432,-0.03181472,-0.01820854,-0.09136289,-0.04224445,0.0030472,0.0323127,0.03732416,0.01000757,0.05893114,0.06613906,0.00178021,0.01318921,0.0174899,0.02403197,-0.22576064,0.0619642,0.05456296,0.00400365,-0.01817123,-0.04961858,0.06926478,0.07353368,-0.08354244,0.02727442,0.02500991,0.0543975,-0.02470695,0.0056044,0.0209172,-0.04065803,-0.01041068,0.00485603,-0.04006995,0.01684116,0.01185934,0.00919574,-0.03145642,0.01482936,0.05538294,-0.01652395,0.05256576,0.03840217,-0.06000286,-0.04022801,0.05099433,0.06161273,-0.05101404,-0.01853183,-0.00985572,0.01913173,-0.06013662,0.12450133,-0.04348854,-0.04435969,0.03100885,-0.02819793,0.03818774,-0.00996212,0.00959442,-0.02698622,-0.01002091,-0.01296877,-0.04667945,-0.01386437,0.05270268,-0.02048973,-0.05042166,0.04358993,0.05512721,-0.01964284,0.0199561,0.02937376,0.05464614,0.03684232,0.00798126,-0.01082253,-0.00787383,-0.05871864,-0.02764393,0.04952664,-0.01541599,0.01382184,0.03952271,0.00522698,-0.11835278,0.01336422,-0.01863846,0.02555803,-0.01558303,0.02480222,-0.01238516,-0.0032496,-0.00710294,-0.13214624,-0.0283255,-0.11639784,-0.07296354,0.09150675,-0.0351427,0.06189645,-0.0235753,-0.04032004,-0.0246673,0.06826703,-0.03961932,-0.04240218,0.03391632,0.01200484,0.08293077,0.08101048,-0.03248963,-0.01790384,-0.00523644,-0.0524696,-0.08350899,0.01602185,0.01103834,-0.01020937,-0.05000117,0.05767823,-0.00959082,-0.04765498,0.01827717,0.03020556,-0.0030185,-0.05740529,0.01200753,0.0415649,0.03591887,0.02528754,-0.00575656,0.05424755,0.05017636,-0.02925703,-0.01765069,0.04500758,-0.01287558,-0.0855631,-0.02529429,-0.03112337,0.0244871,-0.0146014,-0.06805979,-0.02643144,0.04768811,-0.02622638,-0.02995588,-0.06154134,0.00282822,0.01861266,0.03917481,-0.04309227,0.10089594,0.04202759,-0.01983438,-0.02780852,0.00621296,0.0264471,0.00966716,0.0005311,0.01871549,0.04205861,-0.04376319,0.03949144,-0.00120023,0.07573719,0.00507436,0.00669985,0.01198027,0.06875531,0.03605206,0.07773615,0.0228569,-0.03043782,-0.02954511,-0.22438557,-0.00529305,0.02292232,-0.03770598,-0.0124013,-0.0415622,-0.00592512,-0.03732247,0.06741597,0.07984865,0.07929813,0.03095326,-0.04496302,0.00491213,0.0164261,-0.04817944,0.05394291,-0.04399274,-0.03955967,0.01594764,0.01217407,-0.00809279,0.04283692,-0.04019311,0.06703924,-0.01360199,0.09644347,0.03870901,0.03107031,-0.0414655,0.06406367,0.01001983,0.00655817,-0.09491674,0.07916841,0.05061879,-0.06038112,-0.01133438,-0.00455741,-0.02867346,0.01814146,0.03592904,-0.04481498,-0.07884386,-0.03572076,-0.03374069,-0.08323754,-0.08192083,-0.02753416,0.03702051,0.00633785,0.01107491,0.03980876,0.11506747,-0.00374377,0.04281546,-0.02622138,0.01024574,0.02529903,-0.01798927,-0.00173032,-0.02517645,-0.00613601,-0.03133213,0.02033459,-0.00676343,0.0130452,0.03214443,0.00217186,0.05512336,-0.00359496,0.16735522,0.01521388,0.02442031,0.02038654,0.04117969,0.00249903,-0.09162518,-0.01180649,-0.01467542,0.07627539,0.03464337,0.05720312,0.04299519,0.03026183,0.02697594,0.04772859,-0.06112019,0.06765946,0.0455608,-0.07338676,-0.03280526,-0.00654439,-0.05172288,0.05770601,0.04137491,-0.28908366,0.04119648,0.00098646,-0.00472275,0.0111567,0.03892981,-0.00273183,-0.06929293,-0.04398619,-0.00919609,-0.08020414,0.06066104,0.08298733,-0.0444396,0.04342266,0.00481832,0.05673961,-0.01314469,0.04188268,-0.08355261,0.00072088,0.0584004,0.18504821,-0.02117405,-0.01077126,-0.0214066,-0.00184263,0.00204452,0.11528582,0.02871636,-0.0995061,0.02155015,0.09671644,0.03300457,0.03595823,0.03011992,-0.0394268,0.01453564,0.00278291,-0.01615814,-0.03455869,0.05534426,-0.01772555,0.00024309,0.08145022,0.00255364,-0.04605389,-0.09532011,-0.01814295,-0.00590103,-0.02712698,-0.02170231,-0.01157944,0.00029615,0.00725567,0.03919238,0.00128676,-0.01360416,-0.06005936,0.0040821,0.02315649,-0.03941171,0.02491988,0.06687442,0.00992102],"last_embed":{"hash":"2zg1oi","tokens":458}}},"text":null,"length":0,"last_read":{"hash":"2zg1oi","at":1759879117172},"key":"音楽プログラミング言語の形式化.md#programming-language #research#実は無理に多段階計算じゃなくてもいい説","lines":[119,225],"size":2581,"outlinks":[{"title":"多段階計算#依存型との組み合わせ","target":"多段階計算#依存型との組み合わせ","line":69},{"title":"継時再帰","target":"継時再帰","line":79},{"title":"Kronos","target":"Kronos","line":81}],"class_name":"SmartBlock","last_embed":{"hash":"2zg1oi","at":1759879117172}},
"smart_blocks:音楽プログラミング言語の形式化.md#programming-language #research#実は無理に多段階計算じゃなくてもいい説#1.あくまでコンパイラの最適化に任せる方向": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.03686679,-0.02285124,0.01316924,-0.01320496,0.02042866,-0.01107152,-0.06431319,0.02387787,0.03069385,0.02970487,-0.03461544,-0.08134165,0.07466285,0.04246781,0.01305834,-0.01437006,-0.00625187,0.01943455,-0.08768355,-0.0212683,0.12685816,-0.0449923,-0.02737543,-0.06230864,0.05238403,0.04841154,-0.0139527,-0.02398636,0.0037594,-0.14088881,-0.06551524,0.02252862,0.08157367,0.01033877,0.01548586,0.02482887,0.00698985,0.0022658,-0.08087344,0.04670428,-0.02071442,-0.01696445,0.00124308,-0.03299275,-0.00933479,-0.04142361,-0.01775931,-0.02161435,-0.01757916,-0.01855636,-0.08503301,-0.03192135,-0.0026643,0.03342816,0.03772269,0.0060025,0.05388531,0.06942502,0.01156762,0.01492495,0.009586,0.0299597,-0.21600875,0.0664845,0.05377831,0.00159547,-0.01485447,-0.04581477,0.0654301,0.08193728,-0.08273173,0.03195134,0.02554268,0.04957126,-0.03395693,0.00372786,0.02503359,-0.03570626,-0.02300509,0.01661498,-0.04202054,0.01779962,0.00954459,0.00761879,-0.03721505,0.0122876,0.05264527,-0.02001489,0.04429227,0.03905385,-0.06659736,-0.04177217,0.05605869,0.05694985,-0.04977944,-0.02482571,-0.00800477,0.02074567,-0.07064345,0.12929319,-0.04239239,-0.04280609,0.03073106,-0.03592748,0.04264534,-0.00189671,0.01633249,-0.01927554,-0.0116706,-0.01311699,-0.05381371,-0.01986482,0.05694197,-0.03110757,-0.05279278,0.03656335,0.05465678,-0.03289102,0.02478088,0.02803213,0.06148917,0.03517794,0.00919509,-0.01001227,-0.00662059,-0.05378685,-0.0226205,0.04900245,-0.01402336,0.0305365,0.0332126,0.00736519,-0.10946754,0.01377118,-0.01283973,0.02446345,-0.01850194,0.02018974,-0.00834492,-0.00364662,-0.01402432,-0.13619611,-0.02700041,-0.11518806,-0.06618077,0.09259948,-0.03738964,0.06179767,-0.02663078,-0.0418577,-0.03258147,0.07280061,-0.03469886,-0.03373965,0.03493803,0.00886535,0.08607034,0.07483353,-0.04322195,-0.01519054,-0.01091901,-0.05769828,-0.08443304,0.00147134,0.01270715,-0.00959004,-0.050494,0.04561372,-0.01114459,-0.0483262,0.01718376,0.02270729,-0.00258185,-0.05898416,0.01629115,0.04597494,0.03322078,0.02233696,-0.00889149,0.05240754,0.04607562,-0.03632554,-0.01829962,0.04580042,-0.01037488,-0.08663032,-0.02042029,-0.03319824,0.02203,-0.02237751,-0.06775426,-0.02260901,0.04787339,-0.02855322,-0.03059615,-0.0614826,0.00362135,0.01976961,0.04403517,-0.04670627,0.09864276,0.03176793,-0.01648134,-0.02502803,0.0074004,0.03120049,0.00069806,0.00771683,0.02537702,0.04548252,-0.04254315,0.03832336,0.00428509,0.06442533,0.01029559,0.00655311,0.0083081,0.07243688,0.03074416,0.07340141,0.02565686,-0.02910634,-0.02700661,-0.22684853,-0.00582122,0.02997495,-0.03814527,-0.01510664,-0.05047461,-0.00370812,-0.0409774,0.06320894,0.07534355,0.08035411,0.01714377,-0.04029877,0.00944629,0.01696679,-0.04422335,0.06217021,-0.04074588,-0.03197859,0.02204288,0.00750554,-0.00675245,0.03960368,-0.03873543,0.06912026,-0.01865469,0.09817263,0.04422016,0.03680227,-0.03842533,0.060308,0.00787906,-0.00064074,-0.09002823,0.0836857,0.04819702,-0.05686858,-0.01819244,-0.00360641,-0.03179757,0.01208458,0.03742837,-0.05420871,-0.08901855,-0.02712208,-0.03730576,-0.07988396,-0.08085632,-0.02170434,0.04264696,0.00667577,0.01278422,0.03181422,0.12814051,0.00024451,0.03200753,-0.02258972,0.00752842,0.01939588,-0.01187747,0.00071685,-0.02635436,-0.00368492,-0.02556002,0.03150998,0.00356133,0.01133674,0.0298666,0.00026051,0.06805945,-0.01426561,0.15810536,0.02025989,0.02841093,0.0119031,0.04743796,-0.0018781,-0.08545522,-0.01135237,-0.01445704,0.07703022,0.02899827,0.06094803,0.04736872,0.02552105,0.03234873,0.04689592,-0.05033208,0.07213645,0.04970759,-0.07168275,-0.03219172,-0.01151172,-0.04663815,0.06171923,0.03288947,-0.29295358,0.04364281,0.00010728,-0.01342474,0.01678849,0.050514,-0.00501311,-0.06898828,-0.05324157,-0.00730222,-0.08749592,0.05265359,0.07846303,-0.04930021,0.04290451,0.00331213,0.04723417,-0.01093004,0.04835358,-0.08365703,0.00317578,0.0557912,0.18054262,-0.01460415,-0.00929192,-0.01941787,-0.0088849,-0.00783142,0.11485558,0.02921602,-0.10156338,0.03257166,0.10180192,0.03143073,0.03177598,0.02639031,-0.03914861,0.02603912,0.00656888,-0.01680788,-0.0323947,0.06105511,-0.01031501,-0.00321383,0.0727203,-0.00071264,-0.04300087,-0.08271708,-0.01450026,-0.01187228,-0.02183755,-0.01937937,-0.00542825,-0.00087355,0.00503484,0.04167584,-0.01093895,-0.02102656,-0.06025405,0.00814867,0.02008364,-0.04047959,0.02669318,0.07121774,-0.00022681],"last_embed":{"hash":"an6pb8","tokens":439}}},"text":null,"length":0,"last_read":{"hash":"an6pb8","at":1759879117251},"key":"音楽プログラミング言語の形式化.md#programming-language #research#実は無理に多段階計算じゃなくてもいい説#1.あくまでコンパイラの最適化に任せる方向","lines":[123,131],"size":435,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"an6pb8","at":1759879117251}},
"smart_blocks:音楽プログラミング言語の形式化.md#programming-language #research#実は無理に多段階計算じゃなくてもいい説#1.あくまでコンパイラの最適化に任せる方向#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.0306583,-0.02456662,0.01245483,-0.01199065,0.0188745,-0.01109076,-0.06684607,0.02544579,0.02899324,0.03075409,-0.03685205,-0.08050486,0.07441933,0.0423594,0.01395446,-0.0140556,-0.00785412,0.01780022,-0.08846508,-0.02147131,0.12571067,-0.0443629,-0.02907587,-0.05917432,0.05212958,0.04437235,-0.01225716,-0.02415591,0.00097069,-0.141601,-0.06343142,0.0189872,0.08140628,0.01141594,0.01623435,0.02151337,0.01010543,-0.00183943,-0.08337465,0.04655447,-0.01826441,-0.01472224,0.00027923,-0.03469814,-0.01219639,-0.04055341,-0.01721215,-0.0182005,-0.01460059,-0.02116378,-0.08155707,-0.02857928,-0.00127037,0.03012989,0.03704395,0.00389564,0.05192947,0.07019754,0.00896872,0.01204951,0.01069035,0.02916927,-0.21675089,0.06675076,0.05060079,0.00140729,-0.01238725,-0.04325867,0.06327464,0.08561502,-0.08002227,0.03095527,0.02496485,0.04699709,-0.03113515,0.00550752,0.026248,-0.0350288,-0.02260637,0.0162528,-0.04523434,0.01488529,0.00737346,0.00570316,-0.03470274,0.01085121,0.0555857,-0.02267717,0.04716099,0.04062182,-0.06632808,-0.04283672,0.05789874,0.05412705,-0.04851954,-0.02341278,-0.00797046,0.02177119,-0.07120202,0.12841295,-0.04326375,-0.04380346,0.0304738,-0.03179072,0.03997585,-0.00003707,0.01744973,-0.01917516,-0.01087455,-0.01331291,-0.05236611,-0.0216545,0.0546075,-0.03277788,-0.05587333,0.03506338,0.05293968,-0.03239344,0.02218024,0.0300759,0.05953893,0.03375342,0.00988431,-0.00912963,-0.00640893,-0.0552998,-0.02100752,0.05130874,-0.01398631,0.03167449,0.0369642,0.00541557,-0.11008233,0.01163542,-0.01408464,0.02493065,-0.01892284,0.0229347,-0.00886599,-0.00184845,-0.0193621,-0.13675137,-0.02642449,-0.11432026,-0.06637365,0.09114832,-0.03840327,0.06419384,-0.02748336,-0.04200546,-0.03195247,0.07260245,-0.03666364,-0.03152812,0.03551602,0.01119188,0.08509437,0.07192128,-0.0467154,-0.014072,-0.01367864,-0.05957406,-0.08292785,-0.00017626,0.0129677,-0.00951093,-0.05103126,0.04557066,-0.01035859,-0.04895231,0.02187153,0.02070641,-0.0041683,-0.06013327,0.01427558,0.04707984,0.03393317,0.02383909,-0.0072553,0.05027517,0.04604903,-0.03873609,-0.01708227,0.04775026,-0.01052086,-0.08466987,-0.02226159,-0.03587266,0.02277363,-0.02398038,-0.07026908,-0.01894475,0.04444172,-0.03161652,-0.03144162,-0.06143485,0.00195745,0.02248395,0.04628848,-0.04705432,0.09695431,0.02860465,-0.01217557,-0.0275502,0.01272187,0.0316875,-0.00224969,0.00808787,0.02569388,0.04225119,-0.04065858,0.0365533,0.00278848,0.06464127,0.00811718,0.00879038,0.00747166,0.07282075,0.03156205,0.07406501,0.02581959,-0.02844625,-0.02337036,-0.22800446,-0.00575024,0.03035795,-0.04085192,-0.0152873,-0.05050107,-0.00237496,-0.04074219,0.06298202,0.07238425,0.0837613,0.01703419,-0.04048133,0.01229212,0.01908354,-0.03888589,0.06182365,-0.04038169,-0.0273587,0.02451308,0.00468074,-0.00679222,0.04114646,-0.03965365,0.07007403,-0.01824877,0.09655873,0.04550672,0.0354315,-0.04015175,0.060717,0.01070412,-0.00283835,-0.08807948,0.08569834,0.04490888,-0.05607045,-0.01958604,-0.00259559,-0.03481769,0.01119986,0.03779918,-0.05530573,-0.08823314,-0.02868942,-0.04145776,-0.08014568,-0.0784532,-0.02185226,0.04558779,0.0097035,0.01161067,0.03404995,0.12902735,0.00008939,0.02695965,-0.02124385,0.00954444,0.01963056,-0.01030776,0.00065059,-0.02846501,-0.0018367,-0.02611482,0.03117569,0.0050462,0.00906158,0.02992203,-0.00016367,0.06912025,-0.0119317,0.15423173,0.01917231,0.02754047,0.01153181,0.04630509,0.0002891,-0.08596864,-0.01452462,-0.01109615,0.07809581,0.03079146,0.0589137,0.04822011,0.02585132,0.0334005,0.04613086,-0.04965125,0.07290585,0.0529108,-0.07297023,-0.0315305,-0.01259368,-0.04347272,0.0611146,0.03565762,-0.29312801,0.04297735,-0.00079514,-0.01218952,0.02129503,0.05013807,-0.00799732,-0.06822635,-0.05327397,-0.00655499,-0.09071219,0.05558015,0.08225398,-0.04639214,0.0453231,0.00526985,0.04448653,-0.00824136,0.04710862,-0.08517463,0.00468429,0.05748821,0.180953,-0.00960177,-0.01513177,-0.02193368,-0.00865837,-0.01086675,0.11326304,0.02927318,-0.10050566,0.03443052,0.10581443,0.03191413,0.03274682,0.028655,-0.04188135,0.02565008,0.00611182,-0.01706277,-0.0302179,0.0621523,-0.01177164,0.00034465,0.07468415,-0.00190873,-0.04191313,-0.07964631,-0.01487452,-0.01557647,-0.02134466,-0.02070791,-0.00371807,-0.00189948,0.0055232,0.0465792,-0.0112388,-0.02185514,-0.06327709,0.00736971,0.01912,-0.04123933,0.02878864,0.06549109,0.00037312],"last_embed":{"hash":"8emhh","tokens":437}}},"text":null,"length":0,"last_read":{"hash":"8emhh","at":1759879117323},"key":"音楽プログラミング言語の形式化.md#programming-language #research#実は無理に多段階計算じゃなくてもいい説#1.あくまでコンパイラの最適化に任せる方向#{1}","lines":[125,131],"size":408,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"8emhh","at":1759879117323}},
"smart_blocks:音楽プログラミング言語の形式化.md#programming-language #research#実は無理に多段階計算じゃなくてもいい説#2.再帰を有限回しか行えないような意味論を定義する": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.0878224,-0.02177538,0.00884207,-0.03786761,0.01335228,0.00461982,-0.0356076,0.05688022,0.00227278,0.02514578,-0.04135299,-0.03826269,0.06568216,0.02466016,0.03498883,-0.00835215,0.035124,0.0444738,-0.09419867,-0.0140763,0.1792412,-0.04039003,-0.02178068,-0.04878923,0.04976141,0.05603429,-0.01844278,-0.01853323,0.01479235,-0.11778378,-0.02175956,0.01327065,0.12398919,0.00107029,0.01755137,0.06440397,-0.0210787,0.0216654,-0.08486038,0.03658947,-0.03305714,-0.00993168,0.02772925,-0.01407744,0.0189003,-0.08713209,-0.02614658,-0.03955694,-0.0247262,-0.00973473,-0.12194021,-0.02955666,-0.01782943,0.04314183,0.03881761,0.01356352,0.02871658,0.03348485,0.00497652,0.02777904,0.02066398,0.04768485,-0.23450476,0.07115448,0.04117674,0.00440237,-0.05763444,-0.07975457,0.01789573,0.04489041,-0.06440296,0.02294973,0.03243213,0.08238662,-0.01538616,0.00027667,0.0249672,-0.06114434,-0.02105821,-0.02964487,-0.02250165,-0.00121052,-0.00802127,-0.0087965,-0.01417592,0.01433422,0.05968237,0.01412783,0.01914246,0.07349078,-0.06898447,-0.04077157,0.01162908,0.03224223,-0.07091156,0.03023907,-0.0030406,0.05003285,-0.00904261,0.12010646,-0.04803072,-0.01972868,0.01151072,-0.07074266,0.06297714,0.02768298,0.00773547,-0.00652292,0.00099503,-0.00941555,0.01064462,-0.0146995,0.03741493,-0.04746952,-0.03622667,0.01896883,0.04687901,-0.00836106,0.01130268,-0.00651149,0.06099777,0.01008905,-0.00102405,0.00359283,0.03430524,-0.02031695,0.04510403,0.05000015,0.02151181,0.01252889,0.07179631,0.0381089,-0.10387729,0.00120052,0.0235586,0.01645797,-0.01098751,0.01405335,-0.01379498,-0.01686811,-0.0023545,-0.11681955,-0.06051648,-0.08546092,-0.06297325,0.09218719,-0.04750783,0.00816063,0.00689549,0.00394799,-0.01868994,0.05598418,-0.01326959,-0.07367596,0.01555318,-0.03621956,0.07950959,0.08952094,-0.05278788,-0.0120354,-0.01072106,-0.05968338,-0.0680396,0.09469667,0.04683824,-0.00185698,-0.04111614,0.06949159,0.02521359,-0.0288364,0.02692106,0.00780677,-0.02267799,-0.03078075,0.01072407,-0.00841488,0.02822834,0.02114645,-0.05038763,0.03236812,0.01551902,-0.0243266,0.03090113,0.03291962,-0.01244364,-0.09182796,-0.01346507,-0.03641818,0.0128199,0.02921147,-0.07678322,0.01548856,0.05531238,0.01621066,-0.03635933,-0.03523939,0.00943412,-0.01295657,-0.05048551,-0.0427742,0.11458049,0.05052292,-0.03159152,-0.01068963,0.02732575,-0.00994875,0.02391888,0.01543493,0.00388414,0.050341,-0.04438726,0.00754095,0.03903049,0.07398363,-0.01625377,0.02226259,-0.00173935,0.06693481,0.06105914,0.06297756,0.00168785,-0.02513592,-0.07188419,-0.2312855,0.07193667,0.01307637,-0.06072539,-0.00489104,-0.05056288,0.02844344,-0.07395155,0.06399304,0.01097274,0.0883948,-0.00061866,-0.01871729,-0.02241118,-0.01011832,-0.02538125,0.03085726,-0.03046846,-0.01393739,0.01185967,0.01596242,-0.04071407,0.03808155,-0.06360299,0.02301092,-0.06564687,0.10944688,0.02597744,0.04798705,-0.03326248,0.07535952,-0.00037247,-0.0214827,-0.0838145,0.04116448,0.01300384,-0.03776695,-0.04780895,0.02085836,-0.01754253,0.02091928,0.04311771,-0.00301918,-0.04713873,0.01425208,-0.033284,-0.03725332,-0.01675626,-0.01088931,0.03016382,-0.01141937,0.0126085,0.0534822,0.06556739,-0.01520335,0.01220737,-0.0660348,-0.01190154,0.02806908,0.04632101,0.02971154,0.01400013,-0.0152001,-0.06302597,0.01576459,0.00782767,0.00975527,-0.00571949,0.01705868,0.03111332,-0.04293988,0.11248493,0.01201341,0.05551907,0.02675208,0.04524497,0.00416195,-0.08070367,-0.02303108,-0.00344366,0.04345025,-0.00820142,0.02958003,0.02545202,0.03524013,-0.0030841,0.07573114,-0.04858784,0.07799207,-0.00712895,-0.0598943,-0.02316854,-0.01961085,-0.04369866,0.01561806,0.02241902,-0.31174004,0.05064329,-0.03183535,0.02520098,0.00442802,0.02735432,-0.01259131,-0.08457155,-0.0754568,-0.01510528,-0.05309956,0.06494729,0.04508346,-0.02676369,0.04345696,0.01117188,0.07362718,0.03002715,0.03920196,-0.0493944,-0.03173784,0.04008394,0.18421721,-0.02700915,0.03646351,0.01151498,-0.00663618,0.00572786,0.06449946,0.06320646,-0.04758042,-0.02334939,0.12999742,0.0126583,-0.01869752,-0.00700153,-0.0437981,0.01390893,0.01680358,-0.03181427,-0.07566524,0.0590313,-0.02026556,0.02109389,0.0836649,-0.00114817,-0.024988,-0.08240165,0.01243679,0.03915646,-0.06732167,0.02916503,-0.01887268,0.00602971,-0.00897387,0.02488476,-0.01255533,-0.06760004,-0.05727842,-0.04373228,0.04450969,0.01961177,-0.00788552,0.01629289,-0.00521409],"last_embed":{"hash":"1vfgyr","tokens":269}}},"text":null,"length":0,"last_read":{"hash":"1vfgyr","at":1759879117394},"key":"音楽プログラミング言語の形式化.md#programming-language #research#実は無理に多段階計算じゃなくてもいい説#2.再帰を有限回しか行えないような意味論を定義する","lines":[132,138],"size":271,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"1vfgyr","at":1759879117394}},
"smart_blocks:音楽プログラミング言語の形式化.md#programming-language #research#実は無理に多段階計算じゃなくてもいい説#2.再帰を有限回しか行えないような意味論を定義する#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.09015319,-0.01853692,0.00728146,-0.03476154,0.01484979,0.00534793,-0.03716699,0.0555306,0.00365771,0.02952996,-0.04225846,-0.03752221,0.06599548,0.02774996,0.03671776,-0.00922125,0.03443368,0.04608946,-0.09282425,-0.01136636,0.17722015,-0.03563307,-0.02342079,-0.04778548,0.04809091,0.05518832,-0.02103859,-0.01416228,0.01321447,-0.11684375,-0.02295777,0.01060352,0.120442,0.00325612,0.01996554,0.06346858,-0.02326681,0.02376488,-0.08217663,0.0351838,-0.03186255,-0.00798021,0.02924931,-0.01708915,0.01794695,-0.08890692,-0.02341587,-0.03934531,-0.02370767,-0.01450014,-0.12161973,-0.02581006,-0.02244158,0.04191124,0.03808999,0.01601871,0.02798471,0.03628768,0.0066083,0.02589908,0.01676183,0.04316083,-0.23091768,0.06900366,0.039813,0.00435694,-0.06012059,-0.08130137,0.0205548,0.04752118,-0.06093598,0.02036035,0.03505825,0.08248692,-0.02029492,-0.00061979,0.02289582,-0.06011026,-0.02425937,-0.02949345,-0.02749062,0.00116486,-0.00827382,-0.0080009,-0.01638004,0.01780141,0.057991,0.01358458,0.02064528,0.07552422,-0.06644363,-0.04506412,0.01204341,0.03255096,-0.07708618,0.02462126,-0.00502955,0.05544237,-0.00435879,0.11838926,-0.04451597,-0.0199507,0.01168129,-0.07143926,0.06395587,0.02477409,0.00927918,-0.00792987,-0.00154864,-0.00810049,0.01507164,-0.01182265,0.03321447,-0.04240857,-0.03403171,0.02016723,0.04448313,-0.00590078,0.00777963,-0.00845017,0.06142296,0.00952589,-0.00042407,0.0038552,0.03634408,-0.01879011,0.04740592,0.0477269,0.02043619,0.0065718,0.07090782,0.03482977,-0.10894586,0.00488292,0.02398614,0.01502886,-0.00920638,0.01664058,-0.00889776,-0.01799024,0.00338109,-0.12269552,-0.05984928,-0.08663482,-0.06466643,0.09442312,-0.04666467,0.00725775,0.0075959,0.00695808,-0.01377037,0.0593337,-0.01515336,-0.07484008,0.01727969,-0.03673449,0.08297215,0.08949585,-0.04830746,-0.01303165,-0.01069095,-0.05826936,-0.06966775,0.09107499,0.04727588,0.00371295,-0.0383408,0.07045092,0.02719552,-0.027329,0.02997565,0.00793401,-0.02700222,-0.03485475,0.01027513,-0.00713955,0.02710658,0.02166267,-0.05229233,0.03222659,0.01055622,-0.01930192,0.03033845,0.03112993,-0.01038112,-0.09097926,-0.01036071,-0.04099755,0.01106738,0.0304189,-0.07553194,0.01407406,0.04872381,0.01910396,-0.03347292,-0.03743575,0.01303534,-0.0147078,-0.05219152,-0.04396747,0.11560654,0.04943454,-0.03578939,-0.01392175,0.03661888,-0.01067721,0.02671846,0.01779562,0.00109388,0.05508969,-0.04931645,-0.00038203,0.03850307,0.07109033,-0.01351353,0.02021554,0.00055547,0.07006798,0.05909541,0.06528577,0.0036715,-0.02373537,-0.07020503,-0.22750539,0.07606986,0.0100763,-0.06025079,-0.00505955,-0.04477952,0.02951534,-0.07379865,0.06383123,0.0056617,0.08759807,0.00067923,-0.01933829,-0.02363975,-0.0105072,-0.02690758,0.02878447,-0.02882871,-0.01485565,0.01332093,0.01828277,-0.04060985,0.04401109,-0.0633674,0.02313781,-0.067301,0.10798081,0.02666503,0.04465666,-0.04021913,0.07069132,0.00332643,-0.0195146,-0.0816227,0.04086453,0.00967077,-0.04156921,-0.05255306,0.01935886,-0.01870675,0.02066734,0.04361126,-0.00592727,-0.04448546,0.01344418,-0.03340014,-0.0324807,-0.01181915,-0.00949098,0.02485421,-0.01044313,0.01409184,0.05393359,0.06198399,-0.01973148,0.01312959,-0.06971179,-0.01157506,0.02981673,0.04675993,0.02727029,0.01549219,-0.01835446,-0.06313525,0.01498082,0.0104706,0.01291546,-0.00784851,0.01715645,0.02905128,-0.04155682,0.10714076,0.01097727,0.05702898,0.02484582,0.04160662,0.00140237,-0.08628055,-0.02296708,-0.00208573,0.04207858,-0.01041883,0.02477751,0.02550547,0.03390381,-0.00584685,0.07474022,-0.05057575,0.07702019,-0.00855966,-0.06615163,-0.02237664,-0.02152349,-0.03863653,0.0099689,0.02107773,-0.3100349,0.04990552,-0.03793045,0.02356419,0.00332375,0.02781799,-0.01406036,-0.08327025,-0.07840704,-0.01642667,-0.05317746,0.06561519,0.04900624,-0.02532979,0.04070911,0.01340036,0.0734292,0.03200873,0.04188642,-0.05128987,-0.03152126,0.04028272,0.18488714,-0.02440668,0.03852865,0.00944842,-0.00884651,0.00371742,0.06163694,0.06479954,-0.05141616,-0.02102449,0.13466589,0.01083544,-0.01786053,-0.00198599,-0.04755489,0.01370405,0.02042042,-0.02930767,-0.07412464,0.06425897,-0.02146438,0.02382421,0.0859095,-0.0002663,-0.02559209,-0.08085837,0.01498899,0.03929454,-0.06510054,0.03363186,-0.01555535,0.00927182,-0.00451423,0.02533639,-0.01250017,-0.06422589,-0.06011599,-0.04523941,0.04607959,0.02126514,-0.0141622,0.01521003,-0.00351461],"last_embed":{"hash":"1pxly14","tokens":267}}},"text":null,"length":0,"last_read":{"hash":"1pxly14","at":1759879117434},"key":"音楽プログラミング言語の形式化.md#programming-language #research#実は無理に多段階計算じゃなくてもいい説#2.再帰を有限回しか行えないような意味論を定義する#{1}","lines":[134,138],"size":240,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"1pxly14","at":1759879117434}},
"smart_blocks:音楽プログラミング言語の形式化.md#programming-language #research#実は無理に多段階計算じゃなくてもいい説#これら2つではカバーできないケース": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.06629629,-0.02727587,-0.03412201,-0.07283751,-0.02542218,0.03658338,-0.0335499,0.07618148,0.04322168,0.02330381,-0.03206792,-0.06115524,0.0591035,0.00693331,0.00445679,-0.02265008,0.00400839,0.03794406,-0.0789936,-0.04529703,0.15864995,-0.02828298,-0.05982073,-0.07903378,0.07510878,0.06962392,-0.01498198,-0.02496709,0.00405147,-0.15857527,-0.04413614,0.00473172,0.05472311,-0.00330648,-0.01487506,0.05067619,-0.01384242,0.03955866,-0.06492838,0.01988448,-0.03533741,-0.01923696,0.02267061,-0.01626114,0.0268076,-0.10872616,-0.04587471,-0.04070583,-0.01718759,-0.01649209,-0.12302573,-0.01740445,0.06098818,-0.0070529,0.0743476,0.05306494,0.0502643,0.05957444,0.03933798,0.0242279,0.00398856,0.0353007,-0.19957711,0.05871006,0.03315746,0.01899614,-0.06059409,-0.0555156,0.03776275,0.03871306,-0.04316824,0.00825517,0.04208647,0.07669435,0.02277952,-0.05978774,-0.00985244,-0.07375038,-0.03685642,-0.02036941,-0.04987454,0.00094417,0.01725758,-0.00392081,-0.00428936,0.04180049,0.0504153,0.02337757,0.04220825,0.04713744,-0.06550799,-0.02437134,0.01147542,0.02792856,-0.05028211,0.03959726,0.01598414,0.02769089,0.02110081,0.10468789,-0.04359634,-0.01809352,0.0166768,-0.03828405,0.04981047,-0.00567561,-0.00900237,-0.06012968,-0.02889222,-0.02992225,-0.01416897,-0.00141848,0.03707578,-0.01817494,-0.04252216,0.01400223,0.00521646,-0.02103053,-0.02403384,-0.0076788,0.01693425,0.03498542,-0.01138054,-0.00948385,-0.00607441,-0.00726325,0.0331349,0.04144279,0.02670285,0.01495375,0.070393,0.03519825,-0.11063118,-0.02704918,-0.00546876,0.04715444,-0.04448847,-0.00026122,-0.00840407,-0.04093434,-0.01016134,-0.08417959,-0.01374937,-0.08156015,-0.07142393,0.07675838,-0.02412799,-0.01441168,0.02964822,0.00129801,-0.04973299,0.03249823,-0.04480472,-0.02692887,-0.00134926,-0.0418592,0.04955041,0.10007037,-0.05018038,-0.00291641,0.01916435,-0.04978152,-0.05846294,0.07583813,0.02718475,0.01053293,-0.0185848,0.08048549,0.01060199,-0.02424226,-0.01202667,0.02712868,-0.01540066,-0.03665043,0.03996057,-0.02396894,-0.0120804,0.03582653,-0.002371,0.03092641,0.03012407,-0.01848416,-0.01774041,0.03126683,0.02519435,-0.08058933,-0.0107472,-0.06697345,-0.01137034,0.06377962,-0.03416076,0.02439691,0.01819726,0.0295068,-0.03589512,-0.04732788,-0.00351208,-0.00009418,-0.02425163,-0.06145006,0.15508218,0.07079693,-0.02468008,-0.04858784,-0.02014498,-0.04819296,0.04506621,-0.03213491,-0.01124704,0.05819583,-0.06635991,-0.00800022,0.03761555,0.09899677,-0.02265358,0.02229208,-0.0144182,0.08343811,0.03685202,0.06687558,-0.00402216,-0.05033224,-0.10227049,-0.20065728,0.00240564,0.02812208,-0.03444664,0.0041948,-0.05203987,0.01511522,-0.06974255,0.03902701,0.01035111,0.12325062,-0.01557987,-0.03524194,-0.08052164,-0.01800863,0.01630821,-0.01356124,0.00327048,-0.0010454,0.00970415,0.01618787,-0.01918499,0.00869432,-0.02933104,0.07335355,-0.02826359,0.14561121,0.00162802,0.07866182,-0.01873812,0.08623539,-0.0141574,-0.01902174,-0.03884354,0.02848808,0.03271913,-0.02580815,0.0073433,0.02943722,-0.02837764,0.01879564,0.00802489,-0.04155949,-0.0435199,-0.00619203,-0.05229189,-0.02168631,-0.03629431,0.0506953,0.05643758,0.0053691,0.03297435,0.04288176,0.0362969,-0.01430977,-0.00728722,-0.04070531,-0.02276617,-0.00521107,0.02058982,0.0429778,0.01056837,-0.01819981,-0.03056885,-0.00010276,0.0190507,-0.01598044,-0.04250594,0.01188632,0.0267235,-0.05408068,0.13810043,0.05970526,0.04318009,0.04910194,0.05376951,0.01672851,-0.01566226,0.00430423,0.00517259,-0.00343632,-0.00202124,0.01970503,0.02789911,0.02263231,0.02923025,0.04590675,-0.05476524,0.03656466,-0.01434763,-0.05692108,0.0168478,-0.00662384,0.00342543,-0.00141819,0.02405061,-0.30318213,0.03536558,-0.03079405,0.01150475,-0.00696124,-0.00867808,0.0198571,-0.04505472,-0.06744328,-0.01918622,-0.05986081,0.05013936,0.08660155,-0.03244954,0.04352681,-0.02402093,0.06961352,0.01449395,0.0484324,-0.05431315,-0.05130679,0.00866941,0.21091741,-0.03857154,0.04065573,-0.02017881,0.01473588,-0.00066352,0.10400628,0.03490109,-0.02916674,-0.00901012,0.16595918,0.00595974,-0.00964077,0.01507664,-0.0642556,-0.00617482,0.0186942,0.00328589,-0.02163485,0.05536203,-0.02152376,-0.00380459,0.09791236,0.0074527,-0.03958787,-0.06584236,0.02401402,0.0456803,-0.02825709,0.0368201,-0.03012688,-0.0209267,0.01495483,0.03365043,-0.02580751,-0.01310544,-0.07712983,0.00664323,0.0473874,0.0011013,0.03361393,0.05736904,0.04941693],"last_embed":{"hash":"v5buap","tokens":494}}},"text":null,"length":0,"last_read":{"hash":"v5buap","at":1759879117475},"key":"音楽プログラミング言語の形式化.md#programming-language #research#実は無理に多段階計算じゃなくてもいい説#これら2つではカバーできないケース","lines":[139,225],"size":1821,"outlinks":[{"title":"多段階計算#依存型との組み合わせ","target":"多段階計算#依存型との組み合わせ","line":49},{"title":"継時再帰","target":"継時再帰","line":59},{"title":"Kronos","target":"Kronos","line":61}],"class_name":"SmartBlock","last_embed":{"hash":"v5buap","at":1759879117475}},
"smart_blocks:音楽プログラミング言語の形式化.md#programming-language #research#実は無理に多段階計算じゃなくてもいい説#これら2つではカバーできないケース#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.06659712,-0.02981467,-0.03214856,-0.07374591,-0.0251864,0.03609011,-0.03616724,0.07373489,0.04471918,0.02204802,-0.03005457,-0.06098454,0.05339564,0.00370358,0.00569309,-0.02222961,0.00487565,0.03761541,-0.07956442,-0.04637547,0.15315162,-0.02562315,-0.06196285,-0.07521012,0.07224558,0.07050993,-0.01565065,-0.029875,0.00360675,-0.15673837,-0.04049477,0.00054413,0.05654646,0.00107735,-0.02022133,0.04184327,-0.0116276,0.03950558,-0.06836966,0.01617467,-0.03360839,-0.01879876,0.02409061,-0.01162135,0.03128428,-0.11369274,-0.04255455,-0.04551556,-0.01370563,-0.01998943,-0.12263361,-0.01462149,0.06103968,-0.00524309,0.08194093,0.05206558,0.04878758,0.05411907,0.04082766,0.03012019,0.00234373,0.03789199,-0.19932272,0.05561972,0.02494767,0.02059936,-0.06153113,-0.0585862,0.032335,0.03760647,-0.04358435,0.01356387,0.04218963,0.07697924,0.02381261,-0.06588062,-0.01060525,-0.07229161,-0.03768742,-0.02463316,-0.04871963,0.00019152,0.01800349,-0.00480201,-0.0071055,0.04360503,0.05388773,0.02105898,0.04313538,0.04327063,-0.06614786,-0.02256596,0.00899631,0.02361044,-0.04998823,0.03831697,0.01655925,0.03309249,0.02395099,0.1007031,-0.04570557,-0.01997055,0.02142679,-0.03661729,0.05030626,-0.00660208,-0.00997238,-0.0605578,-0.02772357,-0.02809902,-0.01520894,0.00223426,0.03786497,-0.01559026,-0.04575264,0.01140709,-0.00350381,-0.01990735,-0.02526645,-0.00795064,0.01810192,0.03225328,-0.00899754,-0.01240669,-0.00681631,-0.00430259,0.0378154,0.03884244,0.02577673,0.01538976,0.06728911,0.03672128,-0.10466179,-0.02490915,-0.00195566,0.04919162,-0.04196147,0.00149912,-0.00791197,-0.03855814,-0.01022628,-0.0827162,-0.01378382,-0.08236696,-0.0694977,0.07801164,-0.02637999,-0.0159559,0.02938525,0.00552798,-0.04841032,0.03673203,-0.04532612,-0.03187162,0.00332851,-0.04207655,0.05232564,0.10181762,-0.05272116,-0.00162259,0.02329461,-0.05334397,-0.05355366,0.07705992,0.02916856,0.00907845,-0.01797744,0.08158815,0.01132244,-0.02366976,-0.00763792,0.03111184,-0.02031517,-0.03681909,0.04144616,-0.02224563,-0.01199146,0.03443646,0.00166057,0.03135309,0.02808846,-0.01716081,-0.01607475,0.02819749,0.03232434,-0.07863563,-0.01241587,-0.06829543,-0.01340075,0.06134705,-0.0351976,0.02581138,0.01811955,0.03247797,-0.03384219,-0.04532005,-0.0041907,0.0029865,-0.02910425,-0.06271385,0.15857013,0.07246007,-0.02731586,-0.05267554,-0.02047141,-0.05140275,0.04624083,-0.02922065,-0.0147882,0.05614503,-0.06479062,-0.00733738,0.03907578,0.10200864,-0.02624688,0.02210922,-0.0167694,0.08455896,0.03912282,0.06733196,-0.00238141,-0.0505818,-0.10139582,-0.20395914,0.0036187,0.02923127,-0.02956994,0.00267933,-0.04870431,0.01096473,-0.06882697,0.03897569,0.0103589,0.1272413,-0.01446991,-0.03102181,-0.07704043,-0.02042425,0.01707554,-0.01152204,0.00517739,-0.00290565,0.01306434,0.01433161,-0.02365483,0.00847141,-0.02927407,0.0729743,-0.02295225,0.14792606,0.00173092,0.08251373,-0.01835821,0.08578432,-0.0102951,-0.02010088,-0.03350889,0.02654936,0.03088137,-0.02182853,0.00757432,0.0322367,-0.02690803,0.01435221,0.00711966,-0.04378748,-0.04773559,-0.00349077,-0.05084319,-0.01974198,-0.03439912,0.05189298,0.05399207,0.00263544,0.0333035,0.0454151,0.03254985,-0.0123657,-0.00384183,-0.03732031,-0.0267547,-0.00826615,0.01658721,0.03952965,0.01178444,-0.01970356,-0.03054149,-0.00006241,0.0211789,-0.01577396,-0.04685011,0.01137775,0.02431525,-0.0522013,0.13528773,0.05753121,0.04138386,0.05310526,0.05364284,0.01468375,-0.0124722,-0.00330001,0.00278757,-0.00480952,-0.00234569,0.0225799,0.02604365,0.02125981,0.03079041,0.0450419,-0.05713055,0.0365635,-0.01580026,-0.05493985,0.02046385,-0.00644548,0.0068814,0.00015393,0.02436557,-0.30406043,0.03009638,-0.03401525,0.01239468,-0.00681719,-0.00758425,0.01828515,-0.04999743,-0.065502,-0.01985918,-0.0626507,0.05204365,0.08463909,-0.02686009,0.04047452,-0.02439082,0.0704603,0.01828881,0.043292,-0.05429506,-0.05200405,0.00820815,0.21183832,-0.0420219,0.03493856,-0.02062861,0.01363066,-0.00418328,0.10395232,0.03547855,-0.02398201,-0.01240841,0.1632729,-0.00250771,-0.00891572,0.01736653,-0.063626,-0.00347419,0.01967651,0.00349628,-0.02023638,0.05499393,-0.01987997,-0.00657428,0.09876199,0.00355508,-0.03602117,-0.06320217,0.02456623,0.05037434,-0.02747637,0.04267843,-0.03113048,-0.02057692,0.01064378,0.02858828,-0.02972448,-0.01723281,-0.07109124,0.0092801,0.04862908,-0.00060869,0.03363921,0.05749136,0.04992846],"last_embed":{"hash":"amx3m8","tokens":497}}},"text":null,"length":0,"last_read":{"hash":"amx3m8","at":1759879117562},"key":"音楽プログラミング言語の形式化.md#programming-language #research#実は無理に多段階計算じゃなくてもいい説#これら2つではカバーできないケース#{1}","lines":[141,190],"size":1045,"outlinks":[{"title":"多段階計算#依存型との組み合わせ","target":"多段階計算#依存型との組み合わせ","line":47}],"class_name":"SmartBlock","last_embed":{"hash":"amx3m8","at":1759879117562}},
"smart_blocks:音楽プログラミング言語の形式化.md#programming-language #research#実は無理に多段階計算じゃなくてもいい説#これら2つではカバーできないケース#{5}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.04157197,-0.04504988,-0.03103796,-0.05308226,0.04390967,-0.02079774,-0.06063485,0.04724291,0.03579531,0.01977192,-0.02027931,-0.07728741,0.07570373,0.01889528,0.03312261,-0.01562176,-0.00295444,0.0437137,-0.07083812,-0.00604675,0.11423551,-0.01899563,-0.04636598,-0.08118214,0.03569566,0.03834922,-0.02920851,0.01861515,-0.01375033,-0.15970325,-0.03282388,-0.01465946,0.09530386,0.00825573,-0.00964116,0.0087588,-0.02535942,0.01087995,-0.0863611,0.03010863,-0.04114987,-0.02632825,0.01420724,-0.03763845,-0.0014438,-0.03663275,-0.00884692,-0.05084835,-0.01738271,-0.02278982,-0.09828191,-0.0420887,0.00655475,0.03032666,0.046916,0.03389925,0.02863073,0.04026884,0.04911354,0.01835209,-0.0176823,-0.00432759,-0.19355497,0.04183491,0.03351434,0.03426846,-0.02863341,-0.02351878,0.02661006,0.05629516,-0.01681843,0.02986833,0.04017538,0.04342467,-0.03358525,-0.02238205,-0.00967508,-0.00547405,-0.04277577,0.00115899,-0.04551699,0.02230023,0.0310137,-0.02993248,-0.0124551,0.0406932,0.01318754,-0.01950391,0.06530386,0.0558816,-0.07216395,-0.00625559,0.05739991,0.07031585,-0.07976853,-0.00500303,0.0040511,0.0342665,0.00162879,0.096119,-0.01193742,0.01167065,0.02383312,-0.09301258,0.05336883,-0.02353112,-0.02417317,-0.04791132,-0.00084748,-0.00930123,-0.02833783,-0.02052203,0.03819979,-0.06177786,-0.01330977,0.03145951,0.02766149,0.00447955,-0.01485445,0.01756261,-0.0117397,0.00558425,0.01129161,-0.00918751,0.02945786,0.00362462,-0.0008744,0.0415021,0.00678084,0.07054173,0.06276851,-0.01898821,-0.09187525,0.03084199,0.00751345,0.02156659,-0.02055591,-0.01729533,-0.01437843,-0.02265179,-0.02541121,-0.1390702,-0.02397388,-0.07228487,-0.06737562,0.10823402,-0.02590707,-0.00769599,-0.04996068,-0.06129801,-0.02533505,0.06539444,-0.0196456,-0.03408513,0.0312264,-0.01017696,0.05064632,0.07536912,-0.04450653,-0.02638585,-0.03035352,-0.06781843,-0.04954153,0.06235536,0.01733875,-0.02050892,-0.0492521,0.08653229,0.01066635,-0.03526146,0.02324609,0.06511649,-0.0455109,-0.04138061,0.04493587,0.00407761,0.01174397,0.00651226,-0.03720953,0.02272099,-0.0233939,-0.01501699,-0.02049195,0.0305435,-0.00618834,-0.05675713,0.01619959,-0.00931624,0.00272113,0.01526483,-0.08939134,-0.03391239,0.02027749,0.03862235,-0.05228541,-0.01031971,0.0242671,0.00524622,0.01405106,-0.06956954,0.14765999,0.08338674,-0.02975107,0.00564874,-0.03768761,0.00164541,0.00279114,-0.02187115,0.01174504,0.06469052,-0.0353291,0.02324893,0.02195683,0.07329173,0.04062116,-0.03939659,0.0098185,0.08420441,0.06344901,0.08280378,0.02510876,-0.06064062,-0.09213038,-0.23965332,0.05947783,0.04668647,-0.02233772,-0.01072109,-0.04874969,-0.03561465,-0.05373793,0.04184434,0.06434062,0.09987465,0.04190207,-0.00321585,-0.03111671,0.00258757,0.01907221,0.03299204,-0.01536308,-0.03352643,0.01082489,0.01316743,-0.01346716,0.07849881,-0.03330114,0.05876921,-0.02959153,0.1214597,0.03742953,0.04800411,-0.01438779,0.07387786,0.02332384,0.01462507,-0.01784582,0.04939811,-0.00024959,-0.04692638,0.00014266,-0.0175234,-0.05849873,0.02617928,0.01558788,-0.00362764,-0.06676678,-0.04007921,0.00207365,-0.04196235,-0.00389686,-0.00823482,0.03192612,0.00926339,-0.01165736,0.05638054,0.07077952,0.01962313,-0.02312227,-0.0550924,-0.00734972,0.00703273,0.01543901,0.01278371,0.0068124,-0.02723574,-0.02923428,-0.00700659,-0.0046211,0.01625075,0.02772713,-0.00314159,0.03802816,-0.02617037,0.10503988,0.04640197,0.04248815,0.00655003,0.06127573,-0.04399749,-0.055744,0.00319971,-0.0175051,0.0386887,0.0210883,0.06096072,0.02926967,0.05613909,0.06075043,0.06191923,-0.0391645,0.05715308,0.03359202,-0.05918571,0.00477033,-0.01078277,-0.01959553,0.04778083,-0.00639777,-0.29602519,0.01006554,-0.00903409,-0.00225659,0.01629305,-0.0045663,0.0134272,-0.06819126,-0.07230823,0.01324593,-0.07264515,0.08173802,0.08856643,-0.05980054,-0.01473075,0.00743182,0.02770366,0.00039937,0.06426328,-0.06858613,-0.00703001,0.06015566,0.22117423,-0.02403522,0.02435305,-0.02666634,-0.01292305,-0.01696187,0.10022626,0.0358225,-0.05050227,-0.00031256,0.17460676,0.00151752,-0.01156131,0.00850379,-0.0385516,0.00509956,-0.00195295,-0.03458175,-0.05887989,0.02544331,-0.03528824,-0.00034125,0.08259652,-0.03083222,-0.04405119,-0.11543423,0.00265157,0.03872782,-0.03681286,0.0146482,0.01365387,-0.02838028,0.04335635,0.06369825,0.0024298,-0.00794511,-0.07060167,-0.00312302,0.03687542,-0.04666305,0.0185181,0.06955844,0.01830997],"last_embed":{"hash":"gnifpp","tokens":482}}},"text":null,"length":0,"last_read":{"hash":"gnifpp","at":1759879117645},"key":"音楽プログラミング言語の形式化.md#programming-language #research#実は無理に多段階計算じゃなくてもいい説#これら2つではカバーできないケース#{5}","lines":[195,225],"size":681,"outlinks":[{"title":"継時再帰","target":"継時再帰","line":3},{"title":"Kronos","target":"Kronos","line":5}],"class_name":"SmartBlock","last_embed":{"hash":"gnifpp","at":1759879117645}},