Files
quartz-research-note/content/.smart-env/multi/Koka_md.ajson
松浦 知也 Matsuura Tomoya 4e6ab9e916
All checks were successful
Build / build (push) Successful in 10m52s
[obsidian] vault backup: 2025-10-08 08:27:15
2025-10-08 08:27:15 +09:00

4 lines
15 KiB
Plaintext

"smart_sources:Koka.md": {"path":"Koka.md","embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.09936713,-0.05567939,-0.04324486,0.00966937,-0.03028857,0.02609768,-0.005019,0.02280075,0.0448778,0.05553002,-0.04024982,-0.03848315,0.00716208,0.04628562,0.02130923,-0.01677343,0.02618507,0.00557725,-0.11329408,-0.04020705,0.14629681,-0.03709353,-0.03371987,-0.04886766,0.03465344,0.07792889,-0.00470191,-0.05389484,0.0005875,-0.14860028,-0.06989326,-0.02202154,0.06476054,-0.00149251,-0.01782744,0.03415214,-0.02519849,-0.02448099,-0.10941067,0.03908662,-0.04426802,0.00539382,0.05223779,-0.01579775,0.03204715,-0.07275164,-0.06561904,-0.00168908,-0.03175782,-0.02398861,-0.05077449,-0.03210106,0.01301735,0.02121497,0.04331192,0.0175168,0.06297622,0.08538267,0.02747214,0.01397992,0.03715875,0.02447507,-0.16968533,0.08466434,0.02770427,0.03829871,-0.01750643,-0.03804347,0.0712845,0.00724279,-0.04360456,-0.00264098,-0.00191633,0.03331868,-0.00102882,-0.06308602,0.00213994,-0.0066251,0.01129522,-0.02389099,-0.05709166,0.00172025,-0.01439989,-0.0098608,-0.06073058,0.028938,-0.00620641,-0.00582914,0.05010914,0.0110354,-0.04043251,-0.04540516,0.08211146,0.04507639,-0.03555366,-0.00452626,0.00828587,0.04457252,-0.00796505,0.13934341,-0.08441412,-0.00602251,0.04307527,-0.03845749,0.04209811,-0.04391469,-0.0249885,-0.04052114,0.00910049,-0.04100147,-0.01541127,-0.02456864,0.00217128,-0.03989553,-0.01285886,0.00702927,0.10130324,0.0174771,0.02708592,0.03762713,0.07294735,-0.01792119,-0.00747084,-0.00393138,-0.01036793,-0.05587355,0.01001621,0.04844143,0.02732814,0.08169835,0.05105989,0.01578905,-0.09596015,-0.06135529,0.00731582,0.02651376,-0.01078905,0.00298349,-0.02547638,-0.0111774,-0.02022683,-0.13127461,-0.04041671,-0.06227995,-0.06925628,0.06784221,-0.0494288,0.01559278,0.00272732,0.03107516,-0.00500831,0.01862698,-0.00433,-0.06936125,0.02574003,-0.00791781,0.06303753,0.02963516,-0.05151917,-0.03935713,-0.01347552,-0.0603339,0.00064131,0.05378995,-0.00874954,0.01663702,0.01113754,0.06953958,0.04142563,-0.06309588,0.0329629,0.00328857,-0.04693805,0.02072997,0.03285817,-0.01765732,-0.02618159,0.01513646,-0.01517115,-0.0072989,0.00595607,0.00479014,-0.00897883,0.02587748,0.00716792,-0.10564411,0.03765212,-0.01341953,0.04577595,-0.00267205,-0.00103461,0.01125902,0.0595218,-0.06011794,-0.02714275,0.01178407,0.00759367,-0.00512376,0.02976824,-0.06451271,0.09752212,0.07321049,-0.02817288,0.02948626,-0.0595492,0.00419792,0.02313156,-0.0071821,0.0210152,0.05202021,-0.11714561,-0.02377274,0.01712081,0.05709919,-0.0007986,-0.02127337,-0.00489356,0.04593344,0.02925644,0.04980014,-0.02001956,-0.03884502,-0.05765118,-0.21523741,0.06902783,0.03990713,-0.03982075,-0.01849128,-0.03918388,0.01134109,-0.04544628,0.03062923,0.06898829,0.10340299,0.00154916,-0.01841662,-0.01402936,-0.01141117,-0.01719953,0.02051749,-0.01005032,-0.00646817,0.00066575,0.0488738,0.01151079,0.0010777,-0.0510151,0.06353547,-0.01584599,0.0997132,0.03461948,0.09356793,-0.01579159,0.11581206,0.00088968,-0.02852551,-0.0895451,0.04486291,0.02983187,-0.04886073,-0.02209726,0.01281449,-0.0171747,0.02045998,-0.00292055,-0.02912085,-0.04793178,-0.00544356,-0.06328997,-0.02484014,-0.1271929,-0.0294007,0.06510443,0.00193319,0.02964194,0.05095225,0.09965821,-0.01032841,0.0247432,-0.00557932,-0.01303521,0.00750005,0.02886656,0.08509161,-0.00381746,-0.03878787,-0.01655438,0.05217918,-0.00793015,0.03362586,0.03824075,0.02907092,0.04528673,-0.07262337,0.15884717,-0.02933029,0.00190403,0.05761262,0.05341412,0.01774069,-0.00972805,0.03618355,0.0379925,0.06002146,0.01443629,0.04082367,0.0144398,0.05621282,0.01776677,0.01235985,-0.03458797,0.01436524,-0.01747018,-0.06998546,-0.00890736,0.00115538,-0.01952466,0.02171778,0.03957349,-0.26489851,0.04199819,0.00013063,0.01032107,-0.01441975,0.03630354,-0.00871578,-0.10587775,-0.09191654,-0.0204448,-0.04344106,0.04667489,0.04761001,-0.03404802,0.03403603,0.02135387,0.07284182,-0.00987902,0.09201791,0.0165219,0.04340756,0.01583934,0.21345918,-0.02303217,-0.00456958,-0.03291862,0.02145417,0.01722398,0.08981642,0.06693834,-0.02797089,0.03788197,0.12241966,0.04018519,-0.00685266,0.01766095,-0.02742469,0.03400308,0.00799127,-0.01008483,-0.04526876,0.03370313,-0.02565065,-0.04270157,0.05804257,-0.0119302,-0.08736542,-0.11078189,-0.0209695,-0.08023447,-0.02609054,-0.00031443,-0.02523771,-0.02416065,-0.00432318,0.03914623,-0.02071899,0.0020528,-0.06817663,-0.01564314,0.03670101,-0.05126828,-0.00083627,0.0566028,0.01835417],"last_embed":{"hash":"f0zymu","tokens":334}}},"last_read":{"hash":"f0zymu","at":1759879063964},"class_name":"SmartSource","last_import":{"mtime":1756084436764,"size":917,"at":1759879044494,"hash":"f0zymu"},"blocks":{"#programming-language":[1,20],"#programming-language#{1}":[3,20]},"outlinks":[{"title":"The Koka Programming Language","target":"https://koka-lang.github.io/koka/doc/index.html","line":3},{"title":"MicroSoft","target":"MicroSoft","line":5},{"title":"代数的エフェクト","target":"代数的エフェクト","line":7},{"title":"Haskell","target":"Haskell","line":12}],"metadata":{"tags":["#programming-language"]},"task_lines":[],"last_embed":{"hash":"f0zymu","at":1759879063866}},"smart_blocks:Koka.md#programming-language": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.09674506,-0.05615571,-0.04425782,0.00936119,-0.03032558,0.02379622,0.00101259,0.0233581,0.04118916,0.05934051,-0.0401669,-0.04160685,0.00738241,0.04606045,0.01783453,-0.0162897,0.02589129,0.00832757,-0.11321891,-0.04132468,0.14418893,-0.03430128,-0.03209519,-0.04675168,0.03307867,0.07636267,-0.00339239,-0.0512103,-0.0029242,-0.14356983,-0.06717397,-0.02140116,0.06470628,-0.00168004,-0.01473812,0.03486737,-0.02699745,-0.02509728,-0.11078821,0.03816638,-0.043189,0.00558471,0.05703658,-0.01444,0.03109071,-0.07672616,-0.06111521,-0.00230719,-0.03078286,-0.02687564,-0.04920602,-0.03227472,0.01308054,0.02320969,0.04607192,0.01863164,0.06292645,0.08490609,0.02736238,0.01579927,0.03525176,0.02363059,-0.16915715,0.08096315,0.02572993,0.04234158,-0.01648452,-0.04048133,0.0735197,0.00549567,-0.04524904,-0.00142877,-0.00304583,0.03083067,0.00094309,-0.06200437,-0.00088479,-0.00587506,0.00945172,-0.0233277,-0.05763597,0.00216701,-0.01578015,-0.010436,-0.05774808,0.02786331,-0.00689475,-0.0087464,0.05334221,0.01191504,-0.0445833,-0.04228871,0.07965844,0.0486377,-0.0375294,-0.00383106,0.00845102,0.04313498,-0.00519922,0.14141178,-0.08266113,-0.00653008,0.0397204,-0.03860009,0.04356911,-0.04384639,-0.02899011,-0.03771107,0.01117038,-0.04207738,-0.01572792,-0.0194989,0.00156323,-0.03879688,-0.01029317,0.00486919,0.09633063,0.01975978,0.0258863,0.04361293,0.07321691,-0.019168,-0.00991093,-0.00299832,-0.00959563,-0.05463202,0.01125993,0.04557268,0.03173726,0.08213606,0.05390532,0.01783811,-0.09878504,-0.06298124,0.00533347,0.02445104,-0.00985359,0.00149542,-0.03179023,-0.01269468,-0.02222752,-0.13341704,-0.04055069,-0.06094869,-0.069356,0.06585273,-0.048741,0.01904812,0.00499739,0.0338384,-0.00867688,0.01779102,-0.00314481,-0.06965317,0.02821132,-0.01155516,0.05779497,0.03047455,-0.05139181,-0.03916127,-0.00994739,-0.06716346,0.00670479,0.05018642,-0.00712256,0.01742355,0.01416816,0.06722315,0.04627435,-0.06230839,0.03446509,0.00643061,-0.04537898,0.01997404,0.02891377,-0.01659217,-0.02352965,0.0127242,-0.01346507,-0.00992023,0.00114251,0.00452644,-0.00346226,0.022792,0.00569493,-0.10413691,0.04012511,-0.01237733,0.04728689,0.00045404,-0.00086929,0.00955909,0.05885033,-0.06390738,-0.02879426,0.01429044,0.00664086,-0.00510492,0.03020022,-0.06593932,0.1023896,0.07469732,-0.02945399,0.02853106,-0.05769136,0.00299059,0.02352825,-0.00713273,0.01645613,0.05314614,-0.11491108,-0.02378033,0.01935112,0.05315203,-0.00154207,-0.01418813,-0.0069593,0.04628916,0.03137612,0.05182093,-0.01987749,-0.0391006,-0.05616609,-0.21599814,0.07257659,0.04212434,-0.03985285,-0.02156175,-0.03568275,0.01168176,-0.04822589,0.03446171,0.06465652,0.10640021,-0.00083874,-0.0168932,-0.01058821,-0.01284235,-0.01427749,0.01996993,-0.01031322,-0.0051158,0.00038798,0.04481256,0.01322595,0.00126432,-0.05249672,0.06709816,-0.00998326,0.0987404,0.03503473,0.09419297,-0.01957954,0.11865092,0.00134952,-0.02998012,-0.08757065,0.04743373,0.02789883,-0.04674442,-0.02294436,0.01252884,-0.01450182,0.01725119,-0.00390168,-0.02570641,-0.0466347,-0.00188353,-0.06235361,-0.02492081,-0.12562537,-0.03204106,0.06355637,0.00303067,0.02906676,0.05403309,0.09968264,-0.00785349,0.02586412,-0.00393893,-0.01237915,0.00299261,0.02972899,0.08511017,-0.00607594,-0.04105604,-0.01199913,0.04680417,-0.0118462,0.03465131,0.04134355,0.03063585,0.04184622,-0.07245573,0.15699612,-0.02494515,0.00371811,0.05476768,0.04704493,0.01823786,-0.01226119,0.03676271,0.04181692,0.05681624,0.01482818,0.03874009,0.0156288,0.0588242,0.01884515,0.01249762,-0.03389908,0.01376466,-0.01392295,-0.06818855,-0.00552961,0.00029195,-0.01785822,0.02237786,0.04163649,-0.26872936,0.0400801,-0.00327734,0.01028959,-0.01407923,0.0353063,-0.01062461,-0.10405645,-0.09197497,-0.02119871,-0.0462067,0.04821543,0.04890075,-0.03489851,0.03328307,0.02189378,0.07098722,-0.01310847,0.08831146,0.01387434,0.04678092,0.01359307,0.21098806,-0.02108169,-0.00626556,-0.0375016,0.02090765,0.01680888,0.09314293,0.06178535,-0.02524352,0.03762825,0.12552018,0.04065578,-0.00362574,0.01640993,-0.02899997,0.03293777,0.00193032,-0.01347043,-0.04861522,0.03406135,-0.02784259,-0.04336287,0.05712311,-0.01368388,-0.09085018,-0.11196426,-0.0243181,-0.07978696,-0.0215921,-0.00205396,-0.02785328,-0.02192293,-0.00215324,0.03888481,-0.02501091,0.00429967,-0.07033075,-0.01825269,0.03776245,-0.05302989,0.00010202,0.05555531,0.01677874],"last_embed":{"hash":"f0zymu","tokens":333}}},"text":null,"length":0,"last_read":{"hash":"f0zymu","at":1759879063915},"key":"Koka.md#programming-language","lines":[1,20],"size":471,"outlinks":[{"title":"The Koka Programming Language","target":"https://koka-lang.github.io/koka/doc/index.html","line":3},{"title":"MicroSoft","target":"MicroSoft","line":5},{"title":"代数的エフェクト","target":"代数的エフェクト","line":7},{"title":"Haskell","target":"Haskell","line":12}],"class_name":"SmartBlock","last_embed":{"hash":"f0zymu","at":1759879063915}},
"smart_blocks:Koka.md#programming-language#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.09811383,-0.05448462,-0.04748532,0.0092436,-0.02917888,0.02328512,-0.00119349,0.02164001,0.03469608,0.05192187,-0.04550659,-0.03164735,0.01354192,0.04348877,0.01611309,-0.01425628,0.02559552,0.00837554,-0.11246215,-0.03751401,0.15041271,-0.03135483,-0.03768473,-0.05284627,0.03189057,0.08347715,-0.00618266,-0.04948604,0.00389321,-0.13903028,-0.06416542,-0.01828026,0.06466446,-0.00813913,-0.01611797,0.03014104,-0.02479234,-0.02395402,-0.11477046,0.0395605,-0.04939022,0.00375672,0.05879154,-0.01668747,0.02436114,-0.08103035,-0.06346452,-0.00399533,-0.03490476,-0.02816401,-0.04563098,-0.03324424,0.01556593,0.02048537,0.04192614,0.01617056,0.0545635,0.08978409,0.02158854,0.01592248,0.02604622,0.01522449,-0.16882984,0.08388992,0.02309377,0.04846981,-0.01629772,-0.04578756,0.07867464,0.00638197,-0.04725208,0.00030559,-0.00390216,0.0277485,0.00395391,-0.0685262,0.00575997,-0.0063825,0.01436638,-0.01935399,-0.05379568,-0.00948114,-0.01640057,-0.00843047,-0.05737558,0.02778137,-0.00607107,-0.00515259,0.0539351,0.01078882,-0.04662518,-0.04241601,0.07538114,0.04663693,-0.03076595,0.00193142,0.00968606,0.0470814,-0.01213932,0.14583078,-0.07982983,-0.0123897,0.0367717,-0.04093364,0.047744,-0.04146447,-0.02813417,-0.02976056,0.01110298,-0.04606045,-0.02808111,-0.01918624,-0.00052906,-0.03056583,-0.01387769,0.00627947,0.09382163,0.02011049,0.02365172,0.04965452,0.07359673,-0.02026524,-0.01179585,-0.00929179,-0.01072269,-0.05506025,0.0039423,0.04799658,0.02186544,0.07986232,0.06219129,0.01125075,-0.09803186,-0.05711838,0.00882232,0.02382153,-0.01215735,-0.00295208,-0.03638519,-0.01562819,-0.02579113,-0.12870996,-0.03660252,-0.05822294,-0.07058284,0.06085321,-0.05715554,0.01814589,0.00246341,0.02753427,-0.00925662,0.01467253,-0.00443068,-0.07371454,0.0219727,-0.00686227,0.06141922,0.02308059,-0.04795907,-0.04175781,-0.01347458,-0.05743143,0.00461397,0.05549359,-0.00819645,0.02440038,0.00599979,0.06660023,0.04650801,-0.05581382,0.03016604,0.00776481,-0.04190401,0.01864114,0.02679682,-0.01512641,-0.02878086,0.01179956,-0.00800825,-0.00714526,0.00723476,0.00643439,-0.00015565,0.02350813,0.00323123,-0.10639986,0.03689011,-0.00568422,0.04005141,-0.00091112,0.00087344,0.01497672,0.06198444,-0.06671328,-0.02574479,0.01099028,0.01260934,-0.00413864,0.02889503,-0.06465979,0.10038587,0.07885291,-0.02380743,0.03158783,-0.06089764,-0.00601643,0.02098872,-0.00632901,0.01224314,0.04897439,-0.11303538,-0.02571946,0.02394711,0.05356315,-0.00534169,-0.01604767,-0.00569417,0.04921268,0.02995464,0.05608291,-0.02829517,-0.03419759,-0.05371797,-0.21167737,0.06917071,0.04509898,-0.04338812,-0.0174823,-0.03952602,0.01269945,-0.04860162,0.02701043,0.06517594,0.10144052,-0.00129921,-0.01415907,-0.00876625,-0.01517738,-0.0112218,0.0274466,-0.00625485,-0.00638683,0.00008603,0.04912275,0.00664207,0.00037768,-0.05816152,0.06588503,-0.01326918,0.09628457,0.02872403,0.1003167,-0.01912897,0.11520699,-0.00235723,-0.02841506,-0.09114959,0.04977278,0.02834062,-0.04751917,-0.02282501,0.01989369,-0.01310509,0.01744591,-0.00688094,-0.02365644,-0.04212124,0.0003471,-0.05868693,-0.02663664,-0.13343585,-0.03135945,0.0635242,0.00356367,0.02480797,0.04881546,0.10089968,-0.01098417,0.02444094,-0.00937457,-0.01138993,0.00642462,0.02913286,0.08566374,-0.01093885,-0.0429421,-0.01112525,0.05229037,-0.00741297,0.037793,0.0406925,0.03044097,0.04783633,-0.07302361,0.15651113,-0.02940851,0.0017243,0.05151883,0.0535086,0.01345043,-0.01356104,0.03886614,0.03926704,0.05680293,0.01462289,0.04059419,0.01411931,0.06516276,0.01364918,0.01649969,-0.03379307,0.01167416,-0.01032339,-0.06341546,-0.00238949,-0.00046682,-0.0179852,0.02242508,0.04632184,-0.26701468,0.04113356,-0.00373864,0.00692771,-0.01263834,0.0331057,-0.00807457,-0.09869187,-0.08918048,-0.02531975,-0.03942604,0.03847444,0.0496766,-0.03341462,0.03765403,0.02111801,0.0808872,-0.00554564,0.09023199,0.01754281,0.0466864,0.0179864,0.20873827,-0.02627631,0.00129988,-0.03524432,0.02439274,0.01571522,0.09425251,0.06289311,-0.0226128,0.0405746,0.13246901,0.03926921,-0.01191623,0.0233749,-0.02605253,0.02966224,0.00309823,-0.00883288,-0.04821657,0.03278569,-0.02821172,-0.04942642,0.05524048,-0.00362958,-0.08691113,-0.11037391,-0.02165918,-0.07730193,-0.02530086,0.00201462,-0.02574531,-0.02230473,-0.0036939,0.03661682,-0.02617136,0.00570943,-0.06920625,-0.01858918,0.03951583,-0.05557282,0.00206285,0.06367046,0.0181832],"last_embed":{"hash":"6ptp2q","tokens":333}}},"text":null,"length":0,"last_read":{"hash":"6ptp2q","at":1759879063964},"key":"Koka.md#programming-language#{1}","lines":[3,20],"size":447,"outlinks":[{"title":"The Koka Programming Language","target":"https://koka-lang.github.io/koka/doc/index.html","line":1},{"title":"MicroSoft","target":"MicroSoft","line":3},{"title":"代数的エフェクト","target":"代数的エフェクト","line":5},{"title":"Haskell","target":"Haskell","line":10}],"class_name":"SmartBlock","last_embed":{"hash":"6ptp2q","at":1759879063964}},