松浦 知也 Matsuura Tomoya
4e6ab9e916
All checks were successful
Build / build (push) Successful in 10m52s
7 lines
28 KiB
Plaintext
7 lines
28 KiB
Plaintext
|
|
"smart_sources:多段階計算.md": {"path":"多段階計算.md","last_embed":{"hash":null},"embeddings":{},"last_read":{"hash":"e34u0l","at":1759879044546},"class_name":"SmartSource","last_import":{"mtime":1752206174725,"size":2933,"at":1759879044583,"hash":"e34u0l"},"blocks":{"#---frontmatter---":[1,3],"#programming-language":[4,65],"#programming-language#{1}":[6,40],"#programming-language#用語":[41,46],"#programming-language#用語#{1}":[43,46],"#programming-language#[[依存型]]との組み合わせ":[47,60],"#programming-language#[[依存型]]との組み合わせ#{1}":[49,60],"#programming-language#[[Rust]]でのプログラム合成":[61,65],"#programming-language#[[Rust]]でのプログラム合成#{1}":[63,65]},"outlinks":[{"title":"MetaOCaml","target":"MetaOCaml","line":6},{"title":"Scala","target":"Scala","line":10},{"title":"MetaML","target":"https://www.sciencedirect.com/science/article/pii/S0304397500000530","line":27},{"title":"MacroML","target":"MacroML","line":29},{"title":"SATySFi","target":"SATySFi","line":35},{"title":"多段階計算の型システムの基礎 - gfnweb","target":"https://gfngfn.github.io/ja/posts/2022-05-12-slides-type-system-matsuri-2020/","line":37},{"title":"Suwa Takashi","target":"Suwa Takashi","line":37},{"title":"SATySFi の多段階計算入門","target":"https://sankantsu.hatenablog.com/entry/2022/08/19/215024","line":39},{"title":"依存型","target":"依存型","line":47},{"title":"A Dependently Typed Multi-Stage Calculus","target":"https://arxiv.org/abs/1908.02035","line":49},{"title":"Rust","target":"Rust","line":61}],"metadata":{"date":"2023-12-07T17:36:32+0900","tags":["#programming-language"]},"task_lines":[]},
|
|
"smart_sources:多段階計算.md": {"path":"多段階計算.md","embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.086249,-0.04354374,-0.02779599,-0.0334991,0.02318955,-0.00616781,-0.10187231,0.00402937,0.02538523,0.00403016,0.00293914,-0.05545498,0.04675491,0.03901084,0.02587254,0.00818001,0.031758,-0.01095326,-0.04003918,-0.0116617,0.13521367,-0.04584268,-0.01395936,-0.09735182,0.06799296,0.08800635,-0.01095934,-0.03774902,-0.0265516,-0.19810577,0.00301315,-0.02977486,0.08567864,-0.0296225,0.0010873,0.01872686,0.02367692,0.05573935,-0.05770233,0.06584142,-0.02037042,-0.02200297,0.01275156,-0.03603269,0.00315961,-0.06482854,-0.01524854,-0.01639822,-0.02489877,-0.05784795,-0.12537351,-0.06351326,-0.01987223,-0.00191661,0.02835408,0.02786101,0.04638873,0.02745072,-0.00961968,0.0414121,0.00599071,0.00608659,-0.21061768,0.05705371,0.00401579,0.04900333,-0.03344845,-0.04362761,0.07834215,0.01107713,-0.05319519,-0.01952918,-0.015065,0.07507746,0.01446132,-0.02879588,0.01928563,-0.01635879,0.00374316,0.01300391,-0.01596081,0.01207933,-0.0000401,-0.0398394,-0.01847545,0.0475986,0.02283539,-0.01229154,-0.01048848,0.02014912,-0.01624916,-0.0242313,0.02801772,0.03809648,-0.08428615,-0.00503992,0.07015166,0.02338883,0.0031761,0.11519988,-0.03633572,0.0027632,0.02005988,0.0080874,0.00598986,-0.01039087,-0.02096014,-0.06046775,-0.01228522,-0.01832224,-0.0111444,-0.02312505,0.04628567,-0.04186555,-0.02346038,0.04592339,0.07486682,0.03868863,0.03537472,0.03065063,0.06205108,0.01244384,0.03207905,-0.04722852,-0.0157452,-0.01246435,-0.00283375,0.05653706,0.00173756,0.0077851,0.07896902,0.0469376,-0.09550518,-0.02510383,0.00054831,0.00794833,-0.01557891,-0.0280725,-0.02218796,-0.00456074,-0.0241142,-0.10315227,0.00759641,-0.06029551,-0.07345983,0.10265337,-0.04804731,-0.00340436,0.02495598,-0.03065765,-0.02912753,0.0563579,0.02580101,-0.02641898,0.02881623,-0.06137146,0.08040963,0.13015182,-0.04670092,-0.01185602,-0.05960047,-0.07882611,-0.03943903,0.12067156,0.03020714,-0.05612,-0.03956039,0.04612591,0.01660385,-0.06717137,0.03255916,0.01801318,0.02200552,-0.08364771,0.08031042,0.04824485,0.01443718,-0.01384115,-0.01906493,0.01281636,0.0185326,-0.0222222,-0.01073396,0.0455631,0.02731065,-0.08830519,0.00889583,-0.04162562,-0.01471387,0.03647197,-0.05670803,0.02051762,0.01904118,0.02536494,0.00741045,-0.06687933,-0.01867007,0.0240895,0.0377685,-0.08407074,0.05957077,0.05525697,-0.02079671,-0.01012516,-0.02929063,-0.01138569,-0.0075887,-0.03002322,-0.00191028,0.03396915,-0.06936707,-0.00220899,0.06878063,0.05644193,-0.00485396,0.04013273,0.00309472,-0.01271166,-0.00028024,0.08771881,-0.03800558,-0.01006822,-0.06736756,-0.23092985,0.0405196,0.03612057,-0.05294412,0.00106122,-0.04750717,-0.02402125,-0.00631118,0.05523166,0.10061412,0.11729364,0.02884528,-0.03546399,-0.01884389,-0.05040594,0.00588988,0.03420736,-0.03364854,-0.01604124,0.01190316,0.0382891,-0.01098758,0.00190809,-0.03038637,0.04364044,0.0005085,0.09791192,0.04188619,0.01769578,-0.04545346,0.08574971,0.03159251,-0.05203059,-0.11002662,0.06058042,0.05889908,-0.04379043,-0.03509154,0.04806208,-0.04279057,0.02794344,0.06166029,-0.02123829,-0.07731427,-0.01430885,-0.06066493,0.02412445,-0.04051048,-0.02060264,0.05362487,0.05029582,0.02156051,0.04064556,0.0435052,-0.00044166,0.02653723,-0.04375707,-0.01915905,0.06373307,0.05125506,-0.00364096,0.01826962,-0.04012616,0.00012675,0.05831533,-0.00087451,0.04096138,-0.03413632,0.03352027,-0.0058337,-0.01276721,0.13469814,0.01799477,-0.03927593,0.04365765,0.03024061,-0.02824102,-0.02176344,-0.00675014,0.01312303,0.02050038,-0.00452721,0.05271887,0.02488367,0.02638737,-0.01513633,0.03039096,-0.01212534,0.02062669,0.00892919,-0.02641657,-0.00604512,0.0085582,-0.01568534,0.07494193,0.00485072,-0.29410443,0.00625869,0.00158771,0.02739865,0.00951364,0.02666856,0.01733788,-0.10226336,-0.05975293,0.03102152,-0.05463057,0.05172146,0.04273025,0.00014557,0.03988409,-0.03256848,0.08851373,-0.0114244,0.02893315,-0.07365154,-0.0365822,0.01271904,0.17781007,-0.00556415,-0.00819977,0.00291024,0.01290847,0.05342881,0.08558507,0.04395984,-0.0303559,0.00739179,0.10562905,0.0051693,0.00474978,0.00529402,-0.02839123,0.03933036,0.00966864,-0.00397263,-0.04114369,0.01660557,-0.03096971,-0.02540616,0.09400771,0.03184009,-0.00505116,-0.09910157,0.00459181,-0.00408,-0.03583146,-0.00028252,-0.02664979,-0.0153993,-0.02077073,0.04858979,0.0373802,-0.02948019,-0.08591685,-0.00581544,0.03232969,-0.02141181,-0.00208425,0.02692488,0.04653657],"last_embed":{"hash":"e34u0l","tokens":466}}},"last_read":{"hash":"e34u0l","at":1759879103642},"class_name":"SmartSource","last_import":{"mtime":1752206174725,"size":2933,"at":1759879044583,"hash":"e34u0l"},"blocks":{"#---frontmatter---":[1,3],"#programming-language":[4,65],"#programming-language#{1}":[6,40],"#programming-language#用語":[41,46],"#programming-language#用語#{1}":[43,46],"#programming-language#[[依存型]]との組み合わせ":[47,60],"#programming-language#[[依存型]]との組み合わせ#{1}":[49,60],"#programming-language#[[Rust]]でのプログラム合成":[61,65],"#programming-language#[[Rust]]でのプログラム合成#{1}":[63,65]},"outlinks":[{"title":"MetaOCaml","target":"MetaOCaml","line":6},{"title":"Scala","target":"Scala","line":10},{"title":"MetaML","target":"https://www.sciencedirect.com/science/article/pii/S0304397500000530","line":27},{"title":"MacroML","target":"MacroML","line":29},{"title":"SATySFi","target":"SATySFi","line":35},{"title":"多段階計算の型システムの基礎 - gfnweb","target":"https://gfngfn.github.io/ja/posts/2022-05-12-slides-type-system-matsuri-2020/","line":37},{"title":"Suwa Takashi","target":"Suwa Takashi","line":37},{"title":"SATySFi の多段階計算入門","target":"https://sankantsu.hatenablog.com/entry/2022/08/19/215024","line":39},{"title":"依存型","target":"依存型","line":47},{"title":"A Dependently Typed Multi-Stage Calculus","target":"https://arxiv.org/abs/1908.02035","line":49},{"title":"Rust","target":"Rust","line":61}],"metadata":{"date":"2023-12-07T17:36:32+0900","tags":["#programming-language"]},"task_lines":[],"last_embed":{"hash":"e34u0l","at":1759879103344}},"smart_blocks:多段階計算.md#programming-language": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.0771419,-0.03473954,-0.04848412,-0.03242256,0.03107566,0.00419018,-0.08995601,0.00816086,0.02063143,-0.00003281,-0.02443655,-0.03809007,0.05843111,0.03953682,0.03261488,0.00813868,0.03584933,0.00396592,-0.04630348,-0.02220129,0.14975469,-0.04813701,-0.00822491,-0.10398936,0.04796102,0.10341903,-0.02330127,-0.04596824,-0.02093763,-0.18990891,0.00445096,-0.01488874,0.08202397,-0.01931464,-0.00752798,0.03388318,0.01300372,0.05016374,-0.07673026,0.06829508,-0.02035946,-0.02621768,0.01901825,-0.02781966,0.01704949,-0.06374006,-0.00925972,-0.01687647,-0.02385493,-0.04718976,-0.13858843,-0.05516062,-0.01889963,-0.00132825,0.020049,0.0180469,0.04826641,0.04656603,-0.01871805,0.03352764,0.01440049,0.01695407,-0.19355534,0.0606313,0.01283469,0.06995213,-0.03474479,-0.03311764,0.07344051,0.02204953,-0.0498497,-0.01586955,-0.01448235,0.06463856,-0.00263547,-0.03661095,0.02126466,-0.01272342,0.00523654,0.01494051,-0.01773164,-0.0027658,-0.00493674,-0.03044774,-0.01598133,0.05782866,0.01680338,-0.01708729,0.01259105,0.01349211,-0.0212699,-0.03632904,0.02155802,0.04373771,-0.06300385,-0.00690117,0.06308097,0.02258856,0.00625732,0.13076818,-0.03268883,-0.02527665,0.03280476,-0.00089915,0.01145143,-0.01184872,-0.02142728,-0.06081755,-0.01069115,-0.01252692,-0.0166643,-0.02341886,0.03006837,-0.03560872,-0.03630098,0.02321646,0.06201711,0.04270393,0.02684533,0.01862992,0.04106128,0.01626019,0.00946989,-0.03752092,-0.00361305,-0.03613231,-0.01399531,0.05076361,0.02468319,0.00636251,0.08250558,0.04807337,-0.08694138,-0.02348994,0.00164014,0.00362803,-0.01334301,-0.02183223,-0.03254827,0.00187485,-0.004932,-0.09492911,0.00179771,-0.06684015,-0.0835223,0.10132305,-0.05452553,-0.00069151,0.02266093,-0.01724596,-0.01126395,0.05642958,0.00404058,-0.03098074,0.02778306,-0.05979032,0.08125122,0.1218421,-0.039618,-0.032865,-0.05460278,-0.0771879,-0.02451511,0.12534028,0.0093759,-0.03970101,-0.06906793,0.04670163,-0.00394372,-0.07814267,0.04238502,0.01244251,0.01102557,-0.07141928,0.05353735,0.0415008,0.00215708,-0.0241975,-0.02689638,0.00726533,0.02175792,-0.01755199,0.00479112,0.04490496,0.0264493,-0.08142392,0.0022654,-0.05465599,-0.02053677,0.03490057,-0.05540439,0.04026443,0.03619102,0.00030985,-0.00554502,-0.06035043,-0.00048569,0.01512138,0.02985893,-0.08073676,0.05564478,0.07269907,-0.01294807,0.01132689,-0.04447328,-0.00304864,-0.01261393,-0.02443174,-0.00102156,0.04774421,-0.07949932,-0.01111289,0.05092418,0.06152086,-0.01458421,0.02604882,0.01501113,0.00219274,0.00806816,0.0831144,-0.03609175,-0.03164181,-0.0840233,-0.23266175,0.03220074,0.04632847,-0.0567357,0.01101214,-0.065308,-0.01930126,-0.01279083,0.04143233,0.09553032,0.1143018,0.02247229,-0.04747086,-0.02244682,-0.02045704,0.01222621,0.026715,-0.02465356,-0.01051082,0.00934576,0.05749113,-0.00446854,0.01347229,-0.03853128,0.04857901,0.00742616,0.09641634,0.02468093,0.05532892,-0.03268221,0.07621247,0.02186684,-0.03954667,-0.10308131,0.06695893,0.06756396,-0.04738709,-0.03883661,0.05757098,-0.02749321,0.03088536,0.05745427,-0.02812427,-0.08908865,0.0099387,-0.0597438,-0.00873413,-0.07462314,-0.01623381,0.04939435,0.03663494,0.02187123,0.03655391,0.03642695,-0.0147422,0.03190396,-0.0337519,-0.03745116,0.04920414,0.04922081,-0.00272222,0.01498281,-0.00571906,-0.01664993,0.06831337,0.00639812,0.03295701,-0.01191933,0.04295505,-0.01412323,-0.02480955,0.16393374,0.02143241,-0.02974096,0.04133219,0.05009904,-0.02469389,-0.03456802,-0.01260657,0.02010577,0.01617374,0.00703907,0.05493175,0.0225348,0.02477741,-0.00792572,0.03137113,-0.01620812,0.00954476,0.01301823,-0.01768977,0.01733592,0.00787108,-0.00820405,0.06519099,-0.00195175,-0.27489024,0.01651923,0.00654379,0.01796656,0.00759788,0.03784466,0.02979665,-0.10645781,-0.06817976,0.02680825,-0.04166538,0.04334971,0.05990826,-0.00844142,0.04093166,-0.03369457,0.0912721,-0.01006393,0.04483476,-0.07239422,-0.03195044,0.01999089,0.18185881,-0.0345396,0.00388736,0.00011971,0.022682,0.05733169,0.08612923,0.03977565,-0.03028911,0.01155493,0.11336581,-0.00636011,0.0049325,0.0043465,-0.0258295,0.03070636,0.01593491,-0.01269577,-0.03584786,0.01953297,-0.05061082,-0.02702964,0.08377631,0.01761186,-0.00236357,-0.11319347,0.00588715,0.00745755,-0.04079545,-0.00268619,-0.02342821,-0.0152627,-0.01317358,0.0364087,0.02157129,-0.03003244,-0.09128768,-0.00965034,0.02806103,-0.02681386,0.00030086,0.05514554,0.05518098],"last_embed":{"hash":"8b5n34","tokens":473}}},"text":null,"length":0,"last_read":{"hash":"8b5n34","at":1759879103427},"key":"多段階計算.md#programming-language","lines":[4,65],"size":2140,"outlinks":[{"title":"MetaOCaml","target":"MetaOCaml","line":3},{"title":"Scala","target":"Scala","line":7},{"title":"MetaML","target":"https://www.sciencedirect.com/science/article/pii/S0304397500000530","line":24},{"title":"MacroML","target":"MacroML","line":26},{"title":"SATySFi","target":"SATySFi","line":32},{"title":"多段階計算の型システムの基礎 - gfnweb","target":"https://gfngfn.github.io/ja/posts/2022-05-12-slides-type-system-matsuri-2020/","line":34},{"title":"Suwa Takashi","target":"Suwa Takashi","line":34},{"title":"SATySFi の多段階計算入門","target":"https://sankantsu.hatenablog.com/entry/2022/08/19/215024","line":36},{"title":"依存型","target":"依存型","line":44},{"title":"A Dependently Typed Multi-Stage Calculus","target":"https://arxiv.org/abs/1908.02035","line":46},{"title":"Rust","target":"Rust","line":58}],"class_name":"SmartBlock","last_embed":{"hash":"8b5n34","at":1759879103427}},
|
|
"smart_blocks:多段階計算.md#programming-language#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.07588229,-0.03578636,-0.05030121,-0.03453304,0.02796339,0.00127114,-0.08696505,0.01100225,0.01572027,-0.0009155,-0.02644576,-0.03095441,0.05811958,0.03821269,0.03117028,0.00811705,0.03374794,0.00959681,-0.04857429,-0.02336385,0.15346348,-0.04681483,-0.01457172,-0.10755628,0.04555356,0.10834097,-0.02416647,-0.0470877,-0.01682576,-0.18490514,0.00415294,-0.01185768,0.08465314,-0.02373082,-0.01062854,0.02947091,0.0143322,0.048414,-0.08186836,0.0675995,-0.0269543,-0.02813964,0.02688195,-0.03033681,0.01000124,-0.06952161,-0.01365661,-0.0161163,-0.02380756,-0.0447396,-0.13643628,-0.05404095,-0.01462507,-0.00444395,0.01883991,0.01615453,0.04599011,0.05139185,-0.0218309,0.03455132,0.00577587,0.01038396,-0.18856002,0.06461532,0.01329791,0.07551455,-0.02919116,-0.03872768,0.07734594,0.01884575,-0.05058671,-0.01449084,-0.01449811,0.06085318,-0.00116672,-0.04240232,0.02646382,-0.0149241,0.01046848,0.01821307,-0.02205625,-0.01331473,-0.00523485,-0.02770408,-0.01457471,0.05782959,0.01831993,-0.01468345,0.01592164,0.01195789,-0.02440193,-0.03549148,0.02068559,0.04085587,-0.05854979,-0.0028154,0.06113057,0.02722529,-0.00044441,0.13579217,-0.03023581,-0.0292739,0.0306051,-0.00311093,0.01593711,-0.01464829,-0.01965664,-0.05351626,-0.01045768,-0.01960427,-0.02459897,-0.02027572,0.0295556,-0.03234834,-0.03844093,0.02612596,0.0632618,0.04318948,0.02974515,0.02256673,0.04408948,0.01507889,0.0045529,-0.04161413,-0.00374373,-0.03901359,-0.01769391,0.05317132,0.01872949,0.01001016,0.08650804,0.04496352,-0.08788271,-0.02270895,0.00111271,0.00795656,-0.01543523,-0.02490711,-0.03886122,-0.0003587,-0.00847196,-0.0931094,0.00189727,-0.06331805,-0.08512512,0.09410651,-0.05977034,0.0040427,0.02160684,-0.01737233,-0.01606149,0.05427594,0.00227073,-0.03389075,0.02290811,-0.05515137,0.08190443,0.10830314,-0.0369539,-0.03336944,-0.05919012,-0.07070258,-0.02494513,0.1269834,0.00451281,-0.03179238,-0.07184055,0.04820535,-0.00130639,-0.07487764,0.03918877,0.01180249,0.013801,-0.06846138,0.05093146,0.04005317,-0.00377441,-0.02078732,-0.02029014,0.00983071,0.02713004,-0.01088543,0.01174722,0.04582271,0.02386976,-0.08249115,0.00406508,-0.05115213,-0.02185168,0.03364592,-0.04812892,0.04687059,0.03809405,-0.00481,-0.00486234,-0.06047808,0.0042062,0.01496946,0.03319447,-0.07825953,0.05662319,0.07738455,-0.00769025,0.01402602,-0.04745135,-0.0086765,-0.01537419,-0.02307244,-0.00202976,0.05012105,-0.07663634,-0.01238752,0.05499,0.06240927,-0.01690367,0.02306463,0.0156357,0.0098412,0.01092843,0.08489732,-0.04253829,-0.03384537,-0.08314212,-0.23096551,0.03728935,0.0505364,-0.05999854,0.01055491,-0.06870738,-0.01673394,-0.0175168,0.03153789,0.09523959,0.11046359,0.02214225,-0.04736843,-0.02115094,-0.02167209,0.01449512,0.02727055,-0.01979587,-0.00844878,0.0041381,0.05750037,-0.00963726,0.01095842,-0.04777017,0.04598628,0.00630532,0.09512346,0.02038608,0.05819904,-0.0345383,0.07647567,0.01598814,-0.03936223,-0.10650878,0.06745744,0.06598852,-0.04653827,-0.03916711,0.06276622,-0.02635782,0.02867706,0.05415433,-0.02733111,-0.081064,0.01208896,-0.05884715,-0.010287,-0.08037169,-0.01374432,0.04698129,0.03406192,0.02011272,0.03338381,0.03838976,-0.01589866,0.0296681,-0.03598658,-0.03570876,0.05195551,0.04912852,0.00486115,0.01444768,-0.01185503,-0.01334449,0.07246742,0.00875577,0.03720225,-0.01182165,0.04417517,-0.01155777,-0.02481129,0.16286549,0.01748613,-0.03018667,0.04070238,0.05275787,-0.02503851,-0.03102387,-0.00884198,0.01924641,0.01672197,0.01091005,0.05512804,0.01838651,0.0310371,-0.01067014,0.03285026,-0.01329664,0.00577857,0.01149755,-0.01680576,0.01800686,0.00954274,-0.00520078,0.06661844,0.00085352,-0.27155402,0.01722923,0.0006913,0.01057883,0.00787602,0.03758359,0.03117318,-0.10382387,-0.07078657,0.01872938,-0.03382096,0.03896169,0.06032404,-0.00774003,0.0474532,-0.03168333,0.09722948,-0.00507923,0.04688872,-0.06947155,-0.0271554,0.02393729,0.18220203,-0.04249734,0.0080487,0.00057766,0.02442535,0.05668009,0.09015215,0.04239257,-0.02806135,0.0154717,0.11903672,-0.00584944,0.00025535,0.00535058,-0.02661265,0.02716751,0.01481855,-0.01137202,-0.03880728,0.02003723,-0.04818179,-0.03411636,0.08042327,0.02335762,-0.00511703,-0.11188181,0.00692296,0.00627497,-0.04458547,-0.00296924,-0.02317027,-0.01733528,-0.01289468,0.03302531,0.01605706,-0.02582202,-0.09212337,-0.00910927,0.02607571,-0.03005369,0.00398081,0.06248238,0.05285615],"last_embed":{"hash":"15fyv70","tokens":471}}},"text":null,"length":0,"last_read":{"hash":"15fyv70","at":1759879103511},"key":"多段階計算.md#programming-language#{1}","lines":[6,40],"size":938,"outlinks":[{"title":"MetaOCaml","target":"MetaOCaml","line":1},{"title":"Scala","target":"Scala","line":5},{"title":"MetaML","target":"https://www.sciencedirect.com/science/article/pii/S0304397500000530","line":22},{"title":"MacroML","target":"MacroML","line":24},{"title":"SATySFi","target":"SATySFi","line":30},{"title":"多段階計算の型システムの基礎 - gfnweb","target":"https://gfngfn.github.io/ja/posts/2022-05-12-slides-type-system-matsuri-2020/","line":32},{"title":"Suwa Takashi","target":"Suwa Takashi","line":32},{"title":"SATySFi の多段階計算入門","target":"https://sankantsu.hatenablog.com/entry/2022/08/19/215024","line":34}],"class_name":"SmartBlock","last_embed":{"hash":"15fyv70","at":1759879103511}},
|
|
"smart_blocks:多段階計算.md#programming-language#[[依存型]]との組み合わせ": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.10369668,-0.02051576,-0.01913665,-0.05622939,-0.01924317,0.04511148,-0.02618427,0.07334661,0.05695807,-0.00915982,0.04862048,-0.02584294,0.06138998,0.03896687,0.041263,-0.01857196,-0.01763518,0.03760467,-0.04490621,-0.05180255,0.13246615,-0.06294282,-0.00416439,-0.125622,0.04537745,0.06982283,-0.0097738,-0.07511675,0.03335174,-0.2162009,0.01314775,0.09559987,0.02966885,-0.00520584,-0.02430376,-0.01993584,-0.04507186,0.06330721,-0.08477841,0.01555894,-0.01398946,0.05901025,0.02526418,-0.06329951,0.04955783,-0.05796467,-0.10002905,-0.03125831,-0.03029455,0.00832755,-0.0769258,0.00132733,0.06096145,0.06184442,0.00511074,0.05336387,0.05612229,0.04818016,-0.00525056,0.0467499,0.04441687,0.01079753,-0.15883398,0.07342131,0.01315337,0.02200963,-0.02489941,-0.02364276,0.09116059,0.09232534,-0.06033399,0.00977666,0.01600269,0.06626562,-0.01900039,-0.03606728,-0.00063995,0.0107111,0.00230965,0.01432396,0.01828417,-0.00870762,-0.03485665,0.01100902,-0.0096611,0.0165602,0.0006373,-0.00067885,0.05279324,-0.01892663,0.02078658,0.00532158,-0.01414067,0.03967431,-0.00761272,0.00004942,0.06126639,-0.04797694,-0.00241714,0.10062531,-0.00831417,-0.00157474,0.00165956,-0.0009842,-0.00007622,0.02371259,-0.05468295,-0.01415987,-0.03371333,-0.04830786,-0.0512002,-0.0165689,0.05553622,-0.05020911,-0.03438805,0.0137777,0.00077551,-0.0309982,0.00947997,-0.00299915,0.02571671,0.02864148,0.0099149,-0.01156072,0.01309518,-0.04659827,0.0063922,0.02252628,-0.00112415,0.05836631,0.08403236,0.05916725,-0.05138806,-0.02115019,0.00895423,0.00282768,-0.02058998,-0.00184945,-0.02093819,-0.0219426,-0.04522316,-0.00751749,0.04141438,-0.0537078,0.01814957,0.14374375,-0.04020344,0.00108426,-0.03142841,-0.01893558,-0.01809281,0.0165277,-0.00942416,-0.03641348,0.01407349,-0.05232896,0.0988655,0.03462276,-0.08154873,0.01096119,-0.01900948,-0.01045297,-0.05154194,0.0903648,-0.01518225,0.02045611,0.0085832,0.03806201,0.02561432,-0.04876397,0.01248602,0.01088987,-0.03299306,-0.03604893,0.05460703,0.00858073,-0.12341467,-0.01069989,0.04023888,0.07842531,0.04011858,-0.028652,-0.04379436,0.00468467,0.0096415,-0.06166922,-0.02532871,-0.01321006,0.01636484,0.0242506,-0.08316004,0.02247058,-0.03954645,-0.03620093,-0.03759267,-0.07310686,-0.04036827,0.00712892,0.07352062,-0.02163763,0.06169235,0.00247137,0.02123708,0.05748361,-0.05213287,0.0021042,0.00922131,-0.05086102,-0.03308541,0.04921406,-0.06462733,-0.00280219,0.0330305,-0.02726548,-0.03240018,0.05373455,0.01796458,0.07679944,-0.01531137,0.02044571,0.01015527,-0.08528875,-0.01663253,-0.2200114,-0.07896797,-0.01849842,-0.04223995,0.00021479,-0.08134234,-0.00115176,-0.01477703,-0.03375989,0.03162648,0.07844235,0.02961165,-0.07795234,-0.0368704,-0.02689448,0.02531004,-0.02680381,0.01132259,-0.01744275,-0.02436846,-0.02763859,0.09007983,-0.02677466,-0.00349735,0.0292937,-0.02620414,0.14320332,-0.01502279,0.03202851,-0.02609196,0.08583876,0.01102375,-0.01261865,-0.01646444,0.02331285,0.03365514,-0.04058732,-0.04246471,0.03530118,-0.01769421,0.00051891,0.02904234,-0.04284638,-0.02304842,-0.00007528,0.01021825,-0.00532403,-0.06682833,-0.00115048,0.07920747,0.00456316,0.01436642,0.04353229,0.0396624,0.02257393,-0.04334541,-0.08054976,0.01904964,0.01484731,0.06815143,-0.04353636,-0.05274065,0.01699715,-0.02626812,0.05957487,0.03984208,0.04188934,-0.05956454,0.02614439,0.00576699,-0.01154902,0.14312483,-0.01394526,-0.01796337,0.05079235,-0.04399506,0.02606337,0.02613611,0.00615487,-0.02656452,-0.01395451,-0.01973829,0.02685709,0.01452926,-0.02592823,-0.07479153,0.04203216,0.04067447,0.00238622,0.02742793,-0.02917769,0.00668982,0.01401144,-0.02394567,0.04852785,-0.02294694,-0.28270298,0.05321913,0.02285725,-0.04228073,-0.02175527,0.02303099,0.03166396,-0.0845485,-0.07480386,-0.02034624,-0.05455363,0.05519268,0.06248534,-0.01616389,0.08479796,0.01255035,0.03941343,-0.06683944,0.04614313,-0.04778648,0.06644247,0.04594195,0.17708062,-0.06024968,0.04630015,0.02607064,-0.00416915,-0.0042763,0.05198544,0.007056,-0.04604182,0.04309171,0.11439258,-0.0715215,0.02375571,0.04739997,-0.00898412,0.05057882,0.04078854,0.0031954,0.05735895,-0.0308932,-0.06081128,-0.01149702,0.09709678,0.09311061,-0.00606123,-0.05903369,-0.0043889,0.03476588,-0.05196243,0.04130025,0.00865174,0.01712031,0.03013071,0.0324223,-0.05026609,-0.00664726,-0.03975839,0.01078628,0.05278161,-0.02972785,-0.00386623,0.0904745,0.01284854],"last_embed":{"hash":"11oc31t","tokens":302}}},"text":null,"length":0,"last_read":{"hash":"11oc31t","at":1759879103594},"key":"多段階計算.md#programming-language#[[依存型]]との組み合わせ","lines":[47,60],"size":913,"outlinks":[{"title":"依存型","target":"依存型","line":1},{"title":"A Dependently Typed Multi-Stage Calculus","target":"https://arxiv.org/abs/1908.02035","line":3}],"class_name":"SmartBlock","last_embed":{"hash":"11oc31t","at":1759879103594}},
|
|
"smart_blocks:多段階計算.md#programming-language#[[依存型]]との組み合わせ#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.10204332,-0.0210925,-0.01548715,-0.05467609,-0.01694814,0.04820316,-0.02446957,0.07240395,0.05786376,-0.00938757,0.05280157,-0.02456831,0.06270501,0.04340088,0.0412927,-0.0150731,-0.02021016,0.03456192,-0.04372022,-0.05046023,0.13102822,-0.06515167,-0.00259008,-0.12498484,0.04628304,0.06841391,-0.00900065,-0.0741277,0.03297955,-0.21818735,0.01290875,0.09921563,0.02743019,-0.00504437,-0.02235023,-0.02230024,-0.04559328,0.06659079,-0.08254639,0.01628617,-0.01087434,0.06061591,0.02656963,-0.06382219,0.04917056,-0.05442216,-0.10156339,-0.03115555,-0.02725637,0.00692533,-0.0747638,0.00272748,0.06023661,0.06017032,0.00681224,0.05400601,0.05322855,0.04728952,-0.0037503,0.04641534,0.04122574,0.01145643,-0.15829027,0.0695765,0.01532303,0.02022642,-0.02666858,-0.02078046,0.09187842,0.09122488,-0.05961591,0.0095263,0.01622267,0.06573988,-0.02026296,-0.03527596,-0.0026921,0.01176906,-0.00014215,0.01546646,0.01751272,-0.00473967,-0.03616175,0.01085463,-0.00940843,0.01751109,0.00090288,-0.00745078,0.0515831,-0.01619675,0.02223486,0.0039944,-0.01191902,0.03911383,-0.00882717,0.00074144,0.05924508,-0.05069343,-0.00087378,0.09952639,-0.00972702,0.00139319,0.00240448,-0.00204457,-0.00466038,0.02413895,-0.05564566,-0.01458841,-0.03413377,-0.04683394,-0.0464984,-0.01590717,0.05514502,-0.05281851,-0.03839176,0.01136194,-0.00204702,-0.02844243,0.00730609,-0.00282172,0.02607575,0.02959906,0.01326373,-0.00742442,0.00869459,-0.04444391,0.00785175,0.02050851,0.00020718,0.06055064,0.08076777,0.06103963,-0.05239141,-0.02267473,0.00709092,0.0023754,-0.02188299,-0.0037386,-0.01982578,-0.01934508,-0.04468652,-0.00924111,0.0438443,-0.05463853,0.02136369,0.14557713,-0.04102932,0.00182375,-0.03161505,-0.01779722,-0.01802958,0.01940345,-0.00892461,-0.03520655,0.01220198,-0.05242224,0.09828584,0.03763459,-0.08085829,0.01193793,-0.02143992,-0.01151266,-0.05174436,0.09052199,-0.0182801,0.0230065,0.01183832,0.03766316,0.02832033,-0.04866252,0.01350814,0.01006174,-0.03261845,-0.03529105,0.05352269,0.00651528,-0.11906724,-0.00868438,0.03972799,0.07684074,0.04075794,-0.0303403,-0.04740188,0.00202144,0.00945061,-0.06033842,-0.02489319,-0.01410622,0.01428518,0.02168632,-0.08478498,0.02470057,-0.04287096,-0.03607892,-0.03845669,-0.0735852,-0.04204845,0.00930526,0.07430322,-0.02186617,0.06453028,0.00118966,0.01893846,0.05396815,-0.049453,0.00249152,0.01124808,-0.04923757,-0.03493122,0.04684464,-0.06404743,0.00024144,0.03458535,-0.02692848,-0.02842915,0.0545526,0.01962675,0.07409562,-0.01427681,0.01758826,0.01366896,-0.08914603,-0.01743188,-0.21871574,-0.08149733,-0.01925575,-0.03996201,-0.00393448,-0.08175353,0.00048049,-0.01530219,-0.03383074,0.03028207,0.07875028,0.02968152,-0.07677448,-0.03737314,-0.02636756,0.02492049,-0.02709484,0.01078887,-0.01922256,-0.02297858,-0.02860949,0.09049823,-0.02674106,-0.00043351,0.02986248,-0.026391,0.14472303,-0.0149973,0.03101613,-0.02741433,0.08434663,0.01276314,-0.01438399,-0.01500204,0.02169382,0.03116979,-0.04039322,-0.04686674,0.03188956,-0.01945288,0.00089111,0.03022599,-0.04212987,-0.02600478,-0.0011632,0.01020206,-0.00222597,-0.06254868,-0.00478645,0.0787485,0.00358205,0.01150744,0.04362822,0.04004886,0.02298261,-0.04220204,-0.08123892,0.01898694,0.01145623,0.06765941,-0.04502828,-0.04938088,0.01665673,-0.02882445,0.0579755,0.03974826,0.04062646,-0.05894098,0.0257238,0.00441645,-0.00965927,0.14406499,-0.01766822,-0.01520045,0.04965213,-0.0456726,0.02866219,0.02414501,0.00534682,-0.02559402,-0.01529966,-0.01605468,0.02640722,0.01585771,-0.02459793,-0.07730572,0.04269088,0.03997666,0.00142481,0.02757638,-0.029288,0.00548797,0.01269384,-0.02359705,0.04918727,-0.0246716,-0.28204668,0.05437962,0.01739884,-0.04179434,-0.02520652,0.02321697,0.03060799,-0.08490901,-0.07554466,-0.01794921,-0.05910257,0.05826478,0.0631149,-0.01749785,0.08314645,0.01152341,0.03691976,-0.06949951,0.04742104,-0.05051488,0.06680737,0.0479296,0.17821823,-0.05818349,0.04726698,0.02201722,-0.00395928,-0.00591223,0.04873084,0.00268202,-0.04312875,0.04346752,0.11242937,-0.07183275,0.02540711,0.05089877,-0.0059228,0.05254095,0.03858422,0.00554834,0.06008359,-0.03270632,-0.06151672,-0.01142944,0.09948512,0.0946741,-0.00880577,-0.05982105,-0.0042244,0.03491929,-0.05069856,0.04301712,0.00983813,0.01550872,0.03291791,0.03365652,-0.04894757,-0.00696443,-0.04063896,0.01196143,0.05286736,-0.02753511,-0.0027315,0.09012102,0.01232193],"last_embed":{"hash":"lse86k","tokens":301}}},"text":null,"length":0,"last_read":{"hash":"lse86k","at":1759879103642},"key":"多段階計算.md#programming-language#[[依存型]]との組み合わせ#{1}","lines":[49,60],"size":894,"outlinks":[{"title":"A Dependently Typed Multi-Stage Calculus","target":"https://arxiv.org/abs/1908.02035","line":1}],"class_name":"SmartBlock","last_embed":{"hash":"lse86k","at":1759879103642}},
|