松浦 知也 Matsuura Tomoya
4e6ab9e916
All checks were successful
Build / build (push) Successful in 10m52s
5 lines
16 KiB
Plaintext
5 lines
16 KiB
Plaintext
|
|
"smart_sources:一意型.md": {"path":"一意型.md","last_embed":{"hash":null},"embeddings":{},"last_read":{"hash":"21922t","at":1759879044529},"class_name":"SmartSource","last_import":{"mtime":1736642683854,"size":510,"at":1759879044540,"hash":"21922t"},"blocks":{"#---frontmatter---":[1,3],"#type-system":[4,14],"#type-system#{1}":[6,14]},"outlinks":[{"title":"Clean","target":"Clean","line":8},{"title":"Idris","target":"Idris","line":8},{"title":"Rust","target":"Rust","line":8},{"title":"Uniqueness Types — Idris 1.3.3 documentation","target":"https://docs.idris-lang.org/en/latest/reference/uniqueness-types.html","line":10},{"title":"線形型","target":"線形型","line":12}],"metadata":{"date":"2025-01-12 09:13","tags":["#type-system"]},"task_lines":[]},
|
|
"smart_sources:一意型.md": {"path":"一意型.md","embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.08687522,-0.02205043,-0.03941027,-0.01785002,-0.02496165,-0.01764633,0.01101197,0.00605265,0.01995892,-0.00777088,0.0186479,-0.09854632,0.00996679,0.04961291,0.03201658,0.01844792,0.01214112,0.00436619,-0.04004743,0.02112098,0.14266293,-0.03420104,-0.08331423,-0.06120436,0.02803937,0.07766362,0.01763486,-0.04438539,0.00001786,-0.18713681,-0.02805754,-0.00849915,0.07051645,0.00943826,-0.00295583,-0.05391268,-0.05900608,0.05018977,-0.07374793,0.04501448,-0.05255227,-0.0235425,0.02109556,-0.03735287,-0.02489002,-0.051372,-0.04817933,0.01922068,-0.02458298,-0.06360758,-0.06049728,0.01541353,0.0491361,0.03705519,0.01227413,0.07409751,0.07412296,0.03390874,0.01362037,-0.00738644,0.00910346,-0.01823755,-0.20393661,0.05415337,0.03930128,0.04554622,-0.01981545,-0.06680686,0.02923205,-0.0227531,-0.05393551,0.00864177,-0.00445087,0.06179971,-0.00809045,0.00418145,0.03164808,-0.01791321,-0.01454263,-0.01572201,-0.03454066,-0.00217565,0.00188955,-0.03738051,-0.00653165,0.01381451,0.02278234,-0.05196967,0.05200395,0.01783439,-0.04200158,0.03346989,0.0938384,0.08757931,-0.00426376,0.00033849,-0.01404941,0.00826651,-0.00574302,0.11875157,-0.03162875,0.04166092,0.0167314,-0.00585416,0.01415474,0.02714206,-0.04155312,-0.09932256,-0.04042497,-0.03777166,-0.04460207,-0.01124376,0.0473032,-0.03435516,-0.00918405,-0.01385532,0.07257254,0.06161342,0.05490297,0.03852674,0.05589288,-0.01729699,0.0540619,0.01082963,0.00630675,0.00979955,0.02334685,0.04759332,0.02413122,0.08489327,0.00390551,0.03284378,-0.06779815,0.01021932,0.01120606,0.00992868,-0.05425645,-0.00577172,0.01343172,-0.05562139,-0.05723462,-0.08845944,0.01836494,-0.03229237,-0.07279804,0.10836974,-0.06285783,0.030752,0.03945037,-0.01688932,-0.10293856,0.03205736,-0.06753709,-0.04161869,-0.00018657,-0.01985374,0.05391493,0.01173363,-0.07841424,-0.03178047,0.02198143,-0.01187293,-0.06308348,0.13239038,0.05637906,-0.07449304,0.02547853,0.10721754,0.01616152,-0.04593049,-0.01105005,-0.02130327,0.02245406,-0.00211658,0.12399344,-0.00895586,0.00748862,-0.02040198,-0.04085223,0.01835952,0.01696127,-0.01413892,-0.00773625,0.07001927,0.00555338,-0.07466044,-0.01544303,-0.02909744,0.03150961,-0.03044588,-0.05789586,-0.0332633,-0.01702057,0.01467494,-0.03291346,-0.0152103,0.00923178,0.02381246,0.03899732,-0.0742296,0.10273761,0.08561394,0.01743363,-0.00428774,-0.01202578,-0.00855852,0.01056334,-0.0677831,-0.02124772,0.02448097,-0.05435817,0.06295134,0.02160246,0.06257445,0.04923034,0.01186329,0.00808177,0.00030415,0.03194385,0.0572058,0.00054834,-0.00733923,-0.10532702,-0.20733654,-0.01513562,0.01244965,-0.04519156,-0.00708213,-0.04238613,0.00684027,-0.03629856,0.04374636,0.04239054,0.07292438,0.06128613,0.02042679,0.03655236,-0.01344462,0.03955106,0.01796488,-0.02473831,-0.01306237,0.02592197,0.02298522,0.02179354,-0.00136103,-0.02637116,-0.00043986,-0.03500662,0.12745328,0.01790826,0.05032693,-0.02053168,0.01707513,0.04998168,0.0088266,-0.08188142,0.04510007,0.00123255,-0.03883645,-0.0518374,-0.00400738,-0.0681534,0.03188818,0.03177947,-0.03067628,-0.05050627,-0.03537967,-0.05709679,-0.0154254,0.00988496,-0.01207674,0.06851655,0.03621939,0.04371824,0.02617455,0.04222236,0.05896417,0.01639827,-0.0847545,-0.00958071,0.05762907,0.02361584,0.02576538,-0.03023958,-0.06561965,-0.04330403,0.01470949,-0.03859159,-0.01244307,-0.02088953,0.00510679,0.02058762,-0.00266681,0.14024244,-0.01278595,-0.04169959,0.00103328,0.06187123,-0.06754499,-0.00920261,0.01164135,-0.01384109,-0.00809677,0.02476132,0.04201483,0.03754222,0.05030242,0.02111303,0.00762415,-0.01547786,0.06080244,-0.00443455,-0.03836036,-0.05239848,-0.02029745,-0.01822297,0.08712475,-0.00154652,-0.32396355,0.06200138,0.03154714,-0.01604899,0.0109609,0.00269983,-0.01471434,-0.05479321,-0.05214222,0.03978541,-0.06048681,0.01687411,0.02502519,0.00224844,0.02174101,0.01345006,0.04641719,-0.05774569,0.00248521,-0.09224185,0.00210385,0.05976604,0.19117253,0.03680361,0.03061382,0.01648834,0.00274662,0.03166813,0.02424428,0.05452729,0.06431707,-0.01235281,0.06591116,-0.0083555,0.00656467,0.0254347,0.00406114,0.0381536,-0.02805535,-0.01148346,-0.10866501,0.01366205,-0.05851875,0.01111025,0.08294183,0.01405625,-0.05974075,-0.04196001,0.009403,-0.00155513,-0.05203395,0.02813913,-0.029629,0.02731199,0.0713992,-0.01229955,0.00489493,0.02479233,-0.04394632,0.02639666,0.04745761,0.01792021,-0.01014306,0.04471546,0.03451344],"last_embed":{"hash":"21922t","tokens":186}}},"last_read":{"hash":"21922t","at":1759879101504},"class_name":"SmartSource","last_import":{"mtime":1736642683854,"size":510,"at":1759879044540,"hash":"21922t"},"blocks":{"#---frontmatter---":[1,3],"#type-system":[4,14],"#type-system#{1}":[6,14]},"outlinks":[{"title":"Clean","target":"Clean","line":8},{"title":"Idris","target":"Idris","line":8},{"title":"Rust","target":"Rust","line":8},{"title":"Uniqueness Types — Idris 1.3.3 documentation","target":"https://docs.idris-lang.org/en/latest/reference/uniqueness-types.html","line":10},{"title":"線形型","target":"線形型","line":12}],"metadata":{"date":"2025-01-12 09:13","tags":["#type-system"]},"task_lines":[],"last_embed":{"hash":"21922t","at":1759879101461}},"smart_blocks:一意型.md#type-system": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.07912219,-0.02269193,-0.05237174,-0.01907327,-0.02773758,0.00272151,0.03400546,0.00151747,0.03117141,-0.02280351,-0.00130995,-0.09011999,0.01743207,0.03376903,0.0441807,0.0205429,0.03017516,0.04444707,-0.0542856,0.01952074,0.13298388,-0.03744957,-0.08948661,-0.05124144,0.01950037,0.07017284,0.02487077,-0.03955423,0.01294655,-0.18111415,-0.02419933,-0.00238511,0.06433904,0.01372474,-0.01466359,-0.04541646,-0.07559702,0.02916505,-0.07717022,0.04306384,-0.060027,-0.02593677,0.01941404,-0.02328389,-0.01655885,-0.06197517,-0.04020846,0.0150648,-0.01633773,-0.0776519,-0.06179128,0.03547504,0.05508184,0.04799773,-0.01034164,0.0841502,0.06827954,0.05172913,0.01518756,-0.02485857,0.0252945,-0.00817345,-0.17403316,0.04735374,0.05761306,0.06758292,-0.02653049,-0.06859483,0.04612933,-0.01044513,-0.06063765,0.01697908,0.00150555,0.0719704,-0.01904258,-0.00111387,0.02966869,-0.02615984,-0.01151035,-0.00598035,-0.03282794,-0.0234654,0.00375333,-0.02225852,-0.01156092,0.02014961,0.0075385,-0.06442048,0.06721675,-0.00394167,-0.0483892,0.04862233,0.09789156,0.08711664,0.02056938,-0.00715177,-0.02533068,-0.01136546,0.00317119,0.12980334,-0.00479318,0.00787683,0.0457946,-0.00579378,0.02247531,0.02779926,-0.0433247,-0.09553784,-0.04421018,-0.03803817,-0.04251765,-0.02605532,0.01648968,-0.01160188,-0.02312149,-0.03777702,0.05118942,0.05927597,0.05553298,0.01897724,0.02592569,0.00037091,0.03526907,-0.00063079,0.02133682,-0.00941069,0.01288511,0.04590677,0.02605968,0.09722621,-0.00947192,0.03602559,-0.06983051,0.01353842,0.00645091,0.01468747,-0.0378574,0.00758594,0.00963159,-0.03652329,-0.03174127,-0.07302005,0.01778544,-0.04616233,-0.06332882,0.10624734,-0.07393584,0.04221745,0.02519794,-0.0025344,-0.07063229,0.02759144,-0.08891426,-0.0363535,-0.01199827,-0.01837611,0.05254626,0.00616268,-0.07055894,-0.04646518,0.02753775,-0.01195121,-0.05474073,0.13026978,0.04249797,-0.06946055,0.01000875,0.08968922,-0.00186622,-0.03810397,-0.00439875,-0.02380646,-0.00693988,0.0043628,0.08678512,-0.02380984,-0.03044888,-0.02212006,-0.02818225,0.02406573,0.02693879,-0.00670273,-0.00970935,0.04742407,0.02315551,-0.06557547,-0.03447557,-0.03403016,0.02513533,-0.02322454,-0.05704421,-0.00407906,-0.01484436,-0.00706575,-0.04307748,0.00745461,0.02086061,-0.00380733,0.03935374,-0.07212806,0.11333353,0.10782823,0.01324423,0.00932337,-0.01721611,0.00010896,0.0003514,-0.06425041,-0.01964685,0.0275257,-0.07048677,0.05415967,0.01050734,0.07508498,0.03502192,-0.00130676,0.02019125,0.00479543,0.04949877,0.05930793,0.0047302,-0.02492489,-0.12118553,-0.20737962,-0.03133963,0.01658407,-0.04594706,-0.00907288,-0.05754609,0.00167736,-0.02841629,0.00863503,0.02755455,0.07829125,0.05342998,0.01500703,0.0502526,-0.0028442,0.03735495,0.00715781,-0.01711649,-0.01538715,0.03237471,0.0379933,0.04879437,0.00444521,-0.02717488,-0.00305471,-0.03257286,0.13902335,-0.01774374,0.06828097,0.00532653,0.00042948,0.05307078,0.0119042,-0.05677056,0.05342114,0.0129039,-0.03600356,-0.06252397,0.01410985,-0.04622647,0.03375693,0.03865539,-0.04293031,-0.0678039,-0.01820125,-0.06859815,-0.03921512,-0.00895988,-0.00725945,0.07896073,0.02002982,0.05529536,0.0147634,0.03962186,0.04507085,0.02579886,-0.08192427,-0.00897597,0.04585591,0.02858991,0.02520915,-0.04998712,-0.04624378,-0.05959363,0.02618323,-0.04442243,-0.01246339,-0.01105952,0.03263436,-0.00046189,0.00189496,0.15323453,-0.00334651,-0.02783243,-0.0046509,0.07803303,-0.05900222,-0.02104098,-0.0033168,-0.00601389,-0.02550366,0.03475916,0.02207993,0.03654137,0.03659375,0.02494521,0.00070895,-0.0152429,0.06040339,-0.00712684,-0.03042914,-0.01801333,-0.02232058,-0.00890991,0.07891885,-0.01170307,-0.31199938,0.06307358,0.02678046,-0.01505572,-0.00455034,0.00310918,-0.00730283,-0.07881926,-0.04068891,0.02457796,-0.05019044,-0.00188597,0.0373323,0.00634009,0.02488521,0.01320297,0.0597141,-0.05709808,0.02448309,-0.09175221,0.00147095,0.05907261,0.2008367,0.02629517,0.03461741,0.01078286,0.01131291,0.04045685,0.00215987,0.059259,0.07904929,-0.00946624,0.07082831,-0.01631582,0.01082817,0.01674437,0.01467173,0.02199885,-0.02612426,-0.00801897,-0.09905538,0.0080813,-0.0785855,0.00068015,0.08410103,0.00743084,-0.04954352,-0.05323956,0.00686276,0.01459752,-0.05024638,0.03262646,-0.02651151,0.01894443,0.09439512,-0.03122887,-0.0188125,0.0219892,-0.0374974,0.01346668,0.05510245,0.0195455,-0.0060157,0.06705353,0.03325249],"last_embed":{"hash":"1tmdb32","tokens":168}}},"text":null,"length":0,"last_read":{"hash":"1tmdb32","at":1759879101486},"key":"一意型.md#type-system","lines":[4,14],"size":289,"outlinks":[{"title":"Clean","target":"Clean","line":5},{"title":"Idris","target":"Idris","line":5},{"title":"Rust","target":"Rust","line":5},{"title":"Uniqueness Types — Idris 1.3.3 documentation","target":"https://docs.idris-lang.org/en/latest/reference/uniqueness-types.html","line":7},{"title":"線形型","target":"線形型","line":9}],"class_name":"SmartBlock","last_embed":{"hash":"1tmdb32","at":1759879101486}},
|
|
"smart_blocks:一意型.md#type-system#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.07721097,-0.02292256,-0.05033047,-0.0181607,-0.03015725,0.00128051,0.03837537,0.00182131,0.02856287,-0.02336355,-0.00249955,-0.08561107,0.01685627,0.03270155,0.04777111,0.01956154,0.02581429,0.04364109,-0.04936473,0.02364271,0.13659692,-0.0333606,-0.09376213,-0.05030341,0.01939306,0.06530184,0.02498107,-0.04023816,0.01396059,-0.17939167,-0.02378186,-0.00244526,0.06152697,0.01010935,-0.01570049,-0.05297628,-0.07491025,0.02621297,-0.07943731,0.04054713,-0.06043965,-0.0252533,0.02190889,-0.02532415,-0.01893926,-0.06198759,-0.04126209,0.0137668,-0.0152097,-0.0803818,-0.0602409,0.04051768,0.05780068,0.04862424,-0.00964755,0.08258023,0.06962703,0.05390798,0.01636674,-0.02511307,0.02211488,-0.01245182,-0.17513008,0.04901941,0.05284236,0.0706517,-0.02596648,-0.0701375,0.04708998,-0.01476536,-0.06232945,0.01427773,-0.00205802,0.06856067,-0.01939752,-0.00079786,0.02918684,-0.02720302,-0.00635668,-0.00805637,-0.03123963,-0.02675928,0.00505795,-0.02347775,-0.00952756,0.01557426,0.00900665,-0.06285927,0.06865714,-0.00436054,-0.05111141,0.0481994,0.09714935,0.08766092,0.02516413,-0.00282413,-0.02582647,-0.00808554,0.00367074,0.12970667,-0.0025665,0.00734134,0.04454955,-0.00284195,0.02342872,0.02484175,-0.04596279,-0.09139131,-0.0452482,-0.0374715,-0.0443626,-0.02551572,0.01658099,-0.00994322,-0.02863386,-0.03893637,0.05050682,0.0621332,0.05360951,0.01755461,0.02316037,0.0038913,0.03392414,-0.00243516,0.02430129,-0.00869161,0.0128311,0.04515485,0.02416194,0.09705808,-0.0092693,0.03428807,-0.07174596,0.01021518,0.00605542,0.01737178,-0.03846748,0.00650493,0.00836395,-0.03622071,-0.03242965,-0.07368505,0.01655609,-0.04372518,-0.06637692,0.10666151,-0.08003273,0.04369657,0.02317607,-0.00180662,-0.07033832,0.02785532,-0.08881225,-0.03627071,-0.01350152,-0.01860037,0.05242426,0.00504191,-0.07253329,-0.04768032,0.02360072,-0.00756296,-0.05491176,0.12415373,0.04407074,-0.0641004,0.00745621,0.09009489,-0.00217022,-0.03427792,-0.00538012,-0.02625052,-0.00684483,0.00427116,0.08612289,-0.02697759,-0.03135118,-0.02350172,-0.02714909,0.02338269,0.02828337,-0.00455513,-0.00837968,0.04560865,0.02629086,-0.06132667,-0.03388561,-0.03332184,0.02473219,-0.02140839,-0.04957518,-0.00178486,-0.01613348,-0.00981834,-0.03929781,0.01077463,0.0210796,-0.00357864,0.04042308,-0.0687767,0.11160319,0.10982411,0.01525855,0.01055865,-0.01843292,-0.0024224,-0.00346671,-0.06535166,-0.02067862,0.02208918,-0.06991833,0.0526389,0.01295617,0.0758938,0.02998309,0.00225491,0.02392306,0.00586066,0.04942954,0.05836476,0.0029138,-0.0225247,-0.11982162,-0.20300406,-0.03264452,0.01584713,-0.04881672,-0.01135457,-0.06006889,0.002703,-0.02801226,0.00654592,0.02707439,0.07842553,0.05737057,0.0149056,0.0501758,-0.00373579,0.03941314,0.00991311,-0.01895716,-0.01724507,0.03053123,0.03710499,0.0481047,0.00093776,-0.02869618,0.00034323,-0.03223763,0.13878,-0.01930007,0.07229719,0.00708183,0.00177944,0.05444918,0.0111673,-0.05714116,0.05278694,0.01342427,-0.03328746,-0.06434189,0.0177404,-0.04576058,0.02931779,0.03663396,-0.04470702,-0.06681006,-0.01663516,-0.06759508,-0.03301767,-0.00934017,-0.00888564,0.08338545,0.01971187,0.05516852,0.01393331,0.04264141,0.04303499,0.0243392,-0.08417474,-0.01215476,0.04356178,0.02761281,0.02665756,-0.0468697,-0.04725074,-0.05640347,0.02514122,-0.04583267,-0.01387202,-0.0110629,0.02982102,0.00043993,0.00126542,0.15162112,-0.00543432,-0.02574907,-0.00561731,0.08180686,-0.06185769,-0.01862774,-0.00433541,-0.00570108,-0.02817765,0.0331362,0.02171957,0.03690427,0.03930093,0.02051702,0.00007308,-0.0144279,0.06093059,-0.00844713,-0.02905538,-0.0180267,-0.02473458,-0.00831824,0.08210001,-0.0068801,-0.31221876,0.06402018,0.02885098,-0.01494302,-0.00724882,0.0049881,-0.00985593,-0.08015428,-0.04149532,0.02137038,-0.04585041,-0.00610732,0.03871707,0.01254416,0.0251495,0.01093751,0.06035357,-0.05651378,0.02879526,-0.09587279,0.00013756,0.05739046,0.19824444,0.02567156,0.03966118,0.01090689,0.01104119,0.04010161,0.00035512,0.05709959,0.08025227,-0.00730869,0.07363234,-0.01613948,0.01018958,0.02278475,0.01502609,0.02303508,-0.02508788,-0.00643017,-0.09663969,0.01003966,-0.08006274,-0.00220107,0.08664213,0.01249073,-0.05153821,-0.0510276,0.00916492,0.01422953,-0.04976628,0.03319513,-0.02588046,0.02023432,0.09678798,-0.03559982,-0.02166832,0.02419011,-0.03793223,0.01645582,0.05489913,0.01889827,-0.00660923,0.06734521,0.03595766],"last_embed":{"hash":"5d5uwl","tokens":168}}},"text":null,"length":0,"last_read":{"hash":"5d5uwl","at":1759879101504},"key":"一意型.md#type-system#{1}","lines":[6,14],"size":274,"outlinks":[{"title":"Clean","target":"Clean","line":3},{"title":"Idris","target":"Idris","line":3},{"title":"Rust","target":"Rust","line":3},{"title":"Uniqueness Types — Idris 1.3.3 documentation","target":"https://docs.idris-lang.org/en/latest/reference/uniqueness-types.html","line":5},{"title":"線形型","target":"線形型","line":7}],"class_name":"SmartBlock","last_embed":{"hash":"5d5uwl","at":1759879101504}},
|