"smart_sources:関数型プログラミング言語と微分方程式ソルバ.md": {"path":"関数型プログラミング言語と微分方程式ソルバ.md","last_embed":{"hash":null},"embeddings":{},"last_read":{"hash":"h7k06w","at":1759879044546},"class_name":"SmartSource","last_import":{"mtime":1736643158448,"size":669,"at":1759879044584,"hash":"h7k06w"},"blocks":{"#---frontmatter---":[1,3],"#idea #memo":[5,20],"#idea #memo#{1}":[7,20]},"outlinks":[{"title":"冬のプログラミングシンポジウム2024","target":"https://prosym.org/66/program.html","line":7},{"title":"mimium","target":"mimium","line":9},{"title":"Veryl","target":"Veryl","line":14}],"metadata":{"date":"2025-01-12 09:47","tags":["#idea","#memo"]},"task_lines":[]},
"smart_sources:関数型プログラミング言語と微分方程式ソルバ.md": {"path":"関数型プログラミング言語と微分方程式ソルバ.md","embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.079562,0.015706,0.01728802,-0.03562189,-0.0110253,0.01333431,-0.06067741,0.0230065,0.04626243,-0.00198802,-0.00731974,-0.02976037,0.081535,0.07487609,0.02087927,0.0250925,0.01571451,-0.02430219,-0.03678934,0.01288674,0.16271976,-0.05929964,-0.05002633,-0.01548158,0.02961916,0.00510329,-0.00025462,-0.01453524,-0.02539638,-0.13975477,-0.02787431,-0.01286028,0.04635546,0.01198168,-0.00459168,0.01776011,0.00061852,0.02398572,-0.06721901,0.0365926,-0.03914453,0.01523158,0.02258822,0.01167771,0.01820554,-0.03304778,0.042511,-0.02064648,-0.00163914,-0.00809091,-0.04300823,0.01020526,0.01780709,-0.03515529,0.00390969,0.01831628,0.04064246,0.00268476,0.02155381,0.00271094,0.06439441,0.04672248,-0.24336487,0.05168978,0.00676938,0.04406155,-0.05048324,-0.00554246,0.04664021,0.03985391,-0.05894641,0.03355547,0.00317866,0.02783232,-0.00398279,0.03118458,0.01508157,0.00791844,0.01478846,-0.04036607,-0.06399317,0.02666754,-0.04238129,-0.0282296,-0.02528543,0.01419231,0.01231709,-0.01200598,0.02836878,0.00865958,-0.05939564,-0.0420596,0.05440057,0.03565591,-0.05564282,0.00252219,0.01241123,0.05108681,-0.06538226,0.11409771,-0.06947823,0.02059496,0.03557662,-0.07507501,0.0441452,-0.04125946,-0.01302466,-0.07594773,-0.02909235,-0.01632017,-0.00794311,-0.01792957,0.04558206,-0.05041228,0.05642162,-0.00419802,0.08238763,0.0040313,-0.00958504,-0.00879097,0.04401084,-0.01630611,0.05197024,-0.00985144,-0.03597175,-0.02055678,0.00217342,0.04789927,0.03420438,0.02563164,0.05042642,0.02207078,-0.06519556,-0.00720531,0.03078245,-0.01290402,-0.01501913,-0.01981712,0.027152,-0.03078821,-0.02602644,-0.11651576,0.00022274,-0.085445,-0.07293758,0.1120561,-0.01446152,0.00130937,0.04133433,0.04435102,-0.02764087,0.06015861,-0.00766403,-0.06664023,0.05058265,-0.03269805,0.05766721,0.09584217,-0.0175219,0.01556433,-0.02887379,-0.055902,-0.02551572,0.06986747,0.04179567,-0.02582785,-0.02730753,0.05747593,0.04217663,-0.06902264,-0.01410741,0.03027416,-0.01602623,-0.02069666,0.06601386,0.07321537,0.09094562,-0.02421728,-0.0390978,0.05296034,-0.00133898,-0.02820126,-0.00548125,0.0049351,-0.01116939,-0.09569895,0.02711031,-0.07632348,0.05391235,0.02862762,-0.03237827,-0.00587358,0.03371015,-0.00632072,-0.08649171,-0.06464382,0.00492468,-0.00345336,0.01031208,-0.06552321,0.0693841,0.03446451,-0.03555557,-0.0452987,0.03935162,0.02026211,0.03774366,-0.01169913,0.02379835,0.03824347,-0.0373644,0.01373838,0.06883971,0.06038814,-0.01252842,-0.00675398,-0.03619632,0.06742136,0.02706292,0.04258033,-0.00649174,-0.02139528,-0.08213688,-0.21007895,0.04807125,0.04389428,-0.05725727,-0.00443916,-0.01259168,0.05769171,-0.03768338,0.09927058,0.06983232,0.10623851,-0.01105683,-0.01594343,-0.00959502,-0.011343,-0.00332647,0.01996721,-0.02457824,-0.0182772,0.01927778,-0.02250043,-0.00399468,0.03808334,-0.0427267,0.05362762,-0.02970401,0.11804753,0.06158188,-0.00197524,-0.04320347,0.07246204,0.01356918,-0.00363595,-0.13253139,0.04401863,-0.00738727,-0.05321483,-0.05492656,0.01451628,-0.08700687,-0.00072561,0.03806591,-0.03578281,-0.07649112,-0.07475097,-0.0745794,-0.01050317,-0.04388349,-0.03568767,0.06430196,0.04197202,-0.01018343,0.06101896,0.03635978,0.0255563,-0.04401342,-0.05723001,-0.00241864,-0.01773767,0.03527566,0.01232961,0.04188614,-0.01996761,-0.0354515,0.01764611,-0.02257603,-0.00726238,-0.01808689,-0.01564071,0.03407232,-0.00632076,0.09113204,-0.00742787,-0.02804433,0.05219511,0.01711646,0.02187218,-0.08708712,-0.04382398,-0.02254796,-0.00645522,0.00142644,0.035445,0.02999036,-0.01821338,0.0812424,0.0414316,-0.038056,0.05274206,0.00247196,-0.03214743,-0.04678026,-0.01048115,0.00871276,0.05665868,-0.0090965,-0.30903825,0.03826015,-0.05475143,0.0508336,0.01541332,0.04741914,0.0156551,-0.04024181,-0.08494326,0.0449842,-0.05600403,0.04732438,0.01923552,-0.02048009,0.01000934,-0.01654175,0.00065753,0.01578832,0.08209759,-0.10883316,-0.0252573,0.00429048,0.20514481,0.01848964,-0.00704223,0.00130466,0.01096449,0.01882036,0.11703376,0.02816296,-0.0562418,-0.02860138,0.07726004,0.02871889,0.02894415,-0.00648515,-0.07914105,0.03725004,0.00058138,-0.01398588,-0.06194214,0.02298297,-0.02163715,0.00734512,0.10831995,0.0177418,-0.0282739,-0.06029285,-0.03599087,0.00244847,-0.00382249,-0.03808756,-0.01748024,0.01285478,0.01990871,0.06477325,0.05415037,-0.0098505,-0.06881581,-0.01327062,0.04503341,0.01137406,0.0745954,0.0373309,0.04285589],"last_embed":{"hash":"h7k06w","tokens":264}}},"last_read":{"hash":"h7k06w","at":1759879115036},"class_name":"SmartSource","last_import":{"mtime":1736643158448,"size":669,"at":1759879044584,"hash":"h7k06w"},"blocks":{"#---frontmatter---":[1,3],"#idea #memo":[5,20],"#idea #memo#{1}":[7,20]},"outlinks":[{"title":"冬のプログラミングシンポジウム2024","target":"https://prosym.org/66/program.html","line":7},{"title":"mimium","target":"mimium","line":9},{"title":"Veryl","target":"Veryl","line":14}],"metadata":{"date":"2025-01-12 09:47","tags":["#idea","#memo"]},"task_lines":[],"last_embed":{"hash":"h7k06w","at":1759879114983}},"smart_blocks:関数型プログラミング言語と微分方程式ソルバ.md#idea #memo": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.07430694,0.02215169,0.01057314,-0.03882366,-0.02048507,0.02170305,-0.039753,0.03824836,0.05599823,-0.01313007,-0.01565764,-0.0238158,0.09015837,0.07291048,0.02825336,0.03037154,0.00358215,-0.00844901,-0.02548172,0.01827528,0.14890213,-0.05235714,-0.05175397,0.00635915,0.00593367,0.00353368,0.00178174,-0.01781968,-0.02222695,-0.12554872,-0.01650496,-0.01127998,0.04788776,0.01956632,-0.02789704,0.04699348,0.00180394,0.03025193,-0.07751085,0.03490926,-0.02666206,0.01184064,0.01549843,0.02318881,0.01960029,-0.03234101,0.05014581,-0.01618884,-0.00885584,-0.00458588,-0.03301057,-0.012012,-0.00954887,-0.05598792,-0.00109504,0.02716394,0.03304632,0.0082956,0.02335567,0.00901654,0.08883056,0.05478418,-0.2237508,0.04964525,0.01195044,0.05308979,-0.05902653,-0.00929972,0.04825205,0.05072106,-0.05366336,0.0321049,0.00506026,0.04027124,-0.00892204,0.03884295,0.01779861,0.02620075,0.0173239,-0.03831467,-0.06417979,0.02087913,-0.04557468,-0.02112901,-0.02567594,0.02695271,-0.00738115,-0.01543235,0.04467651,-0.00667254,-0.06010216,-0.03875024,0.05177366,0.02112469,-0.043285,0.0156978,0.01295966,0.04020889,-0.08821559,0.12626377,-0.06121643,-0.00318345,0.05508269,-0.07951876,0.04408598,-0.04140558,-0.02766647,-0.08189125,-0.02367373,-0.01583781,-0.00286061,-0.0273334,0.0161148,-0.02927453,0.07115193,-0.00288552,0.06710942,0.00964081,-0.03132621,-0.01233622,0.02575001,-0.00523204,0.05342343,-0.02434524,-0.04594666,-0.03282863,-0.00167142,0.04636503,0.03313757,0.03449491,0.04580621,0.0193131,-0.05100037,-0.01364265,0.03867233,-0.02092326,-0.01060537,-0.01500129,0.01631196,-0.0242682,-0.00909434,-0.08115011,0.00249665,-0.09077089,-0.06321741,0.10789314,0.00133207,-0.00654133,0.05537547,0.05422236,0.0018663,0.04850241,-0.03022146,-0.06244265,0.05666136,-0.02697365,0.05250456,0.08619265,-0.00331054,0.02957775,-0.02837202,-0.05231144,-0.04421786,0.06851411,0.01546057,-0.01196385,-0.04522802,0.0356917,0.02690654,-0.07222569,-0.0370463,0.03028784,-0.02916547,-0.00373309,0.05056521,0.07992935,0.05884771,-0.0218561,-0.01112367,0.05245287,0.01063882,-0.01556479,-0.00589736,-0.01202647,-0.01700628,-0.09668153,0.03064185,-0.09141462,0.05573858,0.04612503,-0.03478267,0.01258025,0.04298149,0.00166523,-0.09529002,-0.06536804,0.01920772,-0.00974939,0.01685666,-0.05703189,0.04264075,0.02729201,-0.05377175,-0.04871811,0.02423894,0.02298645,0.05184652,-0.0173176,0.03166562,0.03245307,-0.04030355,0.01223218,0.06887455,0.06754433,-0.02459376,-0.00407057,-0.04418754,0.06529649,0.03672786,0.02885833,0.00451212,-0.04207202,-0.07669266,-0.22185507,0.04171074,0.03121473,-0.05186393,-0.01026513,-0.01020796,0.0484739,-0.03208083,0.05950213,0.06397995,0.11742155,-0.02701834,-0.01427892,-0.00640188,-0.0018919,0.00042895,0.00556593,-0.01854457,-0.02303003,0.01296584,-0.02383859,0.00509764,0.04486282,-0.06057594,0.05714555,-0.03455193,0.12831882,0.04678395,0.00963948,-0.02381266,0.06659719,0.02332274,0.00715712,-0.12476648,0.03879263,0.00150207,-0.05363271,-0.04712985,0.00929959,-0.0761045,0.00139584,0.03358324,-0.06350131,-0.08388112,-0.08167356,-0.06197855,-0.02256352,-0.04816742,-0.02057263,0.05698,0.03691891,-0.0140357,0.04816491,0.04172439,0.02427496,-0.04214225,-0.06875113,0.01198468,-0.02485542,0.02982837,0.02501201,0.0289799,-0.00517403,-0.02642853,0.0352421,-0.0277465,-0.01761662,-0.01634971,-0.0153352,0.02483114,-0.00420594,0.10964987,-0.00089405,-0.03295531,0.06267889,0.01518034,0.03545542,-0.10483874,-0.0578468,-0.02184019,-0.03091205,0.00147494,0.01150833,0.00098595,-0.02053914,0.096691,0.04081782,-0.06422824,0.05423326,-0.01363466,-0.02791828,-0.03693487,-0.01186975,0.02769662,0.05217943,-0.01937944,-0.28602397,0.03884021,-0.05776155,0.05407211,0.0093446,0.05164191,0.02169541,-0.03498193,-0.07646054,0.03273488,-0.05022632,0.02753552,0.00391373,0.00497161,-0.01002036,-0.02475988,-0.00289004,0.00582218,0.1034895,-0.11281069,-0.00984733,0.01661643,0.22700733,0.00447012,0.00776495,-0.00065444,0.0353504,0.00612178,0.11819586,0.03135427,-0.04297228,-0.03786429,0.06748655,0.02012808,0.03035203,-0.00776635,-0.0882035,0.03413093,0.00359924,-0.02106323,-0.04641054,0.02880399,-0.02910599,0.00814591,0.1093163,0.01994201,-0.01605752,-0.0538741,-0.05547843,0.01587843,0.00666435,-0.03817464,-0.03254635,-0.00288041,0.03801625,0.04677346,0.05526904,-0.00647154,-0.07452624,-0.01505055,0.03823534,0.01778409,0.0874219,0.06577202,0.05134396],"last_embed":{"hash":"bhh6jv","tokens":248}}},"text":null,"length":0,"last_read":{"hash":"bhh6jv","at":1759879115010},"key":"関数型プログラミング言語と微分方程式ソルバ.md#idea #memo","lines":[5,20],"size":289,"outlinks":[{"title":"冬のプログラミングシンポジウム2024","target":"https://prosym.org/66/program.html","line":3},{"title":"mimium","target":"mimium","line":5},{"title":"Veryl","target":"Veryl","line":10}],"class_name":"SmartBlock","last_embed":{"hash":"bhh6jv","at":1759879115010}},
"smart_blocks:関数型プログラミング言語と微分方程式ソルバ.md#idea #memo#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.07863223,0.02275941,0.01081178,-0.01911849,-0.00354265,0.00976701,-0.03717302,0.0143381,0.05192301,-0.00938833,-0.02736043,-0.02089851,0.08845603,0.08108285,0.02170446,0.01771829,0.00554327,-0.0083133,-0.02120177,0.03195328,0.1412174,-0.04735092,-0.04179591,0.00798826,0.01363066,0.00812927,-0.00714708,-0.02044857,-0.02442523,-0.14494665,-0.02168034,-0.01380083,0.03599135,0.01171002,-0.02389379,0.0405806,0.0080587,0.01082256,-0.06999714,0.04386377,-0.02584158,0.02335749,0.01012656,0.01902189,0.02215997,-0.04800301,0.05363951,-0.02500299,0.00767118,-0.00504539,-0.0224891,0.01367469,0.02233107,-0.04913185,-0.00558972,0.01470568,0.05211875,0.01454719,0.02437655,-0.00374127,0.07008752,0.05602058,-0.224382,0.04510716,0.00561547,0.05194732,-0.06511083,0.00725498,0.03244961,0.04424525,-0.0587802,0.04116769,-0.01231102,0.03154143,-0.00761027,0.02694564,0.01826455,0.02291933,0.00852095,-0.04251402,-0.06696408,0.02785971,-0.04284737,-0.03154004,-0.02455212,0.00592392,0.01206276,-0.02871461,0.03445391,-0.01668545,-0.05326687,-0.03538281,0.05616292,0.03928509,-0.04766269,0.01530362,0.0241117,0.04961723,-0.06956843,0.12415544,-0.05074978,0.01848989,0.04337161,-0.08327537,0.0555336,-0.05177601,-0.01188291,-0.06954132,-0.03497222,-0.02289669,0.00607685,-0.02831426,0.03221837,-0.0327529,0.07864197,-0.01355307,0.06677965,0.0070406,-0.02437378,-0.01083941,0.02855738,-0.01166693,0.04138849,-0.0067776,-0.04151473,-0.03499607,-0.01676777,0.05247615,0.04111232,0.0250189,0.04275342,0.01617766,-0.06542116,-0.01935575,0.03054851,-0.01485034,-0.01382404,-0.0197738,0.02832616,-0.04025108,-0.02190864,-0.09437672,0.00395816,-0.08108743,-0.08272508,0.12026051,-0.00584506,0.00475662,0.03777584,0.05338883,-0.00554139,0.05459784,-0.01915198,-0.05928493,0.06943091,-0.02921961,0.05274727,0.09622943,-0.00961952,0.03110175,-0.03379701,-0.06546803,-0.02167502,0.07881492,0.02030878,-0.00739396,-0.03946799,0.03422916,0.02875065,-0.07595326,-0.01620329,0.02133479,-0.02668096,-0.0118271,0.04511854,0.06698583,0.082646,-0.04542114,-0.02958054,0.0490575,-0.00608315,-0.02321658,-0.02613502,-0.00362831,-0.00909329,-0.07484992,0.03073995,-0.07773108,0.05481502,0.04553095,-0.02154241,0.00146244,0.03763624,-0.01797265,-0.09999487,-0.06167173,0.00246473,-0.00908444,0.01374096,-0.06375082,0.06410296,0.04755567,-0.0381903,-0.05017834,0.05384992,0.03334276,0.04366565,-0.02633707,0.01813214,0.02298957,-0.03560629,0.01116806,0.06017972,0.05739813,-0.03099476,-0.0055468,-0.04045825,0.07881369,0.02905888,0.03340374,-0.00497794,-0.03658825,-0.0884067,-0.2162095,0.04608019,0.02761489,-0.05614302,0.01033775,-0.02389527,0.06351972,-0.02889262,0.07824911,0.05902878,0.09563331,-0.0334473,-0.0139109,0.00032224,-0.00136872,0.00822108,0.01719988,-0.00955974,-0.01165537,0.01499054,-0.02311002,-0.01664617,0.02418083,-0.0381549,0.07782695,-0.02726367,0.12198199,0.0382312,-0.00548391,-0.02840078,0.0601953,0.01773929,0.01841065,-0.12812132,0.05180429,0.00005984,-0.06891361,-0.04185361,0.02482187,-0.07318828,-0.00108171,0.05141279,-0.04218412,-0.08065294,-0.06604674,-0.07861454,-0.01927858,-0.04639243,-0.02474096,0.05711964,0.02863511,-0.01593943,0.05366397,0.0388075,0.03604218,-0.04172273,-0.0539674,0.00163903,-0.03098565,0.02122527,0.01116812,0.01104219,0.00367963,-0.03362826,0.02800203,-0.01221409,-0.01889438,-0.02073654,-0.01806696,0.02601452,0.00512563,0.0980259,-0.00757607,-0.03413767,0.05836242,0.03011417,0.03860678,-0.11028234,-0.06485172,-0.0298313,-0.0212744,0.01173075,0.01774316,0.01461191,-0.02760629,0.09518588,0.04809633,-0.05094635,0.0450349,0.00092115,-0.0263919,-0.04495467,0.00379151,0.01232302,0.04324481,-0.00850164,-0.28770649,0.03236728,-0.06413689,0.05323501,0.00875297,0.03387698,0.01894965,-0.04394374,-0.0787861,0.05189317,-0.06565451,0.04070246,0.01382629,0.00147033,-0.01278938,-0.00807868,-0.00535583,0.02387855,0.10570925,-0.11815298,-0.02516312,0.00161478,0.20319055,0.00581704,-0.01587483,0.00127711,0.01931787,0.01842189,0.13159774,0.01927095,-0.05103929,-0.04259925,0.08713716,0.03135905,0.02860005,0.00636468,-0.07749893,0.02984185,-0.00408674,-0.01859828,-0.04339438,0.02410016,-0.02795364,-0.00603146,0.10728841,0.03136097,-0.01350045,-0.06020015,-0.05213265,0.00917562,-0.00708857,-0.04451993,-0.02180019,0.00939188,0.05218264,0.05477877,0.05741144,-0.01949567,-0.07376646,-0.0074037,0.05047951,0.00942309,0.08591986,0.05331246,0.05064888],"last_embed":{"hash":"1ln48g5","tokens":246}}},"text":null,"length":0,"last_read":{"hash":"1ln48g5","at":1759879115036},"key":"関数型プログラミング言語と微分方程式ソルバ.md#idea #memo#{1}","lines":[7,20],"size":275,"outlinks":[{"title":"冬のプログラミングシンポジウム2024","target":"https://prosym.org/66/program.html","line":1},{"title":"mimium","target":"mimium","line":3},{"title":"Veryl","target":"Veryl","line":8}],"class_name":"SmartBlock","last_embed":{"hash":"1ln48g5","at":1759879115036}},