quartz-research-note/content/.smart-env/multi/mimiumのMIRコンパイル過程を真面目に考える_md.ajson

"smart_sources:mimiumのMIRコンパイル過程を真面目に考える.md": {"path":"mimiumのMIRコンパイル過程を真面目に考える.md","embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.0792094,-0.04075518,0.06139268,-0.08208808,-0.01180686,0.03134955,-0.05550069,0.03617323,0.08928825,-0.00016614,0.01365582,-0.10690673,0.04693487,0.01596787,0.03383958,-0.0292734,-0.00031916,0.00812814,-0.0410285,-0.00796357,0.11499915,-0.03174996,-0.04807433,-0.03301922,0.08073381,0.05174948,0.01181993,-0.03585799,-0.01508428,-0.20609398,-0.05470364,-0.03915326,0.06452928,0.00919322,0.02504216,-0.03901973,-0.01725439,0.02648056,-0.06492068,-0.00554064,-0.00953545,0.05683266,0.03268633,-0.07221005,-0.02839116,-0.07724632,-0.02294959,-0.00825585,-0.06956332,-0.01316636,-0.06465223,-0.00260828,0.04234717,0.0121201,-0.01219348,0.04112414,0.05831154,0.07935087,0.00640471,0.00098967,0.03574363,-0.02606705,-0.18131599,0.05632125,0.02468019,0.02073213,0.02009,-0.08568821,0.0277542,0.02969566,-0.02987006,0.00449983,0.0381082,0.01370609,0.0393291,0.00582186,0.00108785,-0.04800928,-0.02322257,0.03483159,-0.01914362,0.02095499,-0.03670271,-0.03159561,0.02384599,0.02159482,0.03991316,-0.04349601,0.03479198,0.04317489,-0.07167199,-0.03656042,0.01907075,0.01541763,-0.04585605,-0.01503753,0.01040512,0.02260344,0.00422983,0.06619426,0.00300966,0.05938157,0.0065269,-0.05552101,0.04606305,-0.04277693,-0.03577296,-0.06679034,-0.05331419,-0.02537956,-0.04176304,0.00434877,0.06773648,-0.0406347,-0.02045723,-0.00347555,0.03940422,-0.01650092,0.0145927,0.00863459,0.00513559,0.0519469,0.04566233,-0.02300752,0.03523924,-0.02582593,0.02985873,0.03231637,-0.00508705,0.03102886,0.01915947,-0.01470334,-0.01866373,0.00908657,0.00474931,0.01875111,0.00379887,-0.01608779,0.04727201,0.01561983,-0.03386284,-0.08493019,-0.02846249,-0.10274957,-0.04922005,0.09144218,-0.06222552,0.01757665,0.01153772,0.0065525,-0.00226375,0.04931952,-0.02299719,-0.03161364,0.0325808,0.02678445,0.07482834,0.08931851,-0.05515629,-0.05281145,-0.02829452,-0.06081177,-0.10109396,0.12127128,-0.00932896,-0.03001043,0.02126168,0.06836727,0.02366155,-0.0574933,0.01053405,0.03463858,0.01455085,-0.04565869,0.0822596,0.05610439,0.04210525,0.02267197,-0.03856955,0.01060041,-0.04166872,-0.04259352,-0.04627929,0.0100663,0.00096266,-0.02731655,-0.00453669,0.02139648,-0.00713335,-0.04401581,-0.0517772,-0.03309673,-0.05019906,0.03845216,-0.04825843,-0.0330453,-0.02118188,-0.01369678,0.02000068,-0.05438413,0.1205501,0.05585998,-0.04165121,-0.00617241,0.06077278,0.00421386,0.01469825,-0.01977351,-0.0205685,0.0467096,-0.04368563,0.01496525,0.02898339,0.00125312,-0.00099775,0.01845611,0.03567774,0.01172075,-0.02580231,0.07620723,0.0023798,0.02561608,-0.10439672,-0.19391264,-0.01508247,0.02418385,-0.00884866,-0.02425502,-0.04315797,0.01450615,-0.03607548,0.09738877,0.03091489,0.07972268,0.08526564,-0.02788518,-0.00737378,-0.01014313,-0.01479276,0.0328532,0.00830142,-0.04814976,0.03808312,-0.04380655,0.01839601,-0.06149047,-0.02966991,0.04064637,-0.03586653,0.14369494,0.04650424,-0.01657792,0.01050318,0.05211596,0.02925305,-0.03101001,-0.03933702,0.03435436,0.03135873,-0.02104187,0.01225182,0.038859,-0.02919652,-0.00221019,0.02426269,0.00503618,-0.05427592,-0.00575405,-0.01249405,-0.03039436,-0.02074872,-0.01345254,0.01277049,0.03183091,-0.02982764,0.03201698,0.0028568,0.01589496,-0.03098912,0.00174671,-0.02037155,-0.00558315,0.01867981,-0.00543671,0.01506961,-0.02664359,0.00220566,0.04598586,0.04251949,0.03897291,0.00244287,0.03849385,0.02930222,0.01366136,0.14549908,-0.01903051,-0.00898248,0.08529431,0.0522683,0.01298373,-0.02893032,-0.00326115,-0.01939092,0.02776128,-0.00411279,0.06043186,0.00190571,0.01827977,0.01118749,0.1177725,-0.03662222,-0.0048081,-0.00485877,-0.0516409,-0.04585116,0.0183385,-0.03984953,0.00808417,-0.02827355,-0.3230871,0.00047538,-0.01444745,-0.02472982,-0.01840504,-0.03000869,0.01491197,-0.06629781,-0.12244014,-0.01117039,-0.12468256,0.07236513,0.04124058,-0.05461713,0.05493928,0.05988633,0.01189486,0.03199425,0.07257663,-0.07462378,-0.01479198,0.03383255,0.23903169,-0.01295565,0.05147152,0.01454008,-0.05581343,0.05519817,0.11302532,0.03957715,-0.04849128,0.01372756,0.10879516,0.0308605,-0.00106083,0.01110636,-0.04635197,0.03978248,0.01767349,0.00256478,0.00508429,0.02071803,0.0115886,-0.00752812,0.085596,0.02496144,-0.05861161,-0.03335695,-0.05007047,0.02321052,-0.01144655,-0.03900059,-0.01097996,-0.01216402,-0.0186562,0.09763213,-0.00160404,0.01119163,-0.03278997,-0.01707327,0.05260724,-0.04392068,0.05270609,0.03074013,0.01090031],"last_embed":{"hash":"bm3v7i","tokens":471}}},"last_read":{"hash":"bm3v7i","at":1759879082345},"class_name":"SmartSource","last_import":{"mtime":1759284754516,"size":4132,"at":1759879044527,"hash":"bm3v7i"},"blocks":{"#---frontmatter---":[1,3],"#mimium":[4,155],"#mimium#{1}":[6,12],"#mimium#値":[13,37],"#mimium#値#{1}":[15,37],"#mimium#型":[38,48],"#mimium#型#{1}":[40,48],"#mimium#コンパイル":[49,155],"#mimium#コンパイル#{1}":[51,155]},"outlinks":[{"title":"W計算","target":"The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms","line":34}],"metadata":{"date":"2024-10-20 12:02","tags":["#mimium"]},"task_lines":[],"last_embed":{"hash":"bm3v7i","at":1759879081998}},"smart_blocks:mimiumのMIRコンパイル過程を真面目に考える.md#mimium": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.07996722,-0.03562727,0.05455638,-0.07757495,-0.00802235,0.03811305,-0.04557952,0.03305931,0.1023504,-0.00769117,0.00069307,-0.11052646,0.04179317,0.01238077,0.04200676,-0.03448744,-0.00449735,0.03207893,-0.04708411,-0.00549541,0.11068502,-0.04036293,-0.03997727,-0.02941001,0.07927892,0.05763588,0.00788468,-0.03499285,-0.00752683,-0.21542381,-0.05860956,-0.04173368,0.05966604,0.0069907,0.01177479,-0.03112879,-0.03083615,0.01906691,-0.06431019,-0.00873925,-0.00654138,0.05684312,0.03175529,-0.06186927,-0.02934654,-0.07682517,-0.02161798,-0.01598082,-0.06027719,-0.00918162,-0.07078121,0.00212423,0.03228069,0.01619557,-0.02079264,0.0522234,0.06367745,0.08338928,-0.00547505,-0.00741237,0.04042274,-0.01712654,-0.16747968,0.05467704,0.03780116,0.02491958,0.01379428,-0.08237054,0.01797342,0.04207724,-0.03110706,0.01281655,0.03481914,0.01888113,0.02395189,0.01828082,-0.00081908,-0.04400942,-0.02388097,0.04378039,-0.02380102,0.01810742,-0.03895917,-0.0208383,0.03477319,0.02450354,0.05225908,-0.04402981,0.03661241,0.03907808,-0.06284128,-0.03568115,0.01545933,0.0110834,-0.03515273,-0.01429641,0.00114388,0.01711242,0.0072396,0.06870726,0.01386205,0.04978434,0.00114975,-0.05996043,0.05119409,-0.04600554,-0.03739884,-0.06438306,-0.05506232,-0.02550947,-0.03790652,-0.00137374,0.05825751,-0.0324303,-0.02430931,-0.00927772,0.02999451,-0.02019008,0.00784133,-0.003764,-0.00374825,0.06681408,0.0315974,-0.02174726,0.03953958,-0.032769,0.01901051,0.0344345,0.00572181,0.03293485,0.02123858,-0.0040342,-0.01285,0.01140826,0.00089198,0.01362931,0.00638431,-0.00346905,0.05680821,0.02323503,-0.0302819,-0.085866,-0.03235715,-0.10476343,-0.04233117,0.08076754,-0.0610206,0.01897687,-0.00065727,0.01279433,0.01470049,0.04572665,-0.0287282,-0.02445273,0.02905707,0.0206666,0.06775461,0.09255066,-0.04918402,-0.05868233,-0.03183151,-0.07186458,-0.10333577,0.13052171,-0.01664465,-0.02313622,0.01185356,0.06420385,0.0151616,-0.05493175,0.02311926,0.03992257,0.00636953,-0.03919728,0.06901031,0.05304931,0.03876744,0.01273371,-0.03308454,0.01412505,-0.039151,-0.05322817,-0.04791484,0.0061288,0.00723619,-0.01236322,-0.0161613,0.02591913,-0.00792095,-0.04244087,-0.03872747,-0.02460556,-0.05475756,0.02508543,-0.0625621,-0.03278532,-0.0100896,-0.02279985,0.01767246,-0.0539252,0.12530358,0.06797843,-0.04297125,-0.00169053,0.05873106,0.01293121,0.00895373,-0.02088801,-0.02617184,0.05039042,-0.03652352,0.01478102,0.02872939,-0.00145653,-0.01148461,0.02364824,0.04379064,0.00271786,-0.02063923,0.08368557,0.00877773,0.01579181,-0.1023862,-0.1975705,-0.02588948,0.0145029,-0.00371652,-0.01004326,-0.04014184,0.02061233,-0.03617069,0.08788278,0.01636362,0.07938901,0.07515515,-0.02774131,-0.00250629,-0.0094254,-0.01345767,0.02699924,0.0173571,-0.03830283,0.04099732,-0.05662437,0.01240322,-0.05180797,-0.0250492,0.05492527,-0.03972885,0.15553193,0.04102828,-0.01276065,0.01739691,0.0328762,0.03528628,-0.02702739,-0.02700476,0.04578545,0.04686607,-0.02335333,0.01958995,0.04319778,-0.02336749,0.00255937,0.02122024,-0.00221681,-0.06104914,0.0035195,-0.00902882,-0.04546068,-0.02362887,-0.02025848,0.01774724,0.0294336,-0.04457958,0.02885365,-0.00332657,0.01153104,-0.03295358,0.00144136,-0.02660497,-0.01401162,0.01862057,-0.01067424,0.01802866,-0.01505317,0.0088695,0.05546719,0.05087247,0.03592126,0.01022909,0.04665289,0.0124872,0.01474393,0.1456416,-0.01642034,-0.00768933,0.07768972,0.05112365,0.01847895,-0.02425285,-0.0011304,-0.01574014,0.01404363,-0.00621687,0.05089173,-0.01178353,0.01028371,0.01285119,0.11346807,-0.03628484,-0.00261626,-0.01043184,-0.04799036,-0.03373171,0.01836024,-0.02548308,-0.00531847,-0.03204228,-0.32249412,-0.00642975,-0.02333797,-0.02255701,-0.02395064,-0.0286706,0.02430752,-0.07260644,-0.12309548,-0.0122183,-0.12100372,0.07465235,0.04482754,-0.05861748,0.05357324,0.05354169,0.01318165,0.03119367,0.0802849,-0.07943413,-0.01226512,0.03682336,0.24134201,-0.01371243,0.05539831,0.02127829,-0.05892458,0.05005749,0.10461999,0.04452981,-0.05222533,0.00268947,0.11483348,0.02757147,0.01050083,0.01340859,-0.04710426,0.03751499,0.03141673,-0.00113416,0.00163509,0.01922828,0.0096614,-0.00933569,0.07700519,0.02035345,-0.04611487,-0.02998171,-0.05390562,0.02998467,-0.01329721,-0.02967929,-0.01035512,-0.01183761,-0.00902185,0.092128,-0.02067516,0.01148031,-0.02863839,-0.02730102,0.05188299,-0.0424993,0.05724705,0.0347944,0.00543149],"last_embed":{"hash":"xymca4","tokens":487}}},"text":null,"length":0,"last_read":{"hash":"xymca4","at":1759879082076},"key":"mimiumのMIRコンパイル過程を真面目に考える.md#mimium","lines":[4,155],"size":3281,"outlinks":[{"title":"W計算","target":"The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms","line":31}],"class_name":"SmartBlock","last_embed":{"hash":"xymca4","at":1759879082076}},
"smart_blocks:mimiumのMIRコンパイル過程を真面目に考える.md#mimium#値": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.06105796,-0.03714756,0.03340311,-0.0720749,-0.00614119,0.02692346,-0.08208261,0.04071877,0.10475029,-0.0150318,0.02083868,-0.12123995,0.02184432,-0.00059442,0.0498633,-0.03038867,-0.01882471,0.04380027,-0.04818531,-0.01981106,0.10727147,-0.04277813,-0.0530489,-0.03475132,0.07248658,0.0490258,0.00891592,-0.04055999,0.00552834,-0.23315315,-0.04649957,-0.03111571,0.06927756,0.00984313,-0.01045239,-0.02805277,-0.03011594,0.01226654,-0.07111073,0.00441397,-0.00367353,0.05236982,0.00967791,-0.04587903,-0.00754539,-0.07110592,-0.0228672,-0.01372518,-0.05638118,-0.01516371,-0.07103289,-0.01208528,0.0187981,0.01411594,-0.02136259,0.07286477,0.06722963,0.09159311,0.00699715,0.01486603,0.04687707,-0.0060293,-0.17518954,0.07246827,0.0196437,0.01650864,0.00949938,-0.10118359,0.02099431,0.06667523,-0.04566277,0.00419678,0.04033664,0.01514691,0.02261152,0.0256131,0.00180066,-0.0682191,-0.03368953,0.04835696,-0.01223354,0.01286264,-0.02982188,-0.00547473,0.03117235,0.03119041,0.03461619,-0.05518058,0.03448327,0.02466053,-0.06509862,-0.03831215,-0.00076204,0.00483607,-0.02831279,-0.02742903,0.00395583,0.0060523,0.02206204,0.07712834,0.02200109,0.03907443,0.0243239,-0.0548069,0.05578175,-0.03558118,-0.04832175,-0.06481237,-0.03700941,-0.03616871,-0.04620081,-0.00049652,0.04348471,-0.06998116,-0.02050384,-0.02730024,0.03444185,-0.01439902,0.02911822,-0.02465483,0.02528134,0.06949516,0.03556371,-0.01748592,0.04352628,-0.0209974,0.00482796,0.04402312,-0.00397824,0.04486831,0.02459515,0.02195276,0.01473962,0.00126195,-0.01058142,0.03482549,-0.00371249,-0.00516323,0.05232968,0.02423032,-0.0471496,-0.07364334,-0.02722176,-0.0845999,-0.02067195,0.08350344,-0.04578988,0.01358984,-0.0008267,0.00183339,0.03088003,0.03797019,-0.02204315,-0.02182366,0.02148926,0.00581669,0.05304753,0.09639285,-0.05412105,-0.04540068,-0.05019611,-0.07371637,-0.10453058,0.14933501,-0.02839724,-0.01769102,0.04424039,0.05434059,-0.01480128,-0.04897328,0.03614125,0.03798748,0.01275739,-0.03739343,0.07927658,0.07331519,0.01005332,0.0124309,-0.0166707,0.02725932,-0.03561081,-0.07534812,-0.04449894,0.01756027,0.01860313,0.00877244,-0.01949185,0.01239736,0.02516538,-0.04410397,-0.01791255,-0.01319458,-0.04492874,0.008865,-0.06573836,-0.03734614,-0.00265901,-0.03885171,0.01445205,-0.05938103,0.12182157,0.04542336,-0.03321466,0.00650703,0.0321542,-0.00429892,-0.01032139,-0.02824093,0.00040302,0.06310575,-0.03602524,-0.02438283,0.03455313,-0.02184136,-0.02244777,0.03373979,0.04269349,0.03246933,-0.02962123,0.09213378,-0.003713,0.00181123,-0.12298332,-0.1933676,-0.03598983,0.00257787,0.00457411,-0.00247298,-0.04339183,0.0152697,-0.0321298,0.0536794,-0.00793647,0.07250711,0.06902981,-0.01273745,0.00693704,-0.02155467,0.03578428,0.02316974,0.02215166,-0.01158814,0.03039297,-0.06344091,0.0270321,-0.05662779,-0.02162368,0.0409401,-0.02419045,0.14786214,0.05111288,-0.01322957,0.00357498,0.04026853,0.01740012,-0.02732884,0.005938,0.02580701,0.06104349,0.00969853,0.01115676,0.03650978,-0.01699321,-0.02306396,0.00280096,0.01598032,-0.06189957,-0.00701389,0.00618783,-0.08595504,-0.02191491,-0.03454937,0.02177975,0.02734635,-0.05770461,0.03633642,-0.00964262,0.00905147,-0.02821073,0.01201142,-0.0301454,-0.02307614,0.00992004,-0.03379385,0.01597668,-0.00765472,0.02158033,0.05242487,0.04197622,0.03629465,-0.00358109,0.06217958,0.01255926,0.03197805,0.12849043,-0.02183927,-0.0005706,0.09119455,0.02383946,0.02557549,-0.01426077,-0.00923409,-0.02479419,0.01233434,-0.01483311,0.06868369,-0.02042232,0.03007607,0.02602496,0.10932031,-0.03040626,-0.02279427,0.01173896,-0.06630553,-0.00387521,0.04275983,-0.00351421,-0.01535405,-0.02406812,-0.29863694,-0.01262921,-0.0359045,-0.00279943,-0.02875082,-0.00935985,0.01999454,-0.09153911,-0.10671028,-0.04256611,-0.09922315,0.07044417,0.04101903,-0.04950971,0.05242335,0.06744058,0.00694811,-0.00160546,0.05642656,-0.08290333,-0.01174019,0.02386628,0.22730993,-0.02647889,0.03334406,0.01516468,-0.0628881,0.02224427,0.1018886,0.03621236,-0.0553811,0.03531141,0.10257966,0.02312566,0.0150305,-0.00512185,-0.04679405,0.05699796,0.05201955,-0.01204212,0.02496023,0.00059378,0.02510621,-0.00716272,0.07183722,0.03477552,-0.02466271,-0.01270031,-0.03476423,0.03631062,-0.00449674,-0.03463083,-0.03089933,0.00386088,-0.01629792,0.08520129,-0.03958298,0.01478283,-0.03302145,-0.01489228,0.06185399,-0.02972007,0.05913451,0.0365334,0.01079903],"last_embed":{"hash":"x8dkqv","tokens":360}}},"text":null,"length":0,"last_read":{"hash":"x8dkqv","at":1759879082161},"key":"mimiumのMIRコンパイル過程を真面目に考える.md#mimium#値","lines":[13,37],"size":733,"outlinks":[{"title":"W計算","target":"The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms","line":22}],"class_name":"SmartBlock","last_embed":{"hash":"x8dkqv","at":1759879082161}},
"smart_blocks:mimiumのMIRコンパイル過程を真面目に考える.md#mimium#値#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.06336959,-0.03768023,0.0361361,-0.07115005,-0.008991,0.03226419,-0.08331228,0.03996748,0.10998835,-0.01724093,0.0224785,-0.11614174,0.01450172,-0.0012372,0.04827522,-0.03355219,-0.02379987,0.04438947,-0.04651586,-0.01836472,0.10561065,-0.04151134,-0.05366177,-0.03609151,0.07024024,0.05440268,0.00749235,-0.03950791,0.01054185,-0.23112181,-0.04512737,-0.03012102,0.07296395,0.01035794,-0.01679259,-0.02695096,-0.02732866,0.01675006,-0.07019816,0.00227039,-0.00087138,0.04990384,0.00944973,-0.04544567,-0.00804862,-0.0754476,-0.02046449,-0.0090526,-0.05498678,-0.0124813,-0.06718374,-0.01717185,0.01727363,0.01508418,-0.01834084,0.07371849,0.06643593,0.09122644,0.00385096,0.01174133,0.04498967,-0.0083851,-0.18017784,0.07672762,0.01677989,0.02003105,0.01589865,-0.09678555,0.02183088,0.06949843,-0.04745689,0.00695311,0.0401761,0.01043243,0.01670741,0.02360259,0.00278103,-0.06531699,-0.03551046,0.04546385,-0.00779917,0.01460646,-0.02845982,0.00047007,0.02481026,0.02965608,0.03759443,-0.0537731,0.03366006,0.02506155,-0.05980618,-0.04574063,-0.00760553,0.00479231,-0.02864756,-0.0292602,0.0034835,0.00787689,0.02058408,0.07390212,0.02090824,0.04072164,0.02392852,-0.05635674,0.05530014,-0.0352741,-0.05048444,-0.06759945,-0.03781539,-0.04064275,-0.04757174,0.00642113,0.03865856,-0.07160524,-0.01827014,-0.02464806,0.03134459,-0.01729067,0.03178206,-0.02561708,0.02941908,0.07170033,0.03205212,-0.01644148,0.03859921,-0.02070231,0.00520588,0.04337541,0.00077634,0.0430564,0.02652991,0.02578269,0.01483135,0.00073676,-0.01186836,0.03617155,-0.0050427,-0.00073079,0.0518787,0.02524651,-0.0464512,-0.07351793,-0.03140736,-0.0849928,-0.01850872,0.08082649,-0.05276251,0.01408029,-0.00741149,-0.00269067,0.03168599,0.033904,-0.02118148,-0.02105585,0.02057333,0.00406894,0.05130116,0.09375732,-0.05294292,-0.04914209,-0.05408923,-0.072273,-0.10863301,0.14640467,-0.0215299,-0.02022611,0.04662963,0.05229361,-0.01372135,-0.04633337,0.03937117,0.04219613,0.0156797,-0.03665984,0.08193957,0.07170742,0.01283822,0.00926025,-0.01061378,0.02975281,-0.03388321,-0.08007876,-0.04973282,0.01605761,0.02017436,0.00959575,-0.02225699,0.01242107,0.0171633,-0.04272065,-0.01418917,-0.01430833,-0.04308858,0.00721318,-0.06640549,-0.0337885,-0.00650678,-0.04251871,0.01908082,-0.06095219,0.12256885,0.04216798,-0.03368098,0.00497062,0.03165284,-0.0027354,-0.00851659,-0.0246854,-0.00133454,0.05883542,-0.03188209,-0.02542734,0.03277193,-0.02291065,-0.02837543,0.03357664,0.04362938,0.03324198,-0.0311473,0.09529449,-0.00490149,0.00428227,-0.11592447,-0.19371191,-0.03397091,-0.00175009,0.01009122,-0.00272595,-0.04385025,0.01090751,-0.03038259,0.05427836,-0.00852714,0.07491804,0.07144912,-0.00785681,0.00506188,-0.01894486,0.03846706,0.0280082,0.02592796,-0.00760667,0.02710424,-0.06424052,0.02433467,-0.06088726,-0.01920033,0.04484428,-0.02120302,0.14938959,0.05104662,-0.01207741,0.00052891,0.03761658,0.01826463,-0.03189315,0.00698422,0.02796115,0.06560071,0.01343434,0.01212428,0.03413058,-0.01658869,-0.02336058,0.00391788,0.02075817,-0.06008771,-0.01248036,0.0075341,-0.09221682,-0.02211315,-0.03561408,0.02285125,0.02867616,-0.06077573,0.03798951,-0.00445267,0.01333415,-0.0293226,0.00993508,-0.03041971,-0.02351515,0.00498023,-0.03534207,0.0142688,-0.00637147,0.02381169,0.04710627,0.04324862,0.0374298,-0.00677142,0.06230818,0.01333778,0.02462672,0.12427925,-0.02163623,0.00289576,0.08441679,0.01750173,0.02590056,-0.01555592,-0.0098754,-0.0236169,0.01489455,-0.02089346,0.06866866,-0.02669553,0.03124923,0.02774624,0.10513734,-0.02781436,-0.01985301,0.01383913,-0.06413446,-0.00180469,0.0410388,-0.00185397,-0.0130745,-0.02574229,-0.29978031,-0.01123523,-0.03774319,-0.00296823,-0.03259391,-0.00543868,0.02354505,-0.0901199,-0.10622039,-0.04594659,-0.1047344,0.06806561,0.037308,-0.0499801,0.04991078,0.05947995,0.00941257,-0.00024748,0.0596821,-0.08159817,-0.0095026,0.02548072,0.22681142,-0.02563263,0.03864652,0.01340178,-0.06521629,0.01494158,0.10298037,0.03574827,-0.05693037,0.03426335,0.10146917,0.02139412,0.02004608,0.00300828,-0.04195824,0.05583307,0.0549987,-0.0099992,0.02630893,0.00469293,0.02865659,-0.00706404,0.07334547,0.03923837,-0.01918407,-0.01096783,-0.03087596,0.03441226,-0.0069694,-0.02806463,-0.03150567,0.0062447,-0.01655989,0.07880874,-0.04179931,0.01270621,-0.03093174,-0.01409487,0.06171373,-0.03202089,0.05993316,0.03787775,0.0075252],"last_embed":{"hash":"1198wej","tokens":359}}},"text":null,"length":0,"last_read":{"hash":"1198wej","at":1759879082195},"key":"mimiumのMIRコンパイル過程を真面目に考える.md#mimium#値#{1}","lines":[15,37],"size":727,"outlinks":[{"title":"W計算","target":"The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms","line":20}],"class_name":"SmartBlock","last_embed":{"hash":"1198wej","at":1759879082195}},
"smart_blocks:mimiumのMIRコンパイル過程を真面目に考える.md#mimium#型": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.02201389,-0.03025358,0.05146538,-0.03776386,-0.02278668,0.03039238,-0.01738371,0.04250207,0.08106714,-0.03422504,0.02044639,-0.13154796,0.00500315,0.03219092,0.06090256,-0.00152501,-0.06229639,0.07983463,-0.07873769,-0.01786027,0.1142758,-0.03591775,-0.02018518,-0.02950085,0.07403371,0.09784316,0.00419714,-0.01063099,0.04068254,-0.20078285,-0.03346976,0.02976914,0.07115284,-0.0195617,-0.00811043,0.02563054,-0.05132925,0.04415959,-0.0430316,0.02809467,0.00705443,0.02591305,0.0210345,-0.02569484,-0.00853355,-0.06398187,-0.01497949,-0.01753077,0.00774439,-0.02292409,-0.0913077,-0.0057828,-0.01349068,0.03766182,-0.02963595,0.07439842,0.06130549,0.02033148,-0.02258449,0.01849513,0.05439461,0.0179154,-0.16579108,0.06868264,0.02882148,-0.00463857,0.02505843,-0.07341293,-0.01366679,0.12541029,-0.0533278,-0.01121052,-0.01151684,0.00328778,0.01794752,0.01737916,-0.0393363,-0.06235153,-0.02274903,0.02104259,-0.02235299,0.03275826,-0.03654381,-0.02131016,0.05299788,-0.01146496,0.04409136,-0.06710371,0.01307828,-0.00901555,-0.04074445,-0.05639243,-0.02561137,0.03648799,-0.02257367,-0.00392894,-0.01029678,0.03213606,0.02009392,0.08653303,0.00549144,0.035026,0.01466888,-0.07970709,0.04314926,-0.00807946,-0.0339628,-0.03782784,0.01856674,-0.07397091,0.00145884,-0.02932796,0.01137228,-0.09162311,-0.00073975,-0.04818972,0.04419859,-0.03224358,0.02668964,-0.02106658,0.05051086,0.01892997,0.02143042,-0.02379869,0.03532822,-0.03975414,-0.01982558,0.02251347,0.01617099,0.04372925,0.03536934,0.03074458,0.00290814,-0.0212165,-0.01892861,0.02569614,-0.0008141,0.02786532,0.04896735,0.01384309,0.00560711,-0.13788845,-0.04139781,-0.07061569,0.01707094,0.04231198,-0.09201264,-0.01665566,0.03877021,0.04297668,0.0136094,0.06854548,-0.01377961,-0.01549432,0.03366183,0.00116897,0.03737709,0.07658892,-0.06051761,-0.05501175,-0.04978232,-0.1082216,-0.11106541,0.14399882,-0.00385144,-0.02416675,0.03120488,0.03497998,-0.02350175,-0.03516466,0.06836486,0.02495755,0.01190621,0.00271058,0.09495687,0.0870329,0.02337211,-0.0280183,-0.0171963,0.05334696,-0.0162147,-0.07855035,-0.05558329,0.03167023,0.00577696,0.03806479,-0.00879365,0.03951149,0.04923737,-0.03429804,0.02935092,0.07907455,-0.06945753,0.00281503,-0.09307134,-0.02452344,0.0116182,-0.05255931,-0.00797465,-0.07203019,0.11822127,0.03681698,-0.01065937,-0.01257319,0.04205101,0.01701459,0.06834504,0.0049291,0.00671681,0.05171682,-0.04676987,-0.03037895,0.01641586,0.01136598,-0.02160214,0.03225168,0.05680081,0.00466042,0.00240253,0.07167287,0.00680826,-0.04179962,-0.11973655,-0.19966793,0.00985119,0.01754802,-0.02881251,-0.00748482,0.00037456,0.01190982,-0.03565269,0.05994786,-0.01576727,0.04888961,0.00809252,-0.01675421,0.00516434,-0.06321181,0.06038368,0.00774127,-0.01338494,0.03386423,0.01604519,-0.02755998,-0.00692457,-0.03018566,-0.00225026,0.07008395,0.01810814,0.12954929,0.10106903,-0.05363829,0.0004944,0.02940503,-0.01619222,-0.07488284,0.04478145,0.0718843,0.05201239,-0.02438012,-0.00165289,-0.01161558,-0.01383811,0.01092497,0.00815423,-0.0063688,-0.04406278,-0.00388644,0.00313331,-0.10755444,-0.03095445,-0.03001064,0.01693988,-0.01938489,-0.05803538,0.04149695,-0.00840667,0.00914037,-0.01891022,0.02158382,-0.05450187,-0.02563591,0.02893431,-0.01199341,0.03931644,0.02062968,0.0213187,-0.0505888,0.05988409,0.00277089,-0.00586108,0.04357965,0.0158477,0.01146929,0.07190018,-0.00959436,0.00109025,0.07191984,0.00509866,0.03104826,0.00356083,0.03043402,0.00748499,-0.01387886,-0.03064743,0.03862137,-0.04364559,0.00959373,0.02825317,0.05090174,-0.03219341,0.03642323,-0.04750745,-0.0603681,-0.00594771,0.02734908,0.02085089,-0.02708739,-0.01792267,-0.29038805,0.03086929,-0.05474031,0.03350629,-0.01913088,0.0135191,-0.0100292,-0.06318865,-0.13530765,-0.04027058,-0.02836183,0.06832814,0.05329194,-0.09417605,0.01014425,-0.00415125,0.01325183,0.01961252,0.08207501,-0.08541628,0.00392049,-0.00294658,0.21628354,-0.0124032,0.0368326,-0.02381771,-0.08027118,0.01361934,0.07803702,0.03044728,-0.02253045,0.02652463,0.10792294,0.01706372,0.06055707,0.00776968,-0.03145605,0.04059771,0.07092307,-0.02634452,-0.04740931,0.00518748,-0.0146506,0.0187562,0.07401058,0.01097303,-0.02132065,0.01507094,-0.01150616,0.00930574,0.00834811,-0.03792302,-0.03469755,0.03472621,0.00292955,0.02615119,-0.06711828,-0.00180332,-0.02565141,-0.0070143,0.02804662,0.00680351,0.05455313,0.02008952,0.00538248],"last_embed":{"hash":"mh3zwq","tokens":114}}},"text":null,"length":0,"last_read":{"hash":"mh3zwq","at":1759879082247},"key":"mimiumのMIRコンパイル過程を真面目に考える.md#mimium#型","lines":[38,48],"size":202,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"mh3zwq","at":1759879082247}},
"smart_blocks:mimiumのMIRコンパイル過程を真面目に考える.md#mimium#コンパイル": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05110583,-0.04685432,0.0368918,-0.05159968,-0.01502146,0.01533957,-0.02868358,0.0730953,0.07184771,0.01436486,-0.00628552,-0.1196771,0.07946797,0.01350065,0.02870383,0.01530661,-0.08620336,0.07965745,-0.04687221,-0.04938227,0.09066394,-0.0695448,-0.04292163,-0.04989009,0.05203778,0.07177666,-0.05913095,-0.01871619,0.01559605,-0.20995277,0.01803674,-0.03314047,0.03379735,-0.01232311,0.00649264,-0.02284008,-0.02920855,0.04459578,-0.07398102,0.03483136,0.00298498,0.0387979,-0.01675216,-0.06361004,-0.03371398,-0.0303377,0.02406282,-0.05381005,-0.00288071,0.00841643,-0.05215947,0.0221916,-0.01103394,-0.02393084,-0.02402652,0.02507394,0.06006688,0.05592075,0.0208307,0.00589213,0.03198228,-0.00078961,-0.13048784,0.0451602,0.06631248,-0.02283911,0.00748015,-0.05509863,0.04979334,0.01568402,-0.00386475,0.00825465,0.01691184,0.06367814,0.04350092,-0.00035547,-0.02785811,-0.03349121,-0.02617459,0.02013071,-0.05167051,0.00534516,0.01466991,0.02019796,0.03869515,0.04061064,0.02743212,-0.01484082,0.04834164,0.02229609,-0.02110547,-0.03886031,0.005915,0.08966945,-0.02286795,-0.01034097,-0.01516701,-0.03975327,-0.04094051,0.11091294,0.0048952,0.02472807,-0.00664029,-0.06350454,0.04893958,-0.00171401,-0.08251492,-0.02578307,-0.00632784,-0.05149209,0.0088001,0.01189356,0.01908793,-0.06618033,0.01313946,-0.0132045,-0.00479468,-0.05399945,-0.02291715,-0.00726245,0.00574971,0.0089384,0.03679693,-0.01354868,0.05652389,-0.02231345,0.00646841,0.06834391,0.03370563,0.04508909,0.0668073,0.00493561,-0.04910096,-0.03801361,0.02090458,-0.02087334,-0.02491484,0.01539312,0.03669231,-0.03630573,-0.00923567,-0.04109381,-0.0204548,-0.07796671,-0.04210115,0.0798893,-0.08008562,0.01412294,0.02492367,-0.01051433,-0.01725915,0.02753288,-0.05968385,-0.02938169,-0.00631192,0.01207874,0.01657983,0.08553249,-0.04668555,-0.06346898,-0.05777688,-0.01388584,-0.09170163,0.14025366,-0.00227087,-0.08122648,-0.02648095,0.04650235,0.00768657,-0.08313227,-0.00267461,0.01506426,-0.01361063,-0.00764087,0.09137549,0.04948338,-0.01645639,0.00946429,-0.02276658,0.02819167,-0.01838803,-0.03791562,-0.06650585,-0.00462011,0.01187785,-0.00439266,-0.00105464,-0.01246042,0.0033375,0.02852009,-0.07730732,0.05390285,-0.05738365,0.05273853,-0.08282914,-0.00517484,-0.01378501,0.03827656,-0.01195348,0.0034023,0.1346066,0.09882991,-0.03314876,0.0071756,0.00501948,-0.02010598,-0.00246121,-0.01698834,-0.02438789,0.03628585,-0.04043795,0.02729766,0.00539434,0.04711091,0.01728936,-0.0100098,-0.00689089,0.03266411,0.04760775,0.0071072,0.02998112,-0.02711625,-0.09084447,-0.20623738,0.08301017,0.0104,-0.05062003,-0.04656025,-0.02122559,0.03902423,-0.00728191,0.04415984,-0.07010771,0.07456581,0.0468227,-0.05783889,-0.0345502,0.00665169,0.00144592,0.0744573,-0.04586792,-0.03613677,0.07622924,0.01221565,0.04084791,-0.03129291,0.0191649,0.08388009,-0.02110309,0.13913989,-0.02335165,0.01946335,0.00290091,0.03314537,0.01241475,-0.03761349,-0.08316734,0.02191153,0.01114746,-0.00450554,0.03348039,-0.01887979,0.03087318,-0.00046109,0.03096403,-0.01930872,-0.11903401,0.0575566,0.00006776,-0.02003278,0.00203828,0.01523043,0.02681074,-0.0023099,0.02119394,0.06972895,0.03127995,0.01158697,-0.01546072,-0.01634724,-0.08444681,0.01624638,0.07530382,0.04256451,-0.01723987,-0.00447816,-0.0710149,0.01404182,0.0343492,0.00116559,0.03770459,0.04843159,-0.03298303,-0.01428896,0.11882777,-0.00135731,-0.00253238,0.00020465,0.09965955,-0.04649743,0.02989771,0.02737253,0.01213262,-0.04287361,0.02676361,-0.00941947,0.03658646,0.01061245,0.04327586,0.06750892,-0.00199058,0.00802668,-0.00120446,-0.04313416,-0.06268421,0.00612635,-0.01344342,-0.00347163,-0.03341386,-0.32222092,0.01686165,-0.02746736,-0.03731527,0.02668406,0.00061717,-0.00548957,-0.08689824,-0.06829268,-0.01481481,-0.04791517,0.03643292,0.04194145,-0.04575127,0.02230652,0.05988654,0.04447904,0.02859021,0.09735339,-0.07875448,0.00953993,0.05235079,0.23989199,0.01096125,0.0023387,-0.01554401,-0.01188443,0.0666329,0.10356095,0.03636563,0.02792743,0.02544163,0.1149905,0.00500658,0.03236783,-0.01713954,-0.03402033,-0.02741307,0.04138559,0.00099833,-0.03007195,0.02840933,-0.02319905,0.03761099,0.09753089,-0.02682591,-0.01539981,-0.06020179,-0.01577915,0.00970715,-0.04370674,-0.01923759,-0.01089031,-0.01052406,-0.01803638,-0.0041435,-0.01907794,0.01080084,-0.08945619,0.00906762,0.0140182,0.00185009,-0.00000275,0.05129907,0.04966478],"last_embed":{"hash":"1gkqjp0","tokens":483}}},"text":null,"length":0,"last_read":{"hash":"1gkqjp0","at":1759879082262},"key":"mimiumのMIRコンパイル過程を真面目に考える.md#mimium#コンパイル","lines":[49,155],"size":2206,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"1gkqjp0","at":1759879082262}},
"smart_blocks:mimiumのMIRコンパイル過程を真面目に考える.md#mimium#コンパイル#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05423613,-0.04598796,0.03415913,-0.0524492,-0.01901968,0.0188477,-0.02458697,0.07828336,0.07134222,0.01717016,-0.00516126,-0.11576901,0.08057049,0.0126405,0.02806503,0.01612593,-0.08953522,0.07874481,-0.04596652,-0.04822918,0.0909454,-0.07170266,-0.04317561,-0.04709176,0.05001114,0.06808899,-0.06074833,-0.02183483,0.01610587,-0.20638284,0.01677116,-0.03269966,0.03487596,-0.01576603,0.00378992,-0.02342972,-0.03380715,0.04432562,-0.07254378,0.03759021,0.00098634,0.0375615,-0.01741841,-0.06272628,-0.03474323,-0.0353093,0.02389874,-0.05040616,-0.00005794,0.00900178,-0.0520602,0.02397489,-0.01395495,-0.0260521,-0.02455846,0.02321915,0.05969051,0.05616714,0.02066056,0.00544926,0.03416682,-0.0016417,-0.13242301,0.04500933,0.06526396,-0.02087717,0.00958848,-0.05699855,0.04946915,0.00974478,-0.00143949,0.01022573,0.02023637,0.05983501,0.04316312,-0.00025622,-0.02603113,-0.03225562,-0.02795184,0.01725497,-0.04733916,0.00781656,0.01815481,0.02502315,0.0391492,0.04083185,0.03122838,-0.01448325,0.05130121,0.02398214,-0.01480969,-0.03717393,0.0021649,0.09325155,-0.0230575,-0.00941823,-0.01617092,-0.04172038,-0.03950979,0.10906812,0.00622987,0.02191316,-0.00764176,-0.06501515,0.04908207,-0.00026233,-0.08332917,-0.02597542,-0.01254113,-0.05254531,0.00533023,0.01474537,0.01850767,-0.06630738,0.01133293,-0.00656627,-0.00578472,-0.0558894,-0.02246643,-0.00996955,0.00239087,0.00633929,0.03617591,-0.00910771,0.05875399,-0.02176811,0.00667767,0.07150622,0.03576015,0.04655134,0.0650738,0.00201072,-0.04827789,-0.0378659,0.0212118,-0.021336,-0.02471548,0.01832983,0.03404727,-0.03253173,-0.01101567,-0.0409982,-0.02577261,-0.07525419,-0.04026498,0.07945807,-0.08129372,0.01409374,0.02364316,-0.01469749,-0.01911222,0.02741568,-0.06378668,-0.02868216,-0.01153869,0.0129452,0.0129572,0.08300671,-0.05094665,-0.06567208,-0.05937899,-0.01050372,-0.09356442,0.13847384,-0.00293859,-0.08084595,-0.02611096,0.04569324,0.00540205,-0.08238829,-0.00464753,0.01324512,-0.01417171,-0.0116901,0.09468921,0.0489277,-0.01697253,0.01150524,-0.02306165,0.02384793,-0.01831363,-0.0362054,-0.07084627,-0.00368455,0.013177,-0.0044892,-0.00346458,-0.01441278,0.00001851,0.03430033,-0.07852229,0.04926367,-0.05716215,0.05435197,-0.07818585,-0.00298567,-0.01635754,0.03927754,-0.00785491,0.0070344,0.13404669,0.09660833,-0.03413849,0.00764809,0.00330193,-0.0216865,-0.0038046,-0.01570302,-0.02504361,0.03674635,-0.03710203,0.03072149,0.0040317,0.04427185,0.01692886,-0.01018848,-0.00672892,0.03610331,0.04668281,0.00534949,0.02835312,-0.02897447,-0.08536651,-0.20746782,0.08392249,0.01026199,-0.04978011,-0.04379522,-0.02132733,0.03639807,-0.00344728,0.0453743,-0.06694817,0.0724188,0.04598355,-0.05857741,-0.03720617,0.00977755,-0.00252689,0.07870195,-0.044946,-0.03439327,0.07395827,0.01315589,0.04036118,-0.03320943,0.01835513,0.08867436,-0.02350825,0.13914253,-0.02891696,0.0239906,0.00259475,0.03410211,0.01110451,-0.03810923,-0.07952853,0.02477917,0.00824677,-0.00421585,0.03711538,-0.01854216,0.03017153,0.0024877,0.03289077,-0.01847585,-0.12311965,0.05664547,0.00240463,-0.01730876,0.00311993,0.01964266,0.02958403,-0.0030436,0.01942139,0.06871089,0.03405597,0.01432647,-0.01643782,-0.01428896,-0.07861517,0.01597704,0.07117595,0.04294597,-0.01731305,-0.00463246,-0.06792665,0.0163356,0.03504955,0.00124714,0.03799009,0.05027022,-0.03068311,-0.01573685,0.11584399,-0.00096006,-0.0007965,-0.00046156,0.09888635,-0.04817324,0.0267894,0.03048251,0.01402054,-0.04196902,0.02867958,-0.01000357,0.03698721,0.01304377,0.04192899,0.06539624,-0.00059136,0.00724255,-0.00164453,-0.04392568,-0.0627929,0.00759017,-0.01532091,-0.00186385,-0.0338854,-0.32117358,0.01738676,-0.02987901,-0.03911565,0.02965836,-0.00036781,-0.00712876,-0.08845295,-0.07030502,-0.01363441,-0.04717606,0.03397529,0.03949966,-0.04909342,0.02430984,0.05854343,0.04715809,0.02663989,0.10077533,-0.07468803,0.01113089,0.05434718,0.23814462,0.01175053,0.00365405,-0.01740013,-0.01206405,0.06771471,0.10665742,0.03652274,0.02663676,0.02238429,0.11650421,0.00215928,0.03116711,-0.01433498,-0.03209618,-0.02981981,0.04122132,0.00306226,-0.027914,0.02990733,-0.02643356,0.03701118,0.09855598,-0.02326805,-0.0149027,-0.06504011,-0.01396035,0.00637246,-0.04431834,-0.01774268,-0.00708366,-0.01306978,-0.01477894,-0.00692519,-0.01939171,0.00835253,-0.09040735,0.00673053,0.00931544,0.00370347,-0.00086467,0.05228946,0.04543241],"last_embed":{"hash":"1irj60r","tokens":483}}},"text":null,"length":0,"last_read":{"hash":"1irj60r","at":1759879082345},"key":"mimiumのMIRコンパイル過程を真面目に考える.md#mimium#コンパイル#{1}","lines":[51,155],"size":2196,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"1irj60r","at":1759879082345}},