From 6d3faef0155666ab4ab375d0028ec705d44ed3e4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?= =?UTF-8?q?a?= Date: Tue, 4 Nov 2025 18:40:51 -0500 Subject: [PATCH] [obsidian] vault backup: 2025-11-04 18:40:51[ --- ...ªã‚¢ã‚¯ãƒ†ã‚£ãƒ–プログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング_md.ajson | 4 ++++ ...°åž‹ãƒªã‚¢ã‚¯ãƒ†ã‚£ãƒ–プログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/content/.smart-env/multi/多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング_md.ajson b/content/.smart-env/multi/多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング_md.ajson index 8ce010a9..13168e11 100644 --- a/content/.smart-env/multi/多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング_md.ajson +++ b/content/.smart-env/multi/多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング_md.ajson @@ -200,3 +200,7 @@ "smart_sources:多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md": {"path":"多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md","embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.04828151,-0.01517538,0.00906407,-0.02771934,0.0346327,0.03131747,-0.07433163,0.05349542,0.04490082,0.01965595,0.01266471,-0.06406876,0.05357479,0.06090457,0.01119192,-0.01839614,0.01343946,-0.05031481,-0.05249674,-0.01529202,0.15580373,-0.03936385,0.03425002,-0.02554833,0.07515801,0.01809142,-0.02068525,-0.01750689,-0.03466494,-0.16523767,-0.03803512,0.01336498,0.07223744,0.01510463,0.04782869,0.00581932,0.01245751,0.04683775,0.00254673,0.0555324,-0.03629488,-0.01094309,0.02718189,-0.00355795,0.04005891,-0.01990458,-0.00852871,-0.06313202,-0.03140478,-0.04536589,-0.10422902,-0.05982641,-0.01230383,0.00961585,0.02790446,0.00789597,0.05847933,-0.01783372,0.00962032,0.05866222,0.02601361,0.02793916,-0.26979953,0.03068163,0.04220859,-0.02868266,-0.09173433,-0.01738752,0.04289103,0.00881162,-0.04722809,0.01127,0.00865429,0.01916429,0.05378183,0.01841501,-0.02490663,-0.06524423,-0.00376066,-0.05247312,-0.02755183,0.05732418,0.00990725,-0.01220547,-0.03824747,-0.00843847,0.01876927,-0.03669746,0.01521502,0.01983664,-0.03068997,-0.01119069,0.00723592,0.04254078,-0.07500538,-0.02017346,0.00737649,0.02642949,-0.00334695,0.10357308,-0.05101009,0.01874861,0.01516039,-0.05401858,0.00590946,-0.03667465,-0.03839323,-0.06115799,0.0197215,0.00779143,-0.02837518,0.00121944,0.02866922,-0.04798699,0.00549502,-0.00813572,0.08344332,-0.01335388,-0.00865675,-0.00063084,0.02530398,0.00918458,0.00240348,-0.01560623,0.01151494,-0.00367678,0.02644916,0.03362491,0.01652312,-0.01465121,0.05391981,0.06000238,-0.05424735,-0.00738959,-0.00509272,0.016466,-0.02713678,-0.02250965,0.00103689,-0.01681723,-0.03387734,-0.1262223,-0.02317294,-0.07803225,-0.0993823,0.13967071,-0.05487924,0.0037463,0.01944356,-0.00859239,-0.02780228,0.07710917,-0.01516016,-0.02220491,0.03305377,-0.046662,0.05833658,0.12733957,-0.04814702,0.00154395,-0.03401837,-0.07626993,-0.03019551,0.12612537,0.01753052,-0.02773548,-0.02056631,0.06055476,0.01855475,-0.07090388,0.01431209,-0.00334048,0.0192597,-0.0163972,0.06738758,0.09683182,0.09598109,0.01006411,-0.03882705,0.03970144,-0.0056285,-0.02739967,-0.04006793,0.04103617,-0.01597453,-0.03552204,0.01427345,-0.02259326,0.03801757,-0.0061365,-0.07310129,0.01698487,0.00697032,0.02971563,-0.05128564,-0.05741592,-0.03495617,-0.02246238,-0.00175471,-0.09074894,0.09930959,0.04973929,-0.04062723,-0.03351645,0.0581498,-0.00161241,0.03940171,-0.02528874,0.02956435,0.03717725,-0.03659784,-0.01004796,0.06004794,0.04462557,0.00403185,0.02965445,0.01801541,-0.00083918,0.04804205,0.10274957,0.02774204,-0.00718372,-0.08810395,-0.20157294,-0.00123127,0.03808947,-0.05720103,-0.01283234,0.01548595,0.0508883,-0.07616311,0.1036773,0.07479197,0.0782224,0.07044954,-0.05976588,-0.00697534,0.00523593,-0.00695681,0.03794569,-0.04291292,-0.02160001,0.05070641,0.0219473,-0.01061888,0.00747226,-0.00539579,0.04408463,0.0056252,0.09495005,0.04071087,-0.04288275,-0.02625296,0.05390524,0.01512447,-0.00758446,-0.09228418,0.05613212,0.00679654,-0.04823154,-0.01277082,-0.01320283,-0.05947952,0.01742423,0.02438481,0.00880528,-0.04446401,-0.04157336,-0.05577935,-0.02345069,-0.00571509,-0.05351062,0.04255898,0.04080776,0.0058984,0.09423952,0.03665904,-0.00573552,-0.0163237,-0.01047603,-0.0047753,0.00098078,0.0038746,0.0290133,0.00651435,-0.01357754,-0.06995568,-0.02247181,-0.00204834,0.00736542,0.02645969,-0.02296801,0.04411576,0.02171151,0.13010088,0.01360519,0.02589878,0.05473169,0.04284343,0.00254366,-0.07819048,-0.00619903,0.00189728,0.03881833,0.00250697,0.08441199,0.05166014,-0.02431281,0.0133683,0.0373925,-0.05107107,0.01429161,-0.01447571,-0.06571983,-0.04141194,-0.01259902,0.00025455,0.03408977,-0.00500045,-0.32317805,0.02471129,-0.04988255,0.01206101,0.02758442,0.01801583,-0.01669815,-0.01008383,-0.03663532,0.03667895,-0.05621309,0.07594997,0.03049136,-0.07207087,0.00564484,0.0160503,0.00793649,-0.01916395,0.0020979,-0.03888035,-0.02610042,0.0267573,0.19182304,-0.03084715,-0.0162387,-0.03340451,-0.01744382,0.04894535,0.0865764,-0.00904047,-0.01427078,-0.01819906,0.09689737,0.0288652,0.00989372,0.0192777,-0.0458016,0.01426494,-0.01774603,-0.04559176,-0.04665128,0.04634793,-0.01519447,0.01683944,0.09266575,0.00675044,-0.05653271,-0.06239571,-0.01588566,0.00085946,-0.0232172,-0.02307927,-0.03829979,0.0326874,0.02379701,0.06903826,0.04876067,0.01747691,-0.02991226,-0.01490318,0.03111873,0.01207038,0.00871143,0.05328949,0.03322826],"last_embed":{"hash":"1eewitx","tokens":494}}},"last_read":{"hash":"1eewitx","at":1762193008339},"class_name":"SmartSource","last_import":{"mtime":1762192995401,"size":13713,"at":1762193008141,"hash":"1eewitx"},"blocks":{"#---frontmatter---":[1,3],"#paper #research":[4,162],"#paper #research#{1}":[6,6],"#paper #research#概è¦":[7,16],"#paper #research#概è¦#{1}":[9,16],"#paper #research#背景ã¨ãƒ¢ãƒãƒ™ãƒ¼ã‚·ãƒ§ãƒ³":[17,42],"#paper #research#背景ã¨ãƒ¢ãƒãƒ™ãƒ¼ã‚·ãƒ§ãƒ³#{1}":[19,42],"#paper #research#mimium and lambda-mmm":[43,60],"#paper #research#mimium and lambda-mmm#{1}":[45,60],"#paper #research#多段階計算":[61,66],"#paper #research#多段階計算#{1}":[63,66],"#paper #research#コールツリーã®è§£æž":[67,79],"#paper #research#コールツリーã®è§£æž#{1}":[69,71],"#paper #research#コールツリーã®è§£æž#{2}":[72,79],"#paper #research#状態構造ツリーåŒå£«ã®æ¯”較":[80,112],"#paper #research#状態構造ツリーåŒå£«ã®æ¯”較#{1}":[82,98],"#paper #research#状態構造ツリーåŒå£«ã®æ¯”較#サンプルコード":[99,112],"#paper #research#状態構造ツリーåŒå£«ã®æ¯”較#サンプルコード#{1}":[101,112],"#paper #research#å•é¡Œç‚¹":[113,150],"#paper #research#å•é¡Œç‚¹#{1}":[115,150],"#paper #research#å°†æ¥çš„ãªå±•æœ›":[151,162],"#paper #research#å°†æ¥çš„ãªå±•æœ›#{1}":[154,162]},"outlinks":[{"title":"mimium","target":"mimium","line":9}],"metadata":{"date":"2025-09-25 11:42","tags":["#paper","#research"]},"task_lines":[],"last_embed":{"hash":"1eewitx","at":1762193008143}},"smart_blocks:多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md#paper #research": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05287177,-0.02104986,-0.00400844,-0.02807407,0.03721584,0.0386748,-0.05764281,0.0679827,0.0549857,0.01749327,0.00998995,-0.04073809,0.04857739,0.04210537,0.0069419,-0.02409214,0.01549622,-0.02905039,-0.05525406,0.00280415,0.15004449,-0.05014927,0.03847767,-0.01384371,0.07105537,0.01264573,-0.03021026,-0.02191502,-0.03262069,-0.17631222,-0.03511081,0.02259125,0.07254235,0.02739587,0.05946107,0.03053556,0.0102579,0.03501372,0.02997078,0.0564656,-0.04021755,-0.02391496,0.04059822,-0.00232789,0.04789751,-0.0250407,-0.00042031,-0.06369855,-0.02072912,-0.04610055,-0.11121316,-0.05949482,-0.01817743,0.00709461,0.01793308,0.0028869,0.06679375,-0.02159879,0.01299781,0.05630244,0.02146762,0.04313569,-0.26496917,0.03644791,0.04793195,-0.02260346,-0.1258547,-0.01446601,0.02831829,0.0139184,-0.0527265,0.03384603,0.027942,0.01548622,0.05650432,0.01863425,-0.01863041,-0.05762963,-0.00080226,-0.05172428,-0.03829478,0.06150456,0.01678016,0.0069862,-0.0700518,-0.0114368,0.01104276,-0.04225427,0.02748128,0.00525052,-0.01687388,-0.0026775,0.00165933,0.04802739,-0.07648974,-0.04642429,0.01152325,0.03709023,0.01266017,0.11195738,-0.03920404,-0.01525807,0.04415364,-0.04690216,0.00011012,-0.04604387,-0.04165517,-0.05913915,0.01704903,0.02351345,-0.03348121,-0.0012186,0.00027688,-0.03950738,0.0108745,-0.02946477,0.04775372,-0.02594816,-0.01598714,-0.01205291,-0.01078194,0.026332,-0.01706702,-0.00595389,0.01196371,-0.03240327,0.02844747,0.03667523,0.02858989,-0.01030935,0.03536469,0.05101877,-0.03154599,-0.00947195,-0.01750696,0.01459883,-0.02719484,-0.00512446,-0.00132815,-0.01203025,-0.01340639,-0.08760412,-0.02152996,-0.07235187,-0.09971068,0.13668597,-0.04419032,0.00137676,0.00574245,0.00051989,-0.01609554,0.07802673,-0.03446517,0.00241361,0.030922,-0.04218631,0.05839483,0.12879106,-0.04044247,-0.00430219,-0.03029287,-0.06682286,-0.02502582,0.14060362,-0.00289568,-0.0105789,-0.03114172,0.06167834,-0.0125333,-0.07132837,0.01632253,-0.01139854,0.02354518,-0.01719599,0.03698781,0.09153843,0.07630187,0.00189086,-0.03153624,0.03888707,-0.00301939,-0.01688756,-0.0509578,0.03128347,-0.00073934,-0.02928204,0.01084844,-0.02245523,0.03454803,-0.01240747,-0.07879758,0.02424275,0.00814843,0.02175515,-0.07002563,-0.04419381,-0.03505688,-0.04722261,-0.01024968,-0.0997378,0.09493811,0.07307275,-0.04409007,-0.02083405,0.05424834,0.01473131,0.03932034,-0.01451287,0.03175502,0.03457854,-0.05250435,-0.01399194,0.0513567,0.03342263,0.00390199,0.03228832,0.02497786,-0.0095866,0.06233684,0.12103303,0.04703804,-0.0295981,-0.09958316,-0.20029126,-0.01579383,0.03022951,-0.05651246,0.00029949,0.0135851,0.05400022,-0.05988036,0.08649664,0.06793363,0.07402895,0.066556,-0.08129951,-0.00178988,0.01749633,-0.0087495,0.02644713,-0.04783194,-0.02073537,0.04450885,0.02807178,-0.01044946,0.00591325,0.01412887,0.06044133,0.00230595,0.10210485,0.02149346,-0.02863424,-0.0163287,0.03812149,0.01559297,-0.00428393,-0.08666147,0.05396268,0.01658676,-0.0471581,-0.00821903,-0.01345201,-0.06033759,0.01994247,0.02337536,0.00425333,-0.03846182,-0.03501394,-0.05077883,-0.02420094,-0.00981021,-0.05914889,0.03862181,0.02952119,0.015102,0.07921327,0.02138927,-0.00976749,-0.0049236,-0.00494952,0.00752326,-0.01530143,-0.00245004,0.03117066,-0.0043161,0.02498088,-0.08114307,-0.00959382,0.01491977,0.0056072,0.03433134,-0.01722403,0.04778061,0.0338687,0.13644323,0.02547132,0.03529958,0.04567917,0.05158476,0.02298207,-0.08019853,-0.00727869,-0.00514626,0.03634184,0.01141922,0.07740128,0.02153548,-0.0382676,0.01842995,0.03671896,-0.06045546,0.00567011,-0.0227375,-0.07730536,-0.02658666,-0.01006421,0.01342906,0.03637173,-0.0213346,-0.31380555,0.01301629,-0.0591525,0.02394087,0.01410949,0.01904335,-0.00827511,0.00302988,-0.01988758,0.02095942,-0.05511036,0.06649444,0.03494243,-0.07189351,-0.01114312,0.02350187,0.00064325,-0.02205099,0.01739364,-0.03563723,-0.02862715,0.02240434,0.19956055,-0.05196111,-0.01736391,-0.05116785,0.00201791,0.051797,0.06841458,-0.0202504,0.012677,-0.02142625,0.08902355,0.02563269,0.02684204,0.0205564,-0.04596069,0.02088207,-0.00901542,-0.06548804,-0.03408976,0.04559869,-0.03228962,-0.00709738,0.07555821,0.01173529,-0.04467772,-0.06190858,-0.01759191,0.00480342,-0.02830828,-0.02130924,-0.05574512,0.02600375,0.04590681,0.05871134,0.03204043,0.00653132,-0.02180759,-0.00588475,0.0346675,0.01572246,0.02275669,0.07412837,0.03520361],"last_embed":{"hash":"45fl6g","tokens":472}}},"text":null,"length":0,"last_read":{"hash":"45fl6g","at":1762193008295},"key":"多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md#paper #research","lines":[4,162],"size":5472,"outlinks":[{"title":"mimium","target":"mimium","line":6}],"class_name":"SmartBlock","last_embed":{"hash":"45fl6g","at":1762193008295}}, "smart_blocks:多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md#paper #research#状態構造ツリーåŒå£«ã®æ¯”較": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.06695257,0.00144639,-0.01751991,-0.02050073,0.03363298,-0.00490259,-0.03892659,0.04440311,0.0589953,0.03513848,-0.00164131,-0.10404725,0.0726236,0.06401366,0.02872677,-0.01995548,-0.00385638,-0.00911977,-0.05039376,-0.03280864,0.1359809,-0.04491867,0.03843664,-0.04265577,0.0439026,0.03405934,-0.0518829,-0.04259988,0.0005241,-0.17975682,-0.0313847,0.01276244,0.04732454,0.00514542,0.00760827,0.03490521,-0.01281568,0.06785074,-0.02003181,0.04954133,-0.00591434,-0.005987,-0.00741323,0.02473187,0.02602977,-0.02288441,-0.04312146,-0.06854691,-0.002592,-0.06271369,-0.09127587,-0.04280487,-0.01261847,0.01451407,0.02240034,0.01775224,0.07703628,-0.00877059,0.00382887,0.00667264,0.03189589,0.01049589,-0.24526821,0.04487958,0.03784157,-0.01676554,-0.06963255,-0.01217125,0.06149847,0.02213707,-0.08495584,0.01211775,0.01084073,-0.00412076,0.02998898,-0.00626643,-0.01873094,-0.03376263,-0.03835459,-0.01142081,-0.03871882,0.07596665,0.0180309,-0.00151283,-0.0440861,0.01245386,0.05187553,-0.03653062,0.02725754,0.02268595,-0.02422905,-0.03349339,0.03958958,0.08985706,-0.06195321,-0.00707693,0.00667424,0.02347577,-0.01264071,0.08160232,-0.04824064,-0.00096521,0.02188631,-0.05495725,0.02710548,-0.0428776,-0.00309545,-0.07073835,-0.03197756,0.00415307,-0.00828106,0.00144373,0.01436053,-0.05066705,-0.02965406,-0.00954236,0.04301561,0.01275349,-0.02876312,-0.01035768,0.0238575,0.0163279,0.00362395,0.0432952,0.03122309,-0.02432943,0.02486672,0.05396359,0.05243972,0.0146348,0.01972584,0.05484771,-0.04827181,-0.00739113,-0.01968764,0.01813613,-0.01776396,0.01698723,-0.00495917,-0.0117648,0.02373378,-0.13104811,-0.04628447,-0.0927421,-0.09328666,0.13047975,-0.03204959,0.01403524,-0.05262949,-0.02826859,-0.01830451,0.08321162,-0.01822571,-0.01968933,0.01830803,-0.02785867,0.04757677,0.10784771,-0.01924299,-0.02370359,-0.01498649,-0.04008662,-0.01752466,0.11912979,0.04499298,-0.01850132,-0.00590514,0.07078888,0.01921592,-0.04262196,0.04598272,-0.01412417,-0.01560106,-0.00750482,0.04426798,0.01987405,0.07098914,-0.00252767,-0.04840562,0.00390632,0.04574985,-0.0084632,-0.03324039,0.01688038,0.0111974,-0.06472758,-0.02920327,-0.0434088,-0.02161891,0.04341405,-0.08846482,-0.00649308,-0.01424429,0.0138957,-0.05315531,-0.04358316,-0.06806219,0.00305881,0.007382,-0.04962003,0.13446814,0.0726087,-0.03284762,-0.0491182,-0.00857175,0.01000854,0.04955382,0.00322163,0.02786095,0.05093209,-0.07396445,0.02292377,0.05043406,0.01709994,0.02102108,0.02336521,0.01637368,-0.01432264,0.048363,0.04719308,0.05860752,-0.0403971,-0.05473613,-0.20018637,-0.00482898,0.04789329,-0.01488998,-0.00531043,-0.02963141,0.02608044,-0.01493844,0.07539705,0.05025202,0.04776183,0.04231431,-0.03693139,0.02884321,0.00087329,-0.00616216,0.02837108,-0.05230397,-0.01966749,0.02832693,0.00139517,0.04756214,0.01807101,0.04581589,0.05972296,-0.02242514,0.12683177,0.01784281,-0.03890592,0.02842356,0.0178632,0.03734246,-0.02485349,-0.06685272,0.05166715,0.01492005,-0.03726767,-0.01705278,0.00073693,-0.079597,0.04919166,0.06369054,-0.05297563,-0.06219757,-0.05732343,-0.05788644,-0.03437794,-0.05001011,-0.0340928,0.05078998,0.01572217,0.00243526,0.07395843,0.02958075,-0.01064027,-0.02415818,-0.04979647,0.03826149,-0.00818376,-0.01157469,0.00861486,-0.01384387,0.01435469,-0.02899257,0.00247312,-0.02289537,-0.02714334,0.05336212,0.01114224,0.0570691,0.00922604,0.148159,0.03120757,0.01185408,0.05628215,0.04995017,0.0085197,-0.09397303,-0.00521493,-0.00291095,0.05590493,-0.01342933,0.01457357,0.03639926,-0.01438358,0.0147606,0.00366738,-0.02449292,0.05447359,-0.02827158,-0.0720857,-0.01266578,0.00459969,-0.02354659,0.04065906,-0.01377448,-0.33530319,0.00154913,-0.02743161,0.00149712,0.01950394,0.03448022,-0.00111638,0.00129356,-0.02695784,0.02176183,-0.0723204,0.06665837,0.04052364,-0.07491075,0.02331582,-0.00058064,-0.00151956,-0.04535557,0.04169067,-0.04494142,-0.05174153,0.03067097,0.22456686,-0.03159074,-0.02972839,-0.02891642,0.01922029,0.02818647,0.04940369,-0.03497675,-0.01536316,0.00981434,0.09554793,0.02100236,0.04830372,0.07572766,-0.01992272,-0.0001315,-0.00612185,-0.02817193,-0.02095895,0.03908812,-0.06374876,0.03182814,0.10421933,-0.01935936,-0.05759367,-0.08093783,-0.02093762,0.00319268,-0.01325031,-0.01189537,-0.04369368,0.03182854,0.02787149,0.00928359,0.01287681,-0.00165668,-0.00971129,-0.01242614,0.02625349,0.03295952,0.03455191,0.09851422,0.06532736],"last_embed":{"hash":"ggxon5","tokens":507}}},"text":null,"length":0,"last_read":{"hash":"ggxon5","at":1762193008339},"key":"多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md#paper #research#状態構造ツリーåŒå£«ã®æ¯”較","lines":[80,112],"size":561,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"ggxon5","at":1762193008339}}, + +"smart_sources:多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md": {"path":"多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md","embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.04828151,-0.01517538,0.00906407,-0.02771934,0.0346327,0.03131747,-0.07433163,0.05349542,0.04490082,0.01965595,0.01266471,-0.06406876,0.05357479,0.06090457,0.01119192,-0.01839614,0.01343946,-0.05031481,-0.05249674,-0.01529202,0.15580373,-0.03936385,0.03425002,-0.02554833,0.07515801,0.01809142,-0.02068525,-0.01750689,-0.03466494,-0.16523767,-0.03803512,0.01336498,0.07223744,0.01510463,0.04782869,0.00581932,0.01245751,0.04683775,0.00254673,0.0555324,-0.03629488,-0.01094309,0.02718189,-0.00355795,0.04005891,-0.01990458,-0.00852871,-0.06313202,-0.03140478,-0.04536589,-0.10422902,-0.05982641,-0.01230383,0.00961585,0.02790446,0.00789597,0.05847933,-0.01783372,0.00962032,0.05866222,0.02601361,0.02793916,-0.26979953,0.03068163,0.04220859,-0.02868266,-0.09173433,-0.01738752,0.04289103,0.00881162,-0.04722809,0.01127,0.00865429,0.01916429,0.05378183,0.01841501,-0.02490663,-0.06524423,-0.00376066,-0.05247312,-0.02755183,0.05732418,0.00990725,-0.01220547,-0.03824747,-0.00843847,0.01876927,-0.03669746,0.01521502,0.01983664,-0.03068997,-0.01119069,0.00723592,0.04254078,-0.07500538,-0.02017346,0.00737649,0.02642949,-0.00334695,0.10357308,-0.05101009,0.01874861,0.01516039,-0.05401858,0.00590946,-0.03667465,-0.03839323,-0.06115799,0.0197215,0.00779143,-0.02837518,0.00121944,0.02866922,-0.04798699,0.00549502,-0.00813572,0.08344332,-0.01335388,-0.00865675,-0.00063084,0.02530398,0.00918458,0.00240348,-0.01560623,0.01151494,-0.00367678,0.02644916,0.03362491,0.01652312,-0.01465121,0.05391981,0.06000238,-0.05424735,-0.00738959,-0.00509272,0.016466,-0.02713678,-0.02250965,0.00103689,-0.01681723,-0.03387734,-0.1262223,-0.02317294,-0.07803225,-0.0993823,0.13967071,-0.05487924,0.0037463,0.01944356,-0.00859239,-0.02780228,0.07710917,-0.01516016,-0.02220491,0.03305377,-0.046662,0.05833658,0.12733957,-0.04814702,0.00154395,-0.03401837,-0.07626993,-0.03019551,0.12612537,0.01753052,-0.02773548,-0.02056631,0.06055476,0.01855475,-0.07090388,0.01431209,-0.00334048,0.0192597,-0.0163972,0.06738758,0.09683182,0.09598109,0.01006411,-0.03882705,0.03970144,-0.0056285,-0.02739967,-0.04006793,0.04103617,-0.01597453,-0.03552204,0.01427345,-0.02259326,0.03801757,-0.0061365,-0.07310129,0.01698487,0.00697032,0.02971563,-0.05128564,-0.05741592,-0.03495617,-0.02246238,-0.00175471,-0.09074894,0.09930959,0.04973929,-0.04062723,-0.03351645,0.0581498,-0.00161241,0.03940171,-0.02528874,0.02956435,0.03717725,-0.03659784,-0.01004796,0.06004794,0.04462557,0.00403185,0.02965445,0.01801541,-0.00083918,0.04804205,0.10274957,0.02774204,-0.00718372,-0.08810395,-0.20157294,-0.00123127,0.03808947,-0.05720103,-0.01283234,0.01548595,0.0508883,-0.07616311,0.1036773,0.07479197,0.0782224,0.07044954,-0.05976588,-0.00697534,0.00523593,-0.00695681,0.03794569,-0.04291292,-0.02160001,0.05070641,0.0219473,-0.01061888,0.00747226,-0.00539579,0.04408463,0.0056252,0.09495005,0.04071087,-0.04288275,-0.02625296,0.05390524,0.01512447,-0.00758446,-0.09228418,0.05613212,0.00679654,-0.04823154,-0.01277082,-0.01320283,-0.05947952,0.01742423,0.02438481,0.00880528,-0.04446401,-0.04157336,-0.05577935,-0.02345069,-0.00571509,-0.05351062,0.04255898,0.04080776,0.0058984,0.09423952,0.03665904,-0.00573552,-0.0163237,-0.01047603,-0.0047753,0.00098078,0.0038746,0.0290133,0.00651435,-0.01357754,-0.06995568,-0.02247181,-0.00204834,0.00736542,0.02645969,-0.02296801,0.04411576,0.02171151,0.13010088,0.01360519,0.02589878,0.05473169,0.04284343,0.00254366,-0.07819048,-0.00619903,0.00189728,0.03881833,0.00250697,0.08441199,0.05166014,-0.02431281,0.0133683,0.0373925,-0.05107107,0.01429161,-0.01447571,-0.06571983,-0.04141194,-0.01259902,0.00025455,0.03408977,-0.00500045,-0.32317805,0.02471129,-0.04988255,0.01206101,0.02758442,0.01801583,-0.01669815,-0.01008383,-0.03663532,0.03667895,-0.05621309,0.07594997,0.03049136,-0.07207087,0.00564484,0.0160503,0.00793649,-0.01916395,0.0020979,-0.03888035,-0.02610042,0.0267573,0.19182304,-0.03084715,-0.0162387,-0.03340451,-0.01744382,0.04894535,0.0865764,-0.00904047,-0.01427078,-0.01819906,0.09689737,0.0288652,0.00989372,0.0192777,-0.0458016,0.01426494,-0.01774603,-0.04559176,-0.04665128,0.04634793,-0.01519447,0.01683944,0.09266575,0.00675044,-0.05653271,-0.06239571,-0.01588566,0.00085946,-0.0232172,-0.02307927,-0.03829979,0.0326874,0.02379701,0.06903826,0.04876067,0.01747691,-0.02991226,-0.01490318,0.03111873,0.01207038,0.00871143,0.05328949,0.03322826],"last_embed":{"hash":"1wzm4z0","tokens":494}}},"last_read":{"hash":"1wzm4z0","at":1762296976123},"class_name":"SmartSource","last_import":{"mtime":1762296962597,"size":13805,"at":1762296975563,"hash":"1wzm4z0"},"blocks":{"#---frontmatter---":[1,3],"#paper #research":[4,166],"#paper #research#{1}":[6,6],"#paper #research#概è¦":[7,16],"#paper #research#概è¦#{1}":[9,16],"#paper #research#背景ã¨ãƒ¢ãƒãƒ™ãƒ¼ã‚·ãƒ§ãƒ³":[17,42],"#paper #research#背景ã¨ãƒ¢ãƒãƒ™ãƒ¼ã‚·ãƒ§ãƒ³#{1}":[19,42],"#paper #research#mimium and lambda-mmm":[43,60],"#paper #research#mimium and lambda-mmm#{1}":[45,60],"#paper #research#多段階計算":[61,66],"#paper #research#多段階計算#{1}":[63,66],"#paper #research#コールツリーã®è§£æž":[67,79],"#paper #research#コールツリーã®è§£æž#{1}":[69,71],"#paper #research#コールツリーã®è§£æž#{2}":[72,79],"#paper #research#状態構造ツリーåŒå£«ã®æ¯”較":[80,116],"#paper #research#状態構造ツリーåŒå£«ã®æ¯”較#{1}":[82,102],"#paper #research#状態構造ツリーåŒå£«ã®æ¯”較#サンプルコード":[103,116],"#paper #research#状態構造ツリーåŒå£«ã®æ¯”較#サンプルコード#{1}":[105,116],"#paper #research#å•é¡Œç‚¹":[117,154],"#paper #research#å•é¡Œç‚¹#{1}":[119,154],"#paper #research#å°†æ¥çš„ãªå±•æœ›":[155,166],"#paper #research#å°†æ¥çš„ãªå±•æœ›#{1}":[158,166]},"outlinks":[{"title":"mimium","target":"mimium","line":9}],"metadata":{"date":"2025-09-25 11:42","tags":["#paper","#research"]},"task_lines":[],"last_embed":{"hash":"1wzm4z0","at":1762296975565}},"smart_blocks:多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md#paper #research": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05287177,-0.02104986,-0.00400844,-0.02807407,0.03721584,0.0386748,-0.05764281,0.0679827,0.0549857,0.01749327,0.00998995,-0.04073809,0.04857739,0.04210537,0.0069419,-0.02409214,0.01549622,-0.02905039,-0.05525406,0.00280415,0.15004449,-0.05014927,0.03847767,-0.01384371,0.07105537,0.01264573,-0.03021026,-0.02191502,-0.03262069,-0.17631222,-0.03511081,0.02259125,0.07254235,0.02739587,0.05946107,0.03053556,0.0102579,0.03501372,0.02997078,0.0564656,-0.04021755,-0.02391496,0.04059822,-0.00232789,0.04789751,-0.0250407,-0.00042031,-0.06369855,-0.02072912,-0.04610055,-0.11121316,-0.05949482,-0.01817743,0.00709461,0.01793308,0.0028869,0.06679375,-0.02159879,0.01299781,0.05630244,0.02146762,0.04313569,-0.26496917,0.03644791,0.04793195,-0.02260346,-0.1258547,-0.01446601,0.02831829,0.0139184,-0.0527265,0.03384603,0.027942,0.01548622,0.05650432,0.01863425,-0.01863041,-0.05762963,-0.00080226,-0.05172428,-0.03829478,0.06150456,0.01678016,0.0069862,-0.0700518,-0.0114368,0.01104276,-0.04225427,0.02748128,0.00525052,-0.01687388,-0.0026775,0.00165933,0.04802739,-0.07648974,-0.04642429,0.01152325,0.03709023,0.01266017,0.11195738,-0.03920404,-0.01525807,0.04415364,-0.04690216,0.00011012,-0.04604387,-0.04165517,-0.05913915,0.01704903,0.02351345,-0.03348121,-0.0012186,0.00027688,-0.03950738,0.0108745,-0.02946477,0.04775372,-0.02594816,-0.01598714,-0.01205291,-0.01078194,0.026332,-0.01706702,-0.00595389,0.01196371,-0.03240327,0.02844747,0.03667523,0.02858989,-0.01030935,0.03536469,0.05101877,-0.03154599,-0.00947195,-0.01750696,0.01459883,-0.02719484,-0.00512446,-0.00132815,-0.01203025,-0.01340639,-0.08760412,-0.02152996,-0.07235187,-0.09971068,0.13668597,-0.04419032,0.00137676,0.00574245,0.00051989,-0.01609554,0.07802673,-0.03446517,0.00241361,0.030922,-0.04218631,0.05839483,0.12879106,-0.04044247,-0.00430219,-0.03029287,-0.06682286,-0.02502582,0.14060362,-0.00289568,-0.0105789,-0.03114172,0.06167834,-0.0125333,-0.07132837,0.01632253,-0.01139854,0.02354518,-0.01719599,0.03698781,0.09153843,0.07630187,0.00189086,-0.03153624,0.03888707,-0.00301939,-0.01688756,-0.0509578,0.03128347,-0.00073934,-0.02928204,0.01084844,-0.02245523,0.03454803,-0.01240747,-0.07879758,0.02424275,0.00814843,0.02175515,-0.07002563,-0.04419381,-0.03505688,-0.04722261,-0.01024968,-0.0997378,0.09493811,0.07307275,-0.04409007,-0.02083405,0.05424834,0.01473131,0.03932034,-0.01451287,0.03175502,0.03457854,-0.05250435,-0.01399194,0.0513567,0.03342263,0.00390199,0.03228832,0.02497786,-0.0095866,0.06233684,0.12103303,0.04703804,-0.0295981,-0.09958316,-0.20029126,-0.01579383,0.03022951,-0.05651246,0.00029949,0.0135851,0.05400022,-0.05988036,0.08649664,0.06793363,0.07402895,0.066556,-0.08129951,-0.00178988,0.01749633,-0.0087495,0.02644713,-0.04783194,-0.02073537,0.04450885,0.02807178,-0.01044946,0.00591325,0.01412887,0.06044133,0.00230595,0.10210485,0.02149346,-0.02863424,-0.0163287,0.03812149,0.01559297,-0.00428393,-0.08666147,0.05396268,0.01658676,-0.0471581,-0.00821903,-0.01345201,-0.06033759,0.01994247,0.02337536,0.00425333,-0.03846182,-0.03501394,-0.05077883,-0.02420094,-0.00981021,-0.05914889,0.03862181,0.02952119,0.015102,0.07921327,0.02138927,-0.00976749,-0.0049236,-0.00494952,0.00752326,-0.01530143,-0.00245004,0.03117066,-0.0043161,0.02498088,-0.08114307,-0.00959382,0.01491977,0.0056072,0.03433134,-0.01722403,0.04778061,0.0338687,0.13644323,0.02547132,0.03529958,0.04567917,0.05158476,0.02298207,-0.08019853,-0.00727869,-0.00514626,0.03634184,0.01141922,0.07740128,0.02153548,-0.0382676,0.01842995,0.03671896,-0.06045546,0.00567011,-0.0227375,-0.07730536,-0.02658666,-0.01006421,0.01342906,0.03637173,-0.0213346,-0.31380555,0.01301629,-0.0591525,0.02394087,0.01410949,0.01904335,-0.00827511,0.00302988,-0.01988758,0.02095942,-0.05511036,0.06649444,0.03494243,-0.07189351,-0.01114312,0.02350187,0.00064325,-0.02205099,0.01739364,-0.03563723,-0.02862715,0.02240434,0.19956055,-0.05196111,-0.01736391,-0.05116785,0.00201791,0.051797,0.06841458,-0.0202504,0.012677,-0.02142625,0.08902355,0.02563269,0.02684204,0.0205564,-0.04596069,0.02088207,-0.00901542,-0.06548804,-0.03408976,0.04559869,-0.03228962,-0.00709738,0.07555821,0.01173529,-0.04467772,-0.06190858,-0.01759191,0.00480342,-0.02830828,-0.02130924,-0.05574512,0.02600375,0.04590681,0.05871134,0.03204043,0.00653132,-0.02180759,-0.00588475,0.0346675,0.01572246,0.02275669,0.07412837,0.03520361],"last_embed":{"hash":"w8d2uf","tokens":472}}},"text":null,"length":0,"last_read":{"hash":"w8d2uf","at":1762296976012},"key":"多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md#paper #research","lines":[4,166],"size":5506,"outlinks":[{"title":"mimium","target":"mimium","line":6}],"class_name":"SmartBlock","last_embed":{"hash":"w8d2uf","at":1762296976012}}, +"smart_blocks:多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md#paper #research#状態構造ツリーåŒå£«ã®æ¯”較": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.07195482,0.00509464,-0.02610107,-0.02216767,0.0388818,-0.00131657,-0.0415702,0.0622446,0.05645563,0.02709999,0.00986211,-0.10632717,0.06971079,0.07120473,0.03094684,-0.01476203,0.00953796,-0.01795683,-0.06096723,-0.01205884,0.13153335,-0.03827824,0.02993039,-0.0576949,0.04472098,0.01237505,-0.05199187,-0.03650817,0.0005273,-0.16915336,-0.03057341,0.00795758,0.04740688,0.00732966,0.01058315,0.03418043,-0.00670161,0.0741732,-0.01746661,0.04255073,-0.00435246,-0.01184325,-0.01757777,0.01153258,0.02343874,-0.03099409,-0.03374495,-0.07749095,-0.00157596,-0.04621684,-0.08652154,-0.04067521,-0.01092086,0.02755887,0.02737233,0.01690921,0.07150791,-0.01131818,0.00004119,0.00593696,0.03811184,0.01261903,-0.25293764,0.04236818,0.02680803,-0.00890513,-0.07590972,-0.00763107,0.06453425,0.01729067,-0.08119948,0.01052602,0.00619355,0.0071579,0.03694651,0.00736894,-0.01148113,-0.02347043,-0.03971881,-0.02353284,-0.03141782,0.06397922,0.01925989,-0.00322099,-0.04879284,0.0115531,0.05296358,-0.04158488,0.02188806,0.03162626,-0.03073112,-0.03903708,0.03160336,0.07888574,-0.07869087,-0.00924885,0.0034914,0.02985479,-0.01139327,0.08420544,-0.04733107,-0.011388,0.03561525,-0.05826446,0.02161875,-0.04156569,-0.00961944,-0.078641,-0.0278107,0.00513627,-0.00150475,-0.00060266,0.00914148,-0.03435118,-0.01377167,0.00412397,0.04246759,0.01615678,-0.01983108,-0.01378089,0.03867692,0.02232394,-0.0016569,0.03323248,0.02168355,-0.01998495,0.02232439,0.05709027,0.05997416,0.00804918,0.01505021,0.05963782,-0.05707139,-0.00980788,-0.02698458,0.0138641,-0.02192973,0.00939909,-0.00249039,-0.02166061,0.01932064,-0.11841829,-0.05284018,-0.09126882,-0.10456911,0.11664723,-0.01746736,0.0042703,-0.04821161,-0.02009691,-0.02231174,0.08215933,-0.02432167,-0.01612979,0.02495031,-0.01966826,0.04724552,0.11876617,-0.01099792,-0.02326011,-0.01309273,-0.0237099,-0.01127079,0.11393432,0.04572959,-0.01524132,-0.01307491,0.08393193,0.00880241,-0.05552319,0.04769088,-0.01549976,-0.01864143,-0.00499758,0.03830652,0.01123573,0.06642614,-0.01622434,-0.04378932,-0.00310833,0.04523067,-0.0126948,-0.03263493,0.01651601,0.02664578,-0.06217117,-0.02365303,-0.0503394,-0.0120347,0.05254456,-0.08909084,0.00164189,-0.00519602,0.01625208,-0.04802844,-0.04254126,-0.0646826,-0.00656856,0.00435686,-0.05691443,0.1142941,0.07232356,-0.04019348,-0.04494489,-0.003291,0.01321971,0.04548931,0.01024006,0.03279234,0.04941573,-0.08327349,0.03265529,0.03520706,0.02518173,0.02095239,0.02603237,0.01945792,-0.01832103,0.04760861,0.05547622,0.05309096,-0.04496664,-0.04958569,-0.20478208,0.00344292,0.03189323,-0.01305163,-0.00327939,-0.02418435,0.03087783,-0.0163828,0.07024315,0.04633876,0.05120509,0.04330076,-0.04315949,0.0299051,0.00905465,-0.01377896,0.02769068,-0.05254398,-0.01977113,0.02691038,-0.00112447,0.04444367,0.02093108,0.04872806,0.07593923,-0.02103532,0.1402645,0.01481298,-0.02533072,0.03209244,0.00775737,0.03270014,-0.02828336,-0.08148306,0.05303502,0.02096402,-0.04545016,-0.0183489,-0.00435516,-0.08833037,0.05884991,0.05881019,-0.04414025,-0.07000276,-0.06406266,-0.05977309,-0.04640297,-0.05451169,-0.03615948,0.04519505,0.01726934,-0.00636014,0.07721152,0.02999321,-0.01086868,-0.01063821,-0.0483223,0.05202098,-0.01492983,-0.00761954,0.0098932,-0.01029726,0.01295292,-0.04077173,0.00584423,-0.03485542,-0.03502252,0.05297999,-0.00309158,0.0486384,0.01264973,0.14039832,0.04050008,0.00503174,0.05295324,0.04561027,0.00494618,-0.0904998,-0.00608545,-0.00109359,0.06717976,-0.00798973,0.02145319,0.02940391,-0.01894543,0.03739141,0.00109505,-0.02972767,0.0522752,-0.04007785,-0.07357874,-0.01172152,0.00954255,-0.04042009,0.05010338,-0.0137126,-0.33082786,0.01027733,-0.03338949,0.01699336,0.01094995,0.03512262,-0.00230671,0.00653568,-0.01916609,0.02436466,-0.07007323,0.07035885,0.03904523,-0.08370461,0.01859936,0.0078493,-0.01060316,-0.02965315,0.04698819,-0.05191104,-0.05825236,0.03939354,0.21065502,-0.03012673,-0.02176813,-0.0311897,0.01364845,0.01948737,0.04572887,-0.03263522,-0.01995994,0.00358695,0.10017907,0.01549214,0.05194459,0.06193879,-0.01587626,0.00693033,-0.00469326,-0.03563533,-0.02077292,0.03302838,-0.06580726,0.03000344,0.10667651,-0.00758653,-0.048411,-0.07018538,-0.01971437,0.00764653,-0.01368941,-0.01066518,-0.04584268,0.02794232,0.03173925,0.00895166,0.02923648,0.00914119,-0.01002717,-0.0020242,0.02057155,0.03553273,0.02993263,0.08468807,0.06849243],"last_embed":{"hash":"36cvxz","tokens":487}}},"text":null,"length":0,"last_read":{"hash":"36cvxz","at":1762296976054},"key":"多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md#paper #research#状態構造ツリーåŒå£«ã®æ¯”較","lines":[80,116],"size":595,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"36cvxz","at":1762296976054}}, +"smart_blocks:多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md#paper #research#状態構造ツリーåŒå£«ã®æ¯”較#{1}": {"path":null,"embeddings":{"TaylorAI/bge-micro-v2":{"vec":[-0.05411605,-0.00637762,-0.02650694,-0.01549276,0.02430465,0.00486604,-0.0380788,0.03634105,0.0520795,0.04192181,0.00571152,-0.09228077,0.07919844,0.072442,0.02419171,-0.00398731,0.01485041,-0.01771501,-0.09145056,-0.00243586,0.13739266,-0.03390196,0.01919697,-0.03954178,0.05251011,-0.00184691,-0.04923825,-0.02475077,-0.00547366,-0.14275143,-0.04089941,-0.02950965,0.05927581,0.00590086,0.02289845,0.03593069,-0.01307316,0.07508999,-0.01899511,0.03552285,-0.00987681,-0.00455151,-0.00368888,0.0071373,0.0117014,-0.03202403,0.0010463,-0.06574881,-0.00184462,-0.02623696,-0.11350597,-0.02595956,-0.00543575,0.03045605,0.0545096,0.01152829,0.0645248,-0.00627837,0.00003181,0.00713415,0.02199172,0.02517107,-0.24108556,0.02354066,0.03663486,-0.01688028,-0.07463938,0.00644228,0.06893848,0.00693967,-0.07039671,0.01144242,-0.00226537,0.02170497,0.02356001,0.0265098,0.003402,-0.02894315,-0.07402138,-0.03374574,-0.03935404,0.07297137,0.01304616,0.02052082,-0.04401224,0.02374109,0.04661013,-0.05672655,0.02358482,0.04689271,-0.02581807,-0.01814176,0.01274383,0.06459887,-0.09818825,-0.02913564,-0.00838256,0.0397167,-0.00338901,0.07798887,-0.04126801,-0.02324375,0.04449278,-0.04744627,0.0198572,-0.03802017,-0.02702345,-0.07044934,-0.01829517,-0.00266649,-0.00711954,-0.00469175,0.01360112,-0.01831129,0.00457227,0.02425206,0.04340769,0.00063576,-0.04730286,0.00588106,0.05063346,0.02162448,-0.0036517,0.02852363,0.01319232,-0.00826482,0.01903818,0.06002253,0.08679204,0.00806403,0.00597458,0.06923902,-0.06428695,-0.01827167,-0.0183656,-0.00916717,-0.03954445,0.01735592,0.01894203,-0.03290084,0.03454069,-0.10639559,-0.05193074,-0.09083521,-0.08533534,0.12696239,0.00099014,-0.0106479,-0.04454282,-0.00626688,-0.01556141,0.0781051,-0.02549152,-0.00530105,0.02134342,-0.04034446,0.03460149,0.14078161,-0.01208584,0.00817642,-0.00861681,-0.03277739,-0.01586848,0.09768399,0.05698663,-0.01706705,-0.00244597,0.07211476,-0.01013484,-0.05617225,0.02683906,0.00936097,-0.01733181,-0.00285474,0.05415474,0.00820681,0.0707736,-0.04339734,-0.05286048,-0.02513339,0.03855313,-0.01450572,-0.04091873,0.03708648,0.04331662,-0.03798918,-0.01601689,-0.06057623,0.00031047,0.04700005,-0.09261028,-0.0048261,-0.00984433,0.03435618,-0.03218535,-0.04269405,-0.05679782,-0.02739834,-0.00604819,-0.05347522,0.11086226,0.04974134,-0.04051114,-0.04531851,-0.00416803,0.02162664,0.05171622,0.00299789,0.02445279,0.06518929,-0.05430545,0.02715427,0.01985737,0.05242252,0.02022504,0.02351207,0.01524486,0.00785203,0.05238542,0.0666574,0.03730544,-0.06151491,-0.05343262,-0.2214237,-0.0066803,0.02144274,-0.0287362,-0.00404872,-0.03579203,0.0305746,-0.03289014,0.06461247,0.03793461,0.07861838,0.03763729,-0.03445674,0.00616494,0.01343936,-0.02574089,0.03748062,-0.06176572,-0.01984445,0.04058878,0.00001763,0.03410738,0.00468842,0.04683769,0.06435327,-0.04705058,0.13646533,0.03180208,-0.00761254,0.01784189,-0.00682041,0.02765454,-0.01250597,-0.10733926,0.06034981,0.02134372,-0.08704935,-0.01896169,0.0081173,-0.08330569,0.05241348,0.0550469,-0.03395006,-0.05136576,-0.06199525,-0.06197799,-0.05769549,-0.03453185,-0.03097567,0.02314456,0.02226272,-0.00725686,0.07035697,0.03619369,-0.00248753,-0.00465413,-0.0418697,0.05177124,-0.00880083,-0.00532087,0.02925123,-0.00617901,-0.00599792,-0.06604996,-0.00307389,-0.01867091,-0.03400897,0.0276403,-0.01874571,0.03478452,-0.0013858,0.11645626,0.04466882,-0.01919983,0.03006402,0.05572674,0.00490347,-0.09199513,-0.00980596,-0.00053172,0.07616778,-0.01689766,0.04624609,0.03259443,-0.00777897,0.05175137,0.00375557,-0.05289382,0.03858603,-0.04668166,-0.06431358,-0.02453073,0.00469393,-0.04043574,0.04011013,-0.01283715,-0.32526916,0.0181963,-0.04103758,0.01908177,0.01618424,0.03144055,-0.02430504,-0.00397553,-0.028801,0.03274842,-0.07201038,0.08655638,0.04723072,-0.06706531,0.00201981,0.0189699,0.01602408,-0.02771357,0.04463349,-0.04200489,-0.04044316,0.02000053,0.20362866,-0.01080715,-0.0042744,-0.04286272,-0.0034634,0.00827003,0.04611525,-0.00807141,-0.04366405,-0.01461686,0.13311139,0.0110496,0.0391293,0.04268534,-0.01338577,0.00806799,0.01595092,-0.04392956,-0.01889296,0.05078875,-0.0568007,0.00626037,0.10207242,0.0359488,-0.05640972,-0.06306993,-0.01557538,0.00557972,-0.02710151,-0.00826297,-0.03576123,0.02661846,0.0361606,0.04470464,0.02455613,0.00597621,-0.03218023,-0.00057504,0.03617858,0.01646133,0.01985474,0.06705444,0.06635676],"last_embed":{"hash":"1n2v6n3","tokens":434}}},"text":null,"length":0,"last_read":{"hash":"1n2v6n3","at":1762296976123},"key":"多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md#paper #research#状態構造ツリーåŒå£«ã®æ¯”較#{1}","lines":[82,102],"size":413,"outlinks":[],"class_name":"SmartBlock","last_embed":{"hash":"1n2v6n3","at":1762296976123}}, diff --git a/content/多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md b/content/多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md index 7d3a4835..039903c0 100644 --- a/content/多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md +++ b/content/多段階計算ã¨å¢—分関数型リアクティブプログラミングã®ã«ã‚ˆã‚‹ä¿¡å·å‡¦ç†ã®ãƒ©ã‚¤ãƒ–コーディング.md @@ -85,12 +85,16 @@ mimiumã§ã¯é«˜éšŽé–¢æ•°ãªã©ã‚’使ã†ã“ã¨ã«ã‚ˆã£ã¦ä»»æ„ã®æ•°ã®ãƒ•ã‚£ ã¾ã å®Œäº†ã—ã¦ã„ãªã‘ã‚Œã°ã€æœ€é•·å…±é€šéƒ¨åˆ†åˆ—ã®æ¤œå‡ºã‚’è¡Œã†ã€‚ +å†å¸°çš„ãªãƒžãƒƒãƒã®ä»•æ–¹ パーシャルマッãƒã¿ãŸã„ãªã‚‚ã®ãŒèµ·ãã†ã‚‹ + 内部状態構造を比較ã™ã‚‹æœ¨ã¯ã€ã‚ãã¾ã§ç·šå½¢ãƒ¡ãƒ¢ãƒªä¸Šã®å‚照範囲をä¿æŒã—ã¦ãŠã‚Šã€ãƒ‡ãƒ¼ã‚¿ãã®ã‚‚ã®ã‚’木構造ã¨ã—ã¦ä¿æŒã—ã¦ã„ã‚‹ã‚ã‘ã§ã¯ãªã„。 ã¾ãšã€æ–°ã—ã„内部状態木構造ã‹ã‚‰å¿…è¦ãªãƒ¡ãƒ¢ãƒªã‚µã‚¤ã‚ºã‚’算出ã—ã€ãƒ¡ãƒ¢ãƒªã‚’アロケートã™ã‚‹ã€‚ ãã®å¾Œã€æœ¨æ§‹é€ ã®æ¯”較を行ã„ã€å¿…è¦ãªå·®åˆ†å¤‰æ›´å‡¦ç†ã®ãƒ‘ッãƒã‚’作æˆã™ã‚‹ã€‚ + + (ã“ã“ã¾ã§ã¯ã‚ªãƒ¼ãƒ‡ã‚£ã‚ªã‚¹ãƒ¬ãƒƒãƒ‰ã‚’ブロックã›ãšã«å®Ÿè¡Œå¯èƒ½) å¤ã„内部メモリã¨æœ¨æ§‹é€ ã«ãƒ‘ッãƒã‚’é©ç”¨ã—ã€æ–°ã—ã„メモリã¸å¿…è¦ãªãƒ‡ãƒ¼ã‚¿ã‚’コピーã™ã‚‹ã€‚