All checks were successful
Build / build (push) Successful in 10m52s
5 lines
17 KiB
Plaintext
5 lines
17 KiB
Plaintext
|
||
"smart_sources:単位変換のための型システム.md": {"path":"単位変換のための型システム.md","last_embed":{"hash":null},"embeddings":{},"last_read":{"hash":"1ek02tm","at":1759879044546},"class_name":"SmartSource","last_import":{"mtime":1735099210956,"size":899,"at":1759879044583,"hash":"1ek02tm"},"blocks":{"#programming-language #type-system":[1,16],"#programming-language #type-system#{1}":[3,16]},"outlinks":[{"title":"mimium","target":"mimium","line":3},{"title":"部分型","target":"部分型","line":5},{"title":"Types for units of measure | varkor’s blog","target":"https://varkor.github.io/blog/2018/07/30/types-for-units-of-measure.html","line":10},{"title":"Unit Conversion and Dimensional Analysis Library: UNITS","target":"https://nholthaus.github.io/units/","line":12},{"title":"Unit Conversion the Easy Way (Dimensional Analysis) - YouTube","target":"https://www.youtube.com/watch?v=HRe1mire4Gc","line":16}],"metadata":{"tags":["#programming-language","#type-system"]},"task_lines":[]},
|
||
"smart_sources:単位変換のための型システム.md": {"path":"単位変換のための型システム.md","embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.06130988,-0.05510933,0.00174959,0.02106415,-0.01513659,-0.00238203,0.00013099,0.05307802,0.02966127,0.01796299,-0.00101341,-0.09273902,0.06421306,0.00345516,0.05042601,-0.0299378,-0.01066848,0.05427212,-0.0570768,-0.01910839,0.14609744,-0.05370436,-0.08317386,-0.03483,0.07410052,0.05713473,0.00959161,-0.05665408,0.01442964,-0.21591979,-0.0152444,0.03318696,0.03777761,-0.01757172,0.02397629,-0.0136524,-0.01367288,-0.0096946,-0.02765436,0.04089526,-0.02636318,0.04055702,0.0160822,-0.07156336,-0.00643494,-0.05196817,-0.02718813,-0.01989836,-0.00910673,-0.00761551,-0.03768093,-0.01467186,0.03502772,0.03000984,0.04417419,0.03026804,0.05565947,0.00987223,0.07799583,-0.01569899,0.02109572,-0.00336051,-0.19423166,0.00517596,0.00928136,0.02845227,-0.01526579,-0.04878974,0.00990645,0.05947998,-0.08502189,0.00826314,-0.01578036,0.00778436,-0.0281015,-0.01021397,-0.00856809,-0.04952791,0.00912525,-0.0063027,-0.00965482,-0.00868316,-0.00454873,0.00060176,-0.01208903,-0.0060225,0.00023658,0.00343709,0.07832837,0.01703614,-0.08453048,0.02220359,0.03461755,0.05264786,0.03787605,-0.02335301,0.05577883,0.00093381,0.01821057,0.09938094,-0.00565726,0.00340319,0.08544321,-0.04749089,0.04688267,-0.01397373,-0.06123303,-0.04019678,-0.01139378,0.00797813,-0.05482657,-0.00221447,-0.03866796,-0.05560124,-0.03815661,-0.0390409,0.05095663,0.01474385,0.04251014,-0.04793015,0.02517865,0.01910158,0.01591269,-0.05167033,0.03391482,-0.01777357,0.00054934,0.04849377,0.01029673,0.02851089,0.04967066,0.03640221,-0.1215198,0.02259175,0.02314857,0.00047396,0.05227649,-0.00314055,0.00884114,0.02102318,-0.00033003,-0.07009988,0.06153078,-0.06069259,-0.07392734,0.16086,-0.10100692,-0.01568954,0.02298894,0.03031568,-0.00875028,0.07961585,-0.08324143,-0.10074637,0.05892255,0.01077984,0.06605138,0.02437213,-0.07223555,0.00408584,-0.03592583,-0.00010927,-0.08708441,0.07643932,0.04959586,-0.05923386,-0.02905482,0.07720482,-0.02413364,-0.03440764,0.0262411,0.03027035,-0.0717534,0.00644046,0.08887168,-0.01687879,0.01190782,-0.01376963,-0.03568477,0.00445752,0.03030887,0.00533072,0.00170086,-0.03773305,0.03534406,-0.0337379,-0.02554069,-0.03282585,0.02605277,0.04736632,-0.01204983,0.03131279,-0.03122431,0.0005396,-0.01845569,-0.03994009,-0.02821449,-0.02055013,0.01815678,-0.02777399,0.1079351,0.03225127,-0.01175656,-0.01758199,0.04218955,0.03001225,0.009094,-0.04163895,0.02334007,0.11045118,-0.04018254,0.01107126,0.01793209,0.03653038,-0.00776337,0.02687214,0.03982827,0.02363738,0.00953403,0.06404231,-0.02810731,-0.04261649,-0.10452497,-0.19502786,-0.02202032,0.06888758,-0.03224627,-0.03942708,-0.08231199,0.03225061,-0.04897603,0.02250851,0.04873653,0.1117767,0.04197598,-0.028296,-0.06986786,-0.00094103,0.00007615,-0.0029845,0.00037941,-0.06764849,0.0072561,0.04902917,0.02190965,-0.020082,-0.040828,-0.01715236,-0.04117355,0.11357507,-0.01137853,0.05859243,-0.01187296,0.02242788,-0.00499918,-0.01371833,-0.0441747,0.04688355,0.02285908,-0.08396903,-0.03407911,-0.00148634,-0.07229029,-0.03986042,0.01198875,0.03034775,-0.04793349,-0.00890351,-0.04822142,0.02844964,-0.04455262,-0.03133235,0.03830406,-0.02972252,-0.03272492,0.04816224,0.01338289,0.00825591,0.00775004,-0.0520238,0.01721422,0.00865412,0.04062926,-0.00669276,0.0172072,-0.01624303,-0.031357,-0.03519737,-0.03472095,0.02718633,0.04354333,0.00691543,-0.00609521,0.00433028,0.13449554,-0.02321437,0.01323856,0.08866146,0.08283031,-0.05144667,-0.00742515,-0.00957455,0.00798967,-0.02563938,0.00683167,0.03725731,0.03803265,0.02099922,0.05926362,0.05534702,-0.00928311,0.02999951,-0.02007194,0.01146974,-0.02973342,-0.03070123,-0.03234131,0.02140209,0.02378075,-0.2884056,0.00869396,-0.01309044,0.03086111,0.00579997,-0.04086323,0.00838201,-0.08352911,-0.04487243,-0.03461686,-0.01823404,-0.02669531,0.04163707,-0.03517989,0.04548484,0.0353771,0.06974152,0.00019628,0.10268262,-0.02676018,0.00934568,0.00576365,0.24436517,-0.03512057,0.04160381,-0.01732746,-0.00518662,0.03327851,-0.00173675,0.04056681,-0.02631508,-0.00239429,0.17141028,0.00493016,0.01054417,0.03792127,-0.02884865,0.0241112,0.00423154,-0.00459694,-0.00284178,0.01239122,-0.04338653,0.00548846,0.14590541,0.03832923,-0.01554002,-0.0828861,0.00264829,0.01640046,-0.04842916,0.00609861,-0.01894391,0.0167933,0.04929822,0.06076882,-0.05714896,-0.00831883,-0.00560472,-0.03154015,0.02631256,-0.00822555,0.01631211,0.04107546,0.00625844],"last_embed":{"hash":"1ek02tm","tokens":296}}},"last_read":{"hash":"1ek02tm","at":1759879103077},"class_name":"SmartSource","last_import":{"mtime":1735099210956,"size":899,"at":1759879044583,"hash":"1ek02tm"},"blocks":{"#programming-language #type-system":[1,16],"#programming-language #type-system#{1}":[3,16]},"outlinks":[{"title":"mimium","target":"mimium","line":3},{"title":"部分型","target":"部分型","line":5},{"title":"Types for units of measure | varkor’s blog","target":"https://varkor.github.io/blog/2018/07/30/types-for-units-of-measure.html","line":10},{"title":"Unit Conversion and Dimensional Analysis Library: UNITS","target":"https://nholthaus.github.io/units/","line":12},{"title":"Unit Conversion the Easy Way (Dimensional Analysis) - YouTube","target":"https://www.youtube.com/watch?v=HRe1mire4Gc","line":16}],"metadata":{"tags":["#programming-language","#type-system"]},"task_lines":[],"last_embed":{"hash":"1ek02tm","at":1759879103001}},"smart_blocks:単位変換のための型システム.md#programming-language #type-system": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.06206526,-0.05729148,-0.00784454,0.01545392,-0.01768652,-0.00502124,-0.00495538,0.05281672,0.02451448,0.02065129,-0.01130546,-0.0837596,0.06102107,0.00315072,0.045682,-0.0308436,-0.01038643,0.05538435,-0.06078123,-0.02592904,0.15656427,-0.05848271,-0.08523619,-0.04974658,0.07210036,0.06490035,0.00341493,-0.06048392,0.0193448,-0.20551831,-0.01860183,0.03441646,0.04657744,-0.0242567,0.02771323,-0.00653251,-0.00819822,-0.01264866,-0.04524892,0.04847532,-0.03527978,0.03608897,0.01339397,-0.07411314,-0.00843768,-0.06156575,-0.02863274,-0.02332504,-0.01509674,-0.00418587,-0.04254609,-0.01653223,0.03288857,0.03170457,0.04340517,0.0258274,0.05477112,0.0136552,0.07157677,-0.01365153,0.01660489,-0.00748498,-0.18665962,0.01792918,0.00061464,0.03433546,-0.0150951,-0.05322159,0.02214261,0.06698951,-0.08221954,0.01484971,-0.02166391,0.006207,-0.02371142,-0.02211371,-0.00008952,-0.04305398,0.01399152,-0.00682521,-0.01304768,-0.02411819,-0.00253726,-0.00403752,-0.00969497,0.00092089,0.00087057,0.00656533,0.0798754,0.01292434,-0.0861574,0.01480797,0.03733475,0.05256884,0.03604989,-0.02004388,0.06103467,0.00531482,0.00823976,0.10523307,-0.00913464,-0.00560473,0.08424067,-0.04848339,0.05136518,-0.01990204,-0.05639744,-0.03611944,-0.01129337,-0.00063577,-0.06592874,-0.00517598,-0.03155049,-0.04876762,-0.03959675,-0.04067867,0.05949428,0.01587642,0.04429801,-0.04123707,0.03377171,0.01452159,0.01095908,-0.05788664,0.03105952,-0.02216203,-0.01148518,0.05610185,0.00943941,0.02452143,0.06849387,0.03463298,-0.1191416,0.02079109,0.02871316,0.00097425,0.04101738,-0.00728825,-0.00511652,0.01402486,-0.00203148,-0.06398348,0.06580115,-0.05816246,-0.07804355,0.15444654,-0.09989482,-0.02387327,0.0288865,0.02268677,-0.00434792,0.07604109,-0.08000544,-0.10128025,0.05812156,0.01515923,0.07070205,0.01453964,-0.06968981,-0.00405968,-0.03673017,0.00085759,-0.08642948,0.08088852,0.04662655,-0.04772096,-0.03609113,0.0777659,-0.02197883,-0.03348394,0.02291425,0.0240536,-0.0680811,0.00764133,0.08228988,-0.0066883,0.00462998,-0.01735072,-0.03087116,0.01408319,0.03399475,0.00596324,0.00874142,-0.0290875,0.03342039,-0.04280009,-0.02128882,-0.03105572,0.02937111,0.04437309,-0.01002795,0.03764093,-0.01762592,-0.00773814,-0.01189495,-0.04468679,-0.01486659,-0.0203486,0.01794549,-0.0297527,0.10531896,0.03900706,-0.0120423,-0.00761224,0.03808058,0.02268275,0.00668254,-0.04292203,0.02001096,0.11270445,-0.03437673,0.00644672,0.02251772,0.03693689,-0.01555567,0.02061194,0.03578845,0.02821897,0.0117228,0.06534947,-0.03649071,-0.03948436,-0.10051067,-0.19410297,-0.00893497,0.06970485,-0.03842917,-0.04060171,-0.08488621,0.03067838,-0.05187713,0.02109473,0.0524319,0.11403712,0.03365937,-0.02588313,-0.07044902,-0.00254178,0.00336634,0.00229429,-0.0011277,-0.05742414,0.00310158,0.05341346,0.01709703,-0.02149325,-0.05094282,-0.01561674,-0.04122655,0.10919765,-0.00844239,0.06777726,-0.01911093,0.02785051,-0.0051852,-0.0100177,-0.04740622,0.04943984,0.03248741,-0.08561353,-0.03048242,0.00627293,-0.05795696,-0.03576064,0.00894821,0.02820039,-0.04312369,-0.00261472,-0.04698941,0.02180607,-0.05850064,-0.02807521,0.03850613,-0.03108761,-0.03314073,0.04518929,0.02972104,0.00543692,0.01024908,-0.05349918,0.00860067,0.01787215,0.03749024,-0.00008301,0.00738393,-0.02599025,-0.02937311,-0.02342124,-0.03534295,0.0286297,0.03727565,0.00862668,-0.00027024,-0.00619597,0.13516861,-0.01766081,0.00383953,0.08736677,0.07825615,-0.05067447,0.00282547,-0.01011955,0.00169342,-0.02444385,0.01129517,0.03524481,0.03552055,0.02438485,0.05665612,0.06010469,-0.00681292,0.02551463,-0.01314116,0.01073173,-0.0247669,-0.02099288,-0.04237532,0.02532771,0.02527531,-0.28769982,0.007006,-0.01431194,0.02096041,0.00878702,-0.03546745,0.01105578,-0.08036289,-0.04664283,-0.04586858,-0.01378413,-0.024114,0.04470435,-0.03470543,0.05392168,0.03567031,0.07514559,0.00147631,0.10097846,-0.02194266,0.01016459,0.0147804,0.2398625,-0.04075361,0.04606318,-0.00831615,-0.00369181,0.03116986,0.00965307,0.05253435,-0.02738028,-0.00033601,0.1741029,0.00264982,-0.00031491,0.04337596,-0.02670896,0.0218861,0.00959296,-0.0026406,-0.00675107,0.01199732,-0.04453903,0.00016006,0.13743596,0.04404584,-0.01829206,-0.09211903,0.0035069,0.01507152,-0.05678866,0.01181005,-0.01509338,0.01241472,0.03656417,0.06444041,-0.05042437,-0.00418535,-0.00918635,-0.03420153,0.02938832,-0.01531926,0.01253002,0.04902989,0.00437669],"last_embed":{"hash":"1ek02tm","tokens":299}}},"text":null,"length":0,"last_read":{"hash":"1ek02tm","at":1759879103032},"key":"単位変換のための型システム.md#programming-language #type-system","lines":[1,16],"size":569,"outlinks":[{"title":"mimium","target":"mimium","line":3},{"title":"部分型","target":"部分型","line":5},{"title":"Types for units of measure | varkor’s blog","target":"https://varkor.github.io/blog/2018/07/30/types-for-units-of-measure.html","line":10},{"title":"Unit Conversion and Dimensional Analysis Library: UNITS","target":"https://nholthaus.github.io/units/","line":12},{"title":"Unit Conversion the Easy Way (Dimensional Analysis) - YouTube","target":"https://www.youtube.com/watch?v=HRe1mire4Gc","line":16}],"class_name":"SmartBlock","last_embed":{"hash":"1ek02tm","at":1759879103032}},
|
||
"smart_blocks:単位変換のための型システム.md#programming-language #type-system#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05909601,-0.04958855,0.00407008,0.00952331,-0.01300739,-0.00408769,0.00097675,0.04715293,0.02685822,0.01872199,-0.00639392,-0.08294536,0.0659359,0.00452763,0.0568158,-0.02695781,-0.01261373,0.05470742,-0.04754505,-0.01626859,0.14658055,-0.05458371,-0.09361646,-0.04030659,0.07519918,0.04497013,0.01164145,-0.05862224,0.0164192,-0.20988618,-0.01085795,0.03012624,0.03691331,-0.01721009,0.02203717,-0.02269712,-0.01200929,-0.01664256,-0.03979751,0.03798596,-0.02594681,0.03747244,0.02364778,-0.069401,-0.01038313,-0.05191397,-0.0266272,-0.01678561,-0.00495182,-0.0160644,-0.04595037,-0.00339436,0.03636355,0.03149941,0.03935538,0.03118229,0.05669741,0.01592698,0.07602613,-0.01187441,0.02038069,-0.01027262,-0.18911949,0.00949807,0.01030426,0.03667738,-0.01495746,-0.05316414,0.02216253,0.05293921,-0.0878216,0.01271352,-0.01811733,0.00642998,-0.02129753,-0.01335741,-0.01171519,-0.04618491,0.01404057,-0.00393377,-0.01485711,-0.01679064,-0.00072168,-0.00143442,-0.00468421,-0.0047313,0.00211354,0.00138228,0.08142892,0.01294655,-0.08810206,0.01997398,0.03572484,0.05385033,0.04259078,-0.01655499,0.05096025,-0.00285998,0.01864375,0.10117914,0.0011626,0.00086814,0.08056796,-0.04457104,0.04857159,-0.01854175,-0.06779831,-0.04135167,-0.0133729,0.00330829,-0.0554925,-0.00674522,-0.03529029,-0.04683487,-0.04665638,-0.05221464,0.04937736,0.01966303,0.0411221,-0.05095336,0.0242062,0.02272218,0.01318687,-0.05465547,0.03789833,-0.01387288,-0.00191872,0.04736513,0.0082514,0.02929694,0.0515535,0.03582653,-0.12131318,0.01346217,0.02554673,0.00141994,0.04696034,-0.00328001,0.00457625,0.01642888,-0.01066196,-0.07266427,0.06068705,-0.06250595,-0.08221988,0.1562344,-0.10808366,-0.01493501,0.02160881,0.02975529,-0.01290578,0.08336388,-0.08718891,-0.09466892,0.05594372,0.01039424,0.07090832,0.02680684,-0.07673617,-0.00226597,-0.03968965,0.00065344,-0.08861092,0.07993747,0.05210914,-0.05437833,-0.03003542,0.07600068,-0.02148645,-0.0310535,0.02130245,0.02690021,-0.0671206,0.00347009,0.08578877,-0.01841732,0.01067468,-0.01955486,-0.03346043,0.01124946,0.03158607,0.0063162,-0.00324537,-0.03066195,0.03836726,-0.02679778,-0.02001351,-0.03406114,0.02567092,0.04276121,-0.00288504,0.03388154,-0.02926686,-0.00437273,-0.01243252,-0.02999138,-0.01931744,-0.01890152,0.02005535,-0.02979174,0.11115886,0.03785618,-0.01093706,-0.01931011,0.04031957,0.02542503,-0.00661199,-0.04402462,0.02176211,0.09964533,-0.03856736,0.01037752,0.02386392,0.04551394,-0.01172742,0.03040446,0.04326282,0.0237571,0.01739543,0.06409931,-0.03231062,-0.03951243,-0.10990509,-0.1918662,-0.02362179,0.06462752,-0.03599878,-0.04896371,-0.08192137,0.02912087,-0.05927457,0.01926579,0.04417916,0.11622041,0.04910009,-0.02330895,-0.06455784,0.00152257,0.0086085,0.00106987,-0.00640272,-0.0644132,0.00726444,0.05340235,0.02310264,-0.02284586,-0.04650507,-0.01454599,-0.03773021,0.11873519,-0.01328174,0.06643816,-0.00840089,0.02825297,-0.00282663,-0.00937108,-0.03924666,0.04362119,0.02548245,-0.07676985,-0.03619634,0.00483097,-0.06269369,-0.04663597,0.0050537,0.02670479,-0.05363312,-0.00474113,-0.04799158,0.03151975,-0.04615946,-0.03782048,0.04571011,-0.03202752,-0.02818452,0.04597951,0.01752559,0.00490642,0.00789446,-0.05509809,0.01061145,0.00793741,0.04246273,-0.00545219,0.0102779,-0.01950859,-0.03089198,-0.03365489,-0.03282703,0.02062062,0.03871075,0.00891169,-0.01130539,0.00568997,0.13434337,-0.02586354,0.01786479,0.08618557,0.0837664,-0.05255691,0.00108001,-0.01269837,0.00490324,-0.03833039,0.00807218,0.03326114,0.0456802,0.01959104,0.05092197,0.05645062,-0.00957326,0.02396678,-0.02072702,0.01138508,-0.03498705,-0.02842599,-0.02603327,0.02409425,0.02474896,-0.29167569,0.01359097,-0.00970815,0.02538066,-0.00051313,-0.04489179,0.00528503,-0.08032577,-0.04692391,-0.03639756,-0.01870354,-0.02481162,0.04801648,-0.02665188,0.04690222,0.02857998,0.06679745,-0.00097598,0.10448658,-0.0422545,0.00910837,0.00651031,0.24018934,-0.02801782,0.04919026,-0.01639838,-0.00244604,0.03633875,-0.00071996,0.04324734,-0.01446833,0.00264856,0.1710225,0.00699871,0.00998935,0.03868739,-0.0263454,0.02418637,0.00699485,-0.00149249,-0.0082288,0.01124794,-0.04399563,0.00621352,0.14717759,0.04215457,-0.01746577,-0.07698451,0.00221358,0.02141966,-0.04605921,0.01370564,-0.02025232,0.01609989,0.05066069,0.05574772,-0.0594469,-0.00003762,-0.00726667,-0.02847285,0.03602627,-0.00766922,0.01303208,0.04265716,0.00883755],"last_embed":{"hash":"3i84hf","tokens":295}}},"text":null,"length":0,"last_read":{"hash":"3i84hf","at":1759879103077},"key":"単位変換のための型システム.md#programming-language #type-system#{1}","lines":[3,16],"size":533,"outlinks":[{"title":"mimium","target":"mimium","line":1},{"title":"部分型","target":"部分型","line":3},{"title":"Types for units of measure | varkor’s blog","target":"https://varkor.github.io/blog/2018/07/30/types-for-units-of-measure.html","line":8},{"title":"Unit Conversion and Dimensional Analysis Library: UNITS","target":"https://nholthaus.github.io/units/","line":10},{"title":"Unit Conversion the Easy Way (Dimensional Analysis) - YouTube","target":"https://www.youtube.com/watch?v=HRe1mire4Gc","line":14}],"class_name":"SmartBlock","last_embed":{"hash":"3i84hf","at":1759879103077}},
|