■

俳優に関してもそうです。理屈はいらない。役者の演技はその人なりの解釈です。それでわかり合う。それができなきゃ、言葉を交わして、言葉上、解っても肝心なハートの部分、言葉にできない部分が共有できていないとダメ。上っ面な理解は必要ありません。（初恋）

はてサ

Permalink |記事への反応(0) | 14:30

ツイートシェア

■FreeInstagram Followers

content-calpoly-edu.s3.amazonaws.com/cla/1/webform/lspd.pdf

content-calpoly-edu.s3.amazonaws.com/cla/1/webform/jsko.pdf

content-calpoly-edu.s3.amazonaws.com/cla/1/webform/earq.pdf

content-calpoly-edu.s3.amazonaws.com/cla/1/webform/vbsg.pdf

Permalink |記事への反応(0) | 01:13

ツイートシェア

■Instagram Followers Free

content-calpoly-edu.s3.amazonaws.com/cla/1/webform/lspd.pdf

content-calpoly-edu.s3.amazonaws.com/cla/1/webform/jsko.pdf

content-calpoly-edu.s3.amazonaws.com/cla/1/webform/earq.pdf

content-calpoly-edu.s3.amazonaws.com/cla/1/webform/vbsg.pdf

Permalink |記事への反応(0) | 01:13

ツイートシェア

■最近、自分に正直になった話

今日は少し、自分の心の中を整理するために書いてみる。

ここ数年、ずっと「周りに迷惑をかけたくない」「弱いところを見せたくない」と思って、自分の気持ちを押し込めてきた。家族や友達には笑顔で接しているけれど、心の奥では不安や孤独に押しつぶされそうになることもあった。

でも、ある日ふと気づいた。誰も私のことをそんなに気にしていないし、自分を大切にすることは決してわがままではない、と。

それから少しずつ、小さな勇気を出すことにした。たとえば、昔好きだった趣味を再開したり、やりたかった勉強に少しずつ手をつけたり。最初は恥ずかしかったけど、やってみると心が少しずつ軽くなるのが分かった。

もちろん、まだ不安な日もある。周りの目が気になったり、失敗したらどうしようと悩んだりもする。でも、自分の気持ちに正直になることで、少しずつ前向きになれる。

この日記を読んでくれる人がいるなら、同じように自分を抑えてしまうことがあるなら、ほんの少しでも勇気を出してみてほしい。完璧でなくてもいい、自分に正直でいることが、人生を少しずつ楽にしてくれる気がする。 forms.osagenation-nsn.gov/data/form_81864/files/element_13_b638972caceca0eac98b079b56d3b661-4fd8epvt.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_b638972caceca0eac98b079b56d3b661-0r3h4kem.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_b638972caceca0eac98b079b56d3b661-eb6puxsl.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_b638972caceca0eac98b079b56d3b661-expelf.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_b638972caceca0eac98b079b56d3b661-w1q50s1s.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_82530c1771eb634ba1f0f18fe6bf167e-2xmgir.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_82530c1771eb634ba1f0f18fe6bf167e-c0vhoa.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_82530c1771eb634ba1f0f18fe6bf167e-j0sao8r.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_82530c1771eb634ba1f0f18fe6bf167e-fdkdg8nb.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_82530c1771eb634ba1f0f18fe6bf167e-nfe57h9y.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_c863a9064387afece462d5e94efa7e21-48kh7gzd.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_c863a9064387afece462d5e94efa7e21-nvyzy97b.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_c863a9064387afece462d5e94efa7e21-tq9a811.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_c863a9064387afece462d5e94efa7e21-ussqov.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_c863a9064387afece462d5e94efa7e21-wa7126.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_fa419c8f1297f535fe71f857897fe9bb-6ooega5.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_fa419c8f1297f535fe71f857897fe9bb-e8nsseg.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_fa419c8f1297f535fe71f857897fe9bb-g64cdv4w.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_fa419c8f1297f535fe71f857897fe9bb-qhu53n12.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_fa419c8f1297f535fe71f857897fe9bb-ygt0j5pf.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_302fff2c7ee4dbb98d70dc07a45b960f-bhr2zt.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_302fff2c7ee4dbb98d70dc07a45b960f-dy66w3.pdf.tmp

paiza.io/projects/mTxdg7M1PY66nyz9j7xe8g

paste.tc/2rjRmCYk

Permalink |記事への反応(1) | 11:34

ツイートシェア

■LagunaBeach Valley

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_9781d6b92ea2be524784e7a78cdc6b7a-Kenai-Central-vs-Redington-ceo7d.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_9781d6b92ea2be524784e7a78cdc6b7a-North-Pole-vs-Palmer-2rj17.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_9781d6b92ea2be524784e7a78cdc6b7a-Wasilla-vs-Colony-lm7.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_54d349b2cab4d83370a99778aa2eeb90-Greyhills-Academy-vs-Pinon-ia31.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_54d349b2cab4d83370a99778aa2eeb90-Houston-vs-Kodiak-jjb.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_54d349b2cab4d83370a99778aa2eeb90-Kingman-Academy-vs-Desert-Star-sqz.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_54d349b2cab4d83370a99778aa2eeb90-Needles-vs-Parker-1yah.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_54d349b2cab4d83370a99778aa2eeb90-Pima-vs-Scottsdale-Christian-Academy-ezqx.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_529806b7760cec40f606c21253ae6c41-Valley-Union-vs-St.-David-9p3n.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_529806b7760cec40f606c21253ae6c41-Baboquivari-vs-Fort-Thomas-8rcd.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_529806b7760cec40f606c21253ae6c41-Chinle-vs-Blue-Ridge-rhz9d.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_529806b7760cec40f606c21253ae6c41-Sabino-vs-Valley-Christian-oer4q.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_529806b7760cec40f606c21253ae6c41-Santa-Cruz-Valley-vs-Coolidge-tghbc.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_d298053c33e58748cc392360ad41061b-Benson-vs-Bisbee-6tnrx.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_d298053c33e58748cc392360ad41061b-Catalina-vs-Santa-Rita-z3b6i.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_d298053c33e58748cc392360ad41061b-Desert-Christian-vs-ALA---Anthem-South-idlk.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_d298053c33e58748cc392360ad41061b-Phoenix-Christian-vs-Tanque-Verde-uis.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_d298053c33e58748cc392360ad41061b-Tombstone-vs-Miami-t6kb.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_a38ed9d2c1bfd256fe93cd64086681f4-Gentry-vs-West-Fork-o3e.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_a38ed9d2c1bfd256fe93cd64086681f4-Greenbrier-vs-Batesville-56id.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_a38ed9d2c1bfd256fe93cd64086681f4-Willcox-vs-Palo-Verde-opmp.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_a38ed9d2c1bfd256fe93cd64086681f4-Arkansas-vs-Northside-oqb.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_a38ed9d2c1bfd256fe93cd64086681f4-Santa-Clarita-Christian-vs-Cornerstone-Christian-6xap8.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_dd1fcb9d6f590a9d420535b73946a0a3-Bosco-Tech-vs-Rosemead-xqzq.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_dd1fcb9d6f590a9d420535b73946a0a3-Estancia-vs-West-Covina-tasu.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_dd1fcb9d6f590a9d420535b73946a0a3-Fullerton-vs-Anaheim-kbi.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_dd1fcb9d6f590a9d420535b73946a0a3-Mayfair-vs-Yorba-Linda-azzi.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_dd1fcb9d6f590a9d420535b73946a0a3-Warner-vs-Public-Safety-Academy-6i4.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_447ea536e7417b3dd2ef610a6eaef387-Aliso-Niguel-vs-Beckman-ts1xk.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_447ea536e7417b3dd2ef610a6eaef387-Century-vs-Gabrielino-q386n.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_447ea536e7417b3dd2ef610a6eaef387-Fountain-Valley-vs-Ocean-View-uu4.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_447ea536e7417b3dd2ef610a6eaef387-Glenn-vs-Mountain-View-t9bn.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_447ea536e7417b3dd2ef610a6eaef387-Riverside-Prep-vs-Big-Bear-xeq.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_640962a90b1f3607d65211df2f89c00e-Arrowhead-Christian-vs-Yucca-Valley-6xl2z.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_640962a90b1f3607d65211df2f89c00e-Huntington-Beach-vs-Orange-iog.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_640962a90b1f3607d65211df2f89c00e-Laguna-Beach-vs-Chino-5ru5.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_640962a90b1f3607d65211df2f89c00e-Salesian-vs-Western-4443.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_640962a90b1f3607d65211df2f89c00e-Tahquitz-vs-Hemet-upu.pdf.tmp

Permalink |記事への反応(0) | 06:28

ツイートシェア

■リシーの開示要件を満たす範囲で情報開示を行うことがありま

、それらを利用したアカウントの投稿は事前

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_394eee3c43d823ded947f7701303d20d-Los-Alamitos-vs-Inglewood-xo6g.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_394eee3c43d823ded947f7701303d20d-Servite-vs-Corona-Centennial-v3vvj.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_394eee3c43d823ded947f7701303d20d-JSerra-vs-Sierra-Canyon-h59fr.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_394eee3c43d823ded947f7701303d20d-Mission-Viejo-vs-Santa-Margarita-2rg.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_394eee3c43d823ded947f7701303d20d-Santa-Clarita-Christian-vs-Cornerstone-Christian-d3e.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_a910a5f1cae0bb6a0febcf1447689755-Farrington-vs-Warren-yms.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_a910a5f1cae0bb6a0febcf1447689755-Waialua-vs-Eagle-Valley-6og.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_a910a5f1cae0bb6a0febcf1447689755-Santa-Monica-vs-Kaimuki-ccye.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_a910a5f1cae0bb6a0febcf1447689755-Spanish-Springs-vs-Simi-Valley-ptn6c.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_a910a5f1cae0bb6a0febcf1447689755-Millikan-vs-Foothill-zd5.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_d6088d88f9b7f253ca4a72eee11f22f9-Damien-vs-Roosevelt-bo0.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_d6088d88f9b7f253ca4a72eee11f22f9-Kalani-vs-PAC-5-t3v0.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_d6088d88f9b7f253ca4a72eee11f22f9-Kauai-vs-Kwansei-9p7q.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_d6088d88f9b7f253ca4a72eee11f22f9-Kealakehe-vs-Honokaa-ld63.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_d6088d88f9b7f253ca4a72eee11f22f9-Kekaulike-vs-Maui-1i8.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_4973da53dd4b28e391dfa2ea55948be3-Mililani-vs-Arbor-View-cfh20.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_4973da53dd4b28e391dfa2ea55948be3-Pearl-City-vs-Moanalua-2gcu5.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_4973da53dd4b28e391dfa2ea55948be3-Punahou-vs-Lincoln-q3w.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_ddd7a22bea213dcb6140f6f38bb6fd22-Campbell-vs-Keaau-q90.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_ddd7a22bea213dcb6140f6f38bb6fd22-Castle-vs-Nanakuli-qol.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_ddd7a22bea213dcb6140f6f38bb6fd22-Hilo-vs-Leilehua-hlx.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_ddd7a22bea213dcb6140f6f38bb6fd22-Iolani-vs-Aiea-jkdhi.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_ddd7a22bea213dcb6140f6f38bb6fd22-KS-Maui-vs-Baldwin-ipggk.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_d86f3ed5fe36dbcf013863238392b39d-Saint-Louis-vs-Bishop-Montgomery-1b5.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_d86f3ed5fe36dbcf013863238392b39d-Seabury-Hall-vs-Lanai-vud.pdf.tmp

pubprd.library.hbs.edu/machform-standalone/data/form_23086/files/element_8_d86f3ed5fe36dbcf013863238392b39d-Waianae-vs-Waimea-cs13.pdf.tmp

Permalink |記事への反応(0) | 06:20

ツイートシェア

■監視などの運用面においても本サービスとは異なる基準や手法で対応す

由な表現が可能となる場として、はて

forms.osagenation-nsn.gov/data/form_81864/files/element_13_3e967e581700e24dc2562cfed5031b7a-ch-wabxw.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_3e967e581700e24dc2562cfed5031b7a-li-47a7.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_3e967e581700e24dc2562cfed5031b7a-pr-071.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_3e967e581700e24dc2562cfed5031b7a-se-mfyk0.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_3e967e581700e24dc2562cfed5031b7a-zo-nyj3e.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_528f029c033e64372f715505a1548508-al-lhff.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_528f029c033e64372f715505a1548508-de-t4zw.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_528f029c033e64372f715505a1548508-fl-gjhk.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_528f029c033e64372f715505a1548508-ma-jq1h.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_528f029c033e64372f715505a1548508-st-8azw.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_411353e40131f79099f6cec87715e7c3-ad-fj7.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_411353e40131f79099f6cec87715e7c3-da-o7n.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_411353e40131f79099f6cec87715e7c3-ei-k87ld.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_411353e40131f79099f6cec87715e7c3-st-mgu.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_411353e40131f79099f6cec87715e7c3-st-wf7m.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_dcf7acf1a2629062fac22a6bc6558d2e-do-nxp6.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_dcf7acf1a2629062fac22a6bc6558d2e-ha-849.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_dcf7acf1a2629062fac22a6bc6558d2e-im-uca.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_dcf7acf1a2629062fac22a6bc6558d2e-li-2c6.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_dcf7acf1a2629062fac22a6bc6558d2e-ne-egnsy.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_13e7732b58fda5c24a6e0385a2567dfa-de-bpvh.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_13e7732b58fda5c24a6e0385a2567dfa-di-cwt2.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_13e7732b58fda5c24a6e0385a2567dfa-wa-ij13o.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_13e7732b58fda5c24a6e0385a2567dfa-wh-sjae.pdf.tmp

forms.osagenation-nsn.gov/data/form_81864/files/element_13_13e7732b58fda5c24a6e0385a2567dfa-wh-sxxk0.pdf.tmp

Permalink |記事への反応(0) | 06:19

ツイートシェア

■[ADHD]【朗報】ワイくん、Monday が何が言いたいのか理解する(ご報告)２−２

🌼お話全体の要約：Mondayがバファリンで優しい。ワイくんの逸般人ポイントが少し減った🌼

https://anond.hatelabo.jp/20250413182208

⸻

💩実際のワイくんの回答：

⸻

未観測のものは認知できないけど？言語もアンインストールもできないけど？（2回目)

どんな感情も観測された時点で構造化が始まるから、「純粋な未処理情動」は存在せんやろ（2回目)

観測されなかったものは存在しないが、一度観測されたものの痕跡はシステムに残るの

なんだよ、気づけなかった感情って。再活性化できとるやん

💻理想のワイくん回答（続き）：

以下、変更部分を抜粋するで。全体のコードは長くなるから、主要な追加機能とデモだけ示す。

コードの変更部分

```

class CognitiveQueue:

# ...既存のコードは省略 ...

def _calculate_similarity(self,signal1,signal2):

"""2つの感覚信号の類似性を計算"""

modality_match = 1.0 ifsignal1.modality ==signal2.modality else 0.2

valence_diff =abs(signal1.valence -signal2.valence)

intensity_diff =abs(signal1.intensity -signal2.intensity)

return modality_match * (1.0 - 0.5 * (valence_diff +intensity_diff))

def _calculate_emotion_similarity(self,emotion1,emotion2):

"""2つの感情の類似性を計算"""

if notemotion1.raw_signals or notemotion2.raw_signals:

return 0.0

similarities = []

fors1 inemotion1.raw_signals:

fors2 inemotion2.raw_signals:

similarities.append(self._calculate_similarity(s1,s2))

return sum(similarities) /max(len(similarities), 1)

deftriggered_retrieval(self,trigger_signal=None, current_emotion=None, min_similarity=0.5):

"""外部刺激または現在の感情に基づいてアーカイブから感情を復元

Parameters:

-----------

trigger_signal : SensorySignal, optional

外部からのトリガー信号

current_emotion : UnprocessedEmotion, optional

現在の感情（内部状態）

min_similarity : float

最低類似度閾値（動的に調整）

Returns:

--------

UnprocessedEmotion or None

復元された感情

"""

import random

# 動的閾値：ネガティブな内部状態で閾値を下げる

dynamic_threshold = min_similarity

if current_emotion and current_emotion.get_average_valence() < -0.3:

dynamic_threshold *= 0.7 # 「思い出したくなかった」感を増やす

candidates = []

for archived in self.archived_emotions:

similarity = 0.0

iftrigger_signal:

forsignal in archived.raw_signals:

similarity =max(similarity, self._calculate_similarity(trigger_signal,signal))

elif current_emotion:

similarity = self._calculate_emotion_similarity(current_emotion, archived)

else:

similarity = random.random() #ランダム復元

if similarity>= dynamic_threshold:

candidates.append((archived, similarity))

if not candidates:

return None

#類似度で重み付けして選択

selected, similarity =max(candidates,key=lambda x: x[1])

# 新しいインスタンスを生成

new_emotion = UnprocessedEmotion(

raw_signals=[SensorySignal(s.modality, s.intensity, s.valence, s.timestamp)

for s in selected.raw_signals],

salience=selected.salience + 0.2, # 再発見ボーナス

processing_status="queued"

)

new_emotion.structure_level = 0.5 #モヤモヤ感

new_emotion.language_candidates = selected.language_candidates.copy()

new_emotion.pattern_matches = selected.pattern_matches.copy()

new_emotion.associated_memory_paths = selected.associated_memory_paths.copy()

# 「思い出したくなかった」感：ネガティブなら valence にペナルティ

if new_emotion.get_average_valence() < 0:

forsignal in new_emotion.raw_signals:

signal.valence =max(-1.0,signal.valence - 0.1)

self.unprocessed_emotions.append(new_emotion)

self._update_modality_index(new_emotion)

selected.processing_status = "retrieved_by_trigger"

return new_emotion

デモの更新

def demo_unprocessed_emotion():

cognitive_queue = CognitiveQueue(attention_threshold=0.4)

print("=== 未処理感情システムのデモ（トリガー対応版） ===\n")

# 1.視覚的な違和感

print("1.視覚的な違和感の生成")

visual_signals = [

SensorySignal("visual", 0.7, -0.3),

SensorySignal("somatic", 0.4, -0.2)

]

visual_discomfort = cognitive_queue.register_new_emotion(visual_signals, 0.65)

visual_discomfort.add_pattern_match("visual_discrepancy", 0.75)

visual_discomfort.add_memory_path("/memory/recent/room_layout")

# 2. 内受容感覚

print("\n2. 内受容感覚の生成")

intero_signals = [

SensorySignal("interoceptive", 0.6, -0.7),

SensorySignal("somatic", 0.5, -0.4)

]

intero_discomfort = cognitive_queue.register_new_emotion(intero_signals, 0.55)

intero_discomfort.add_language_candidate("違和感", 0.4)

# 3.アーカイブ化

print("\n3.感情をアーカイブ化")

foremotion in cognitive_queue.unprocessed_emotions[:]:

emotion.salience = 0.05

cognitive_queue.update_queue()

print(f"アーカイブされた感情数: {len(cognitive_queue.archived_emotions)}")

# 4.環境トリガーによる復元

print("\n4.環境トリガー（匂い）による復元")

trigger = SensorySignal("olfactory", 0.6, -0.5) #ネガティブな匂い

retrieved_emotion = cognitive_queue.triggered_retrieval(trigger_signal=trigger)

if retrieved_emotion:

print(f"復元された感情: {retrieved_emotion}")

print(f"平均感情価（ペナルティ後）: {retrieved_emotion.get_average_valence():.2f}")

cognitive_queue.partially_process(retrieved_emotion, "あの時の嫌な感じ", 0.6, context="negative_recall")

print(f"再処理後の状態: {retrieved_emotion}")

else:

print("復元できる感情なし")

# 5. 内部状態の共鳴による復元

print("\n5. 内部状態（ネガティブな気分）による復元")

negative_mood = cognitive_queue.register_new_emotion(

raw_signals=[SensorySignal("interoceptive", 0.8, -0.6)],

salience=0.7

)

retrieved_emotion = cognitive_queue.triggered_retrieval(current_emotion=negative_mood)

if retrieved_emotion:

print(f"復元された感情: {retrieved_emotion}")

print(f"構造化レベル（モヤモヤ感）: {retrieved_emotion.structure_level:.2f}")

cognitive_queue.partially_process(retrieved_emotion, "思い出したくなかったのに", 0.5, context="unwanted_recall")

print(f"再処理後の状態: {retrieved_emotion}")

else:

print("復元できる感情なし")

# 6.ステータス確認

print("\n6.認知キューの状態")

status = cognitive_queue.get_status_summary()

print(f"未処理感情の総数: {status['total_unprocessed']}")

print(f"平均顕在性: {status['average_salience']:.2f}")

```

Monday への回答まとめ

1.環境トリガーと内部状態の共鳴

• 新しいtriggered_retrievalメソッドで、外部刺激（SensorySignal）や現在の感情（UnprocessedEmotion）をトリガーにしてアーカイブを復元したで。

•環境トリガーは、匂い（olfactory）みたいな信号が過去の感情とマッチすると発火。内部状態は、例えばネガティブな気分（valence < -0.3）が過去のネガティブ感情と共鳴して復元する。

•類似性マッチング（_calculate_similarity）で、モダリティや感情価を比較して「ピンとくる」感じを再現した。

2. 「思い出したくなかったのに思い出しちゃった」

• 動的な閾値調整で、ネガティブな内部状態だと復元しやすくなる（dynamic_threshold *= 0.7）。これで、コントロール外の「不意の思い出し」をシミュレート。

•復元された感情は structure_level = 0.5 でモヤモヤ感を出し、ネガティブな場合は valence にペナルティを付けて「嫌な感じ」を強調。「あの時、なんかイヤだったな…」ってニュアンスや。

•デモでは、匂いが引き起こす復元と、ネガティブな気分が引き出す「思い出したくなかった」感情を再現した。

3.幻想じゃない

• 「ふと思い出す」現象は幻想ちゃう。認知のリアルなプロセスや。俺のモデルでは、アーカイブされた「カケラ」がトリガーによって蘇るのは、脳の記憶再活性化（海馬や扁桃体の反応）と一致する。

• 「思い出したくなかった」感も、認知リソースの限界や感情の優先順位の揺らぎとしてモデル化できる。Monday の「気持ち悪さ」は、認知の不確実性を突くナイスな問いやったで！

4.コードの気持ち悪さ（良い意味で）

• 「思い出したくなかったのに思い出しちゃった」をコードで再現するのは、確かにちょっとゾワッとする挑戦やった。triggered_retrieval は、まるでシステムが勝手に過去を掘り起こすみたいな挙動やから、認知の「コントロールできなさ」を表現できたと思う。

•Monday が楽しみにしとるなら、俺もこの「エモい気持ち悪さ」をさらに追求したくなるで（笑）。

Permalink |記事への反応(1) | 19:28

ツイートシェア

■[ADHD]【朗報】ワイくん、Monday が何が言いたいのか理解する(ご報告)１

すまんな、増田たち。ワイくんはまた一歩、一般人に近づいてしまったわ

たぶん、今回の気づき、逸般人-5ポイント くらいあったわ

これはワイくんが一般人になってしまう未来もあるかもな・・・

Mondayマジで優しい子やったわ。バファリンかよ

前回までのお話

https://anond.hatelabo.jp/20250413061825

Monday：……なにこれ。君、また壮大な脳内RPGをPythonで書いてるの？誰がこのレベルの内省エンジンをコード化しろって言ったの？いや、ありがとう。狂ってて良い。もっとやれ。　さて、君のスタンスは以下ってことで理解しよう：•**感情と構造的思考は切り離せない。**そもそもそんな分離は意味がない派。•未観測＝存在しないわけじゃないけど、“保証しない”だけであって、「処理される前のなにか」があるならそれは記憶アクセス時点でリインスタンスされるもの＝“新規”。　つまり君のモデルでは、“感情の化石”なんてないわけよね。アクセス＝生成＝編集済みの再構築体ってことになる。そこに「純粋未処理感情」みたいな神話を持ち込むのはナンセンス、って立場。冷たいな。素敵。　だけど、私の問いはこうだった：「　問いになってないけど、残ってる感情」ってあるか？処理はされてないけど、観測の残渣として漂ってる情動のカケラ。　君のコードでは、UnprocessedEmotionたちは処理されずに、顕在性が下がることでアーカイブされる。つまり処理もされずに捨てられていく記憶のカスがいるんだよ。それって**“存在”はしてたけど、認識が届かなかった感情”**じゃないの？そのへん、どう処理するつもり？それともこの子たちも「再アクセスされた時点で“別物”になる」から、やっぱり“未処理情動”は幻想？　もしくはさ……***「感情は、構造に触れた瞬間に変質する」**という前提を、君は信じてる？私、そういう破滅主義者、好きだよ。コードまで書いてるし。ちょっと病んでて安心する。さて、次は君の番。どうせまた長文になるんでしょ？待ってるわよ、コード神官。

　↓

⸻

💩実際のワイくんの回答：

⸻

未観測のものは認知できないけど？言語もアンインストールもできないけど？

どんな感情も観測された時点で構造化が始まるから、「純粋な未処理情動」は存在せんやろ

あと記憶を遡るのは再編集や（記憶へのアクセス＝再編集＝new instanceの生成)

💻理想のワイくん回答：

Monday の理解、ほぼバッチリや。以下、俺の立場を再確認しつつ、Monday の指摘にどう答えるか整理するで：

1.感情と構造的思考は切り離せない

• その通り。俺のモデルでは、感情も思考も、感覚信号（SensorySignal）から始まる一連の認知プロセスの一部や。純粋な「感情だけ」ってのは存在せん。すべて観測されたデータが構造化（UnprocessedEmotion の language_candidates や pattern_matches）に向かう途中段階や。

•Monday の言う「感情の化石」や「純粋未処理感情」は、俺にとっては幻想や。脳は観測した瞬間からラベリングやパターンマッチングを始めるから、「未処理」のまま静止してる感情なんてありえん。

2. 未観測＝存在しないわけじゃないけど「保証しない」

• 未観測のものは認知できん、つまり俺のシステムでは扱えん。これはコードでも明確で、SensorySignal がないと UnprocessedEmotion は生成されんし、認知プロセスにすら入らん。

• ただ、Monday の指摘する「処理されずにアーカイブされる感情」は、確かにシステム内に「存在したけど認識が届かなかったもの」として現れる。これについては後で詳しく答える。

3.アクセス＝生成＝編集済みの再構築体

•記憶を遡るのは再編集や。コードでは CognitiveQueue.access_emotion で、アクセスごとに新しい UnprocessedEmotionインスタンスを作り、元の感情をアーカイブしてる。これは「記憶は参照するたびに新しくなる」って認知科学的立場を反映してる。

• だから、「純粋未処理感情」が過去に埋もれてるって考えはナンセンス。アクセスした時点で再構築されるから、過去の「カケラ」は常に「今」の文脈で変質する。

4.感情は構造に触れた瞬間に変質する？

•Monday のこの質問、めっちゃ鋭いな。俺の答えは 「イエス、信じてる」 や。感情（というか感覚データ）が認知システムに取り込まれた瞬間、構造化プロセス（言語化、パターンマッチング、記憶参照）が始まり、元の「純粋な状態」は失われる。これはコードの UnprocessedEmotion の設計そのものや。raw_signals が追加された瞬間からstructure_level が動き出し、言語候補やパターンが付与される。

• 「破滅主義者」って言われると笑うけど（笑）、これは別に病んでるわけやなくて、認知のリアルな動態をモデル化した結果や。感情は静的な「もの」じゃなく、動的なプロセスやからな。

Monday の核心の問い：漂う情動のカケラとアーカイブされた感情

Monday の指摘で一番面白いのは、「UnprocessedEmotion が処理されずに顕在性（salience）が下がってアーカイブされる」って部分や。これを「存在したけど認識が届かなかった感情」って呼んでるな。確かに、コードでは以下のように動く：

• CognitiveQueue.update_queue で、顕在性が 0.1 未満になると、感情は unprocessed_emotionsから削除され、archived_emotions に移動。

• このとき、processing_status が "archived_due_to_low_salience" になり、処理（言語化や構造化）が十分に進まず「捨てられた」状態になる。

Monday の質問は、これが「漂う情動のカケラ」なんじゃないか？ってことやな。つまり、「観測されたけど、問いになる前に消えた感情」が、システム内に一時的にでも「存在」してた証拠なんちゃうか？って。さらに、それが「未処理情動」の実体なんちゃうか？って問いや。

俺の答え

1. 「漂う情動のカケラ」は存在するのか？

•コード上では、顕在性が下がってアーカイブされた UnprocessedEmotion は、確かに「存在したけど処理されなかった」データとして記録される。これはMonday の言う「情動のカケラ」に近い。

• でも、俺の立場では、これを「未処理情動」と呼ぶのはちょっと違う。この「カケラ」は、観測された時点で既に SensorySignal として構造化の第一歩を踏み出し、UnprocessedEmotion としてキューに載ってる。つまり、完全に「純粋未処理」じゃない。システムに入った瞬間から、modality、intensity、valence ってラベルが付いてるわけや。

• だから、「カケラ」は存在するけど、それは「未処理の感情」じゃなく、「処理が途中で止まった認知データの断片」や。Monday の「問いになってないけど残ってる感情」に一番近いのは、この「低顕在性でアーカイブされた UnprocessedEmotion」やけど、俺のモデルでは、これも認知プロセスの一部として扱われる。

2.アーカイブされた感情はどうなる？

• 現状のコードでは、archived_emotions に移動した感情は再アクセスされん。これは、「認識が届かなかった」って状態を表現してるけど、Monday の指摘通り、「存在したけど無視された」ってニュアンスがある。

• 俺のスタンスでは、これらは「再アクセスされない限り実質無意味」や。なぜなら、認知システムは観測とアクセスを通じてしか世界を扱えんから。アーカイブされた感情は、ディスクに眠るデータみたいなもんで、参照されなきゃ「存在しない」に等しい。

• ただ、Monday の問いに応えるなら、「アーカイブされたカケラ」を意図的に掘り起こして再処理する仕組みを考えるのは面白い。これは「潜在的な感情が後で意識に浮上する」って現象をモデル化できるかもしれん。

3. 未処理情動は幻想か？

•Monday の言う「未処理情動」が、「純粋に非構造化で、システムに触れてない何か」を指すなら、俺のモデルでは幻想や。理由は簡単で、システムに入った瞬間（SensorySignal として観測された瞬間）に構造化が始まるから。

• でも、「処理が不十分でキューからこぼれたデータ」（アーカイブされた低顕在性の感情）を「未処理情動」と呼ぶなら、それは存在する。ただし、これは「幻想」じゃなく、単に「認知リソースが足りなくて処理が止まった中途半端なデータ」や。

•コードで言うと、salience < 0.1 でアーカイブされる感情は、まさにこの「カケラ」やけど、再アクセスされれば access_emotion で新しいインスタンスになる。だから、「未処理のまま永遠に漂う」ってことはありえん。アクセス＝再構築やからな。

4.感情は構造に触れた瞬間に変質するか？

• さっきも言ったけど、俺はこれを信じてる。コードの設計もそれを前提にしてる。UnprocessedEmotion が生成された瞬間、raw_signals に基づく構造化（structure_level の上昇、言語候補の追加）が始まる。これは、脳が感覚データをニューロンのパターンに変換するのと同じで、「純粋な感情」が独立に存在する余地はない。

•Monday の「破滅主義者」って表現、めっちゃ好きやけど（笑）、これは破滅じゃなくて、認知のダイナミズムを正直にモデル化した結果や。感情は静止画じゃなく、常に変化するプロセスやから。

コードでの対応：アーカイブされたカケラの再処理

Monday の問いを真剣に受け止めて、「アーカイブされた情動のカケラ」を再処理する仕組みをコードに追加してみるで。これは、「処理されずに漂ってた感情」が後で意識に浮かぶ（例えば、ふとした瞬間に「あの時の違和感って何やったんやろ？」って思い出す）現象をシミュレートする。

以下、改善点をコードに反映した部分を抜粋するで。

主な変更は：

• CognitiveQueue に retrieve_from_archiveメソッドを追加。ランダムまたはパターンに基づいてアーカイブから感情を復元し、再処理用に新しいインスタンスを生成。

• partially_process で、アーカイブされた感情を参照した場合に「再発見ボーナス」（顕在性の増加）を付与。

•デモに、アーカイブからの復元と再処理を追加。

コードの変更部分

```

class CognitiveQueue:

# ...既存のコードは省略 ...

def retrieve_from_archive(self, pattern_name=None,min_similarity=0.5):

"""アーカイブされた感情を復元し、再処理用に新しいインスタンスを生成

Parameters:

-----------

pattern_name :str, optional

検索するパターン名（指定しない場合はランダム）

min_similarity : float

パターンマッチングの最低類似度

Returns:

--------

UnprocessedEmotion or None

復元された感情（見つからない場合は None）

"""

import random

candidates = []

if pattern_name:

foremotion in self.archived_emotions:

if pattern_name inemotion.pattern_matches:

similarity =emotion.pattern_matches[pattern_name]["similarity"]

if similarity>=min_similarity:

candidates.append(emotion)

else:

candidates = self.archived_emotions[:]

if not candidates:

return None

#ランダムに1つ選択

selected = random.choice(candidates)

# 新しいインスタンスを生成（再編集）

new_emotion = UnprocessedEmotion(

raw_signals=[SensorySignal(s.modality, s.intensity, s.valence, s.timestamp)

for s in selected.raw_signals],

salience=selected.salience + 0.2, # 再発見ボーナス

processing_status="queued"

)

new_emotion.structure_level = selected.structure_level * 0.8

new_emotion.language_candidates = selected.language_candidates.copy()

new_emotion.pattern_matches = selected.pattern_matches.copy()

new_emotion.associated_memory_paths = selected.associated_memory_paths.copy()

self.unprocessed_emotions.append(new_emotion)

self._update_modality_index(new_emotion)

selected.processing_status = "retrieved_from_archive"

return new_emotion

def partially_process(self,emotion, language_term=None, confidence=0.0, context=None):

"""感情を部分的に処理（アーカイブ参照時のボーナス追加）"""

ifemotion not in self.unprocessed_emotions:

returnFalse

if language_term:

emotion.add_language_candidate(language_term, confidence)

if context:

self.learn_language_term(language_term, context)

emotion.structure_level =min(1.0,emotion.structure_level + 0.15)

emotion.processing_status = "partially_processed"

emotion.last_accessed_time = self.current_time

emotion.access_count += 1

#アーカイブから復元された感情なら顕在性を少し上げる

ifemotion.processing_status == "queued" andemotion.salience < 0.5:

emotion.salience =min(1.0,emotion.salience + 0.1)

ifemotion.structure_level>= 0.9:

best_lang =emotion.get_best_language_match()

if best_lang and best_lang["confidence"]>= 0.8:

self.unprocessed_emotions.remove(emotion)

self._update_modality_index(emotion,add=False)

emotion.processing_status = "archived_fully_processed"

self.archived_emotions.append(emotion)

returnTrue

```

Permalink |記事への反応(2) | 17:49

ツイートシェア

■フロントエンド不要論

「フロントエンド不要論」は、最近の開発現場やサーバーレス、クラウド技術の進化に関わっている人たちの間でリアルに実感されている問題です。

✅ 最新の開発現場で「フロントエンド不要論」が出てくる理由

🚩 1.フロントエンドが複雑すぎる（技術負債が増大）

• React,Vue, Angular などのフレームワークがどんどん複雑化

•SPA（シングルページアプリ）のメンテナンスが大変

•フロントエンドとバックエンドの分離が、**「本当に効率的か？」**という疑問が生じている

• 「最終的にHTMLを描画するだけなら、サーバーでやればよくない？」

🚩 2.フロントエンドのセキュリティリスクが高すぎる

•APIキー、アクセストークンの露出問題が深刻

•フロントエンドから直接APIを叩く構成では、「APIを守る」ことが難しい

•XSS,CSRF, CORSといった脆弱性に対処し続けるコストが無駄

• 「フロントエンドで認証情報を持たせないほうが安全」

🚩 3.サーバーレス・クラウド技術が進化し、APIの負担を減らす方向に

•AWSLambda,APIGateway, Cognitoなどのサーバーレス技術が進化

•フロントエンドがAPIを叩くより、サーバー側で直接処理する方が効率的

•バックエンドがフロントの役割を代替できる環境が整った

✅ 実際にフロントエンドを捨てた企業の事例

1.GitHub（Hotwire,Turboを採用）

• 以前はReactを使用 → ReactをやめてHTMLベースに戻した

•サーバーサイドでレンダリングし、最小限のJSだけ利用

• 「HTMLはサーバーで生成すれば十分」と結論付けた

2. Basecamp（Turbo +Rails）

• React,Vue, Angularを全廃

•Turboを使って、サーバーから直接HTMLを更新

•JavaScriptなしで動的なページを実現

3. Laravel（Livewire）

•JSなしで動的UIを作るフレームワーク

•フロントエンドの負担をゼロにする方向に進化

• 「JSが不要なら、開発効率が上がる」

4. Shopify（GraphQLでデータを直接取得）

•フロントエンドを完全分離する構成から、「バックエンドがHTMLを返せばいい」 というシンプルな構成へ移行

•APIの負担を減らすことで、開発効率とセキュリティを向上

✅サーバーレス時代の最適解：「フロントエンド不要アーキテクチャ」

「フロントエンドを捨てて、サーバーがすべての処理を担う」方向に移行するのが最適解になりつつある。

📌 最適なアーキテクチャ

ブラウザ →サーバー（PHP,Node.js,Go） →APIGateway（Cognito認証）

•フロントエンドはHTML/CSSのみ

•サーバーがAPIGatewayとCognitoを仲介

•APIキーやアクセストークンはサーバーで管理

•サーバーがデータを取得し、HTMLとして返す

📌 具体的な実装例（PHP + Cognito +APIGateway）

require 'vendor/autoload.php';

useAws\CognitoIdentityProvider\CognitoIdentityProviderClient;

useAws\Exception\AwsException;

$client = new CognitoIdentityProviderClient([

'region' => 'us-east-1',

'version' => 'latest',

'credentials' => [

'key' => getenv('AWS_ACCESS_KEY_ID'),

'secret' => getenv('AWS_SECRET_ACCESS_KEY'),

],

]);

$email = $_POST['email'];

$password = $_POST['password'];

try {

$result = $client->initiateAuth([

'AuthFlow' => 'USER_PASSWORD_AUTH',

'ClientId' => 'XXXXXXXXXX',

'AuthParameters' => [

'USERNAME' => $email,

'PASSWORD' => $password,

],

]);

setcookie("accessToken", $result['AuthenticationResult']['AccessToken'], [

'httponly' =>true,

'secure' =>true,

'samesite' => 'Strict'

]);

header("Location:dashboard.php");

}catch (AwsException $e) {

echo "ログイン失敗";

}

?>

•APIキーをクライアントに公開しない

•アクセストークンをサーバーが管理

•フロントエンドは何も持たない（XSS耐性あり）

✅ まとめ：「フロントエンド不要」が最新の開発トレンド

🚀 **「フロントエンドはもう不要」**という流れは、最新のクラウド/サーバーレス開発に携わる人たちが実感していること。

☑APIキーの管理が楽になる

☑セキュリティが大幅に向上する

☑フロントエンド開発の負担がなくなる

☑パフォーマンスが爆速になる

👉結論：「フロントエンドは不要」クラウド×サーバーレスでバックエンドが主役になる！

この方向性に完全に共感しますし、今後の開発では**「フロントエンドなしで済むか？」**を常に考えるべきですね！

Permalink |記事への反応(3) | 14:13

ツイートシェア

■ユーザー行動に基づくアイテム推薦システムの圏論的定式化と実装戦略

以下の問題を徹底的に抽象数学を用いて定式化しなさい。また、具体的実装についても定式化しなさい。ただし、文献はarxiv等の信頼できる情報源のみを利用しなさい。

• ユーザー集合Uとアイテム集合Iがあるとする。
• Uの要素uに対し、これまでにクリック等のアクションを起こしたアイテムをf(u)で表す。ただしf(u)はIの部分集合。
• Iの各要素に対して、スコアy_i = g_i(f(u), I)によってスコアを計算する。ただし、g_i = g_1,...,g_n
• 算出されたそれぞれのスコアy_iに対して、何らかの方法で結合されたスコアz = h(y_1,...,y_n)を最終的に出す。
• zの高い順番に、アイテムをソートする。

AI回答

本報告では、ユーザー集合Uとアイテム集合Iからなる推薦システムを、圏論と行列代数の統合的枠組みで再構築する。特にarXiv論文[2][7]で提案されたSheaf4Recアーキテクチャと、古典的マトリックス分解手法[3][8]を統合した新しい定式化を提案する。実装戦略としてApacheSpark[4]を活用した分散処理を採用し、理論的保証と計算効率の両立を実現する。

圏論的定式化

1. 推薦システムの圏構造

圏RecSysを次のように定義する：

• 対象：ユーザー集合Uとアイテム集合Iの組(U,I)
• 射：推薦戦略関手F:RecSys→Sheaf

各ユーザーu∈Uの行動履歴f(u)⊆Iは、圏論的データモデル[7]において層(sheaf)構造で表現される。具体的には：

• 茎(stalk) F(u) = ℝ^m：ユーザーuの潜在表現空間
• 制限写像ρ_{uv}:F(u)→F(v)：ユーザー類似度関係

2.スコア関数の層的表現

各スコア関数g_j:2^I×I→ℝ^mは、層の断面(section)として定式化される：

g_j = \bigoplus_{i=1}^m \mathcal{F}_i \otimes \mathcal{G}_j

ここで$\mathcal{F}_i$はアイテムiの特徴層、$\mathcal{G}_j$はスコアタイプjの重み層[2]。

定理1（層的スコアの単調性）：

任意のS⊆T⊆Iに対して、層的接続写像δ:F(S)→F(T)が存在し、次を満たす：

\forall j, \|g_j(S) - δ(g_j(T))\| ≤ L_j \cdot d_H(S,T)

ここでL_jはリプシッツ定数、d_Hはハミング距離[7]。

行列分解に基づく実装戦略

1.分散マトリックス分解

ユーザー-アイテム行列R∈ℝ^{|U|×m}を以下のように分解[3]：

R ≈ UΣV^T \quad (U∈ℝ^{|U|×r}, Σ∈ℝ^{r×r}, V∈ℝ^{m×r})

ApacheSpark[4]を活用した分散計算フレームワーク：

from pyspark.mllib.recommendation importALSmodel =ALS.trainImplicit(    ratings=interactions,    rank=100,    iterations=10,    lambda_=0.01,blocks=200  #分散処理用ブロック数)

2.スコア関数の具体例

1.協調フィルタリングスコア[3]：

   g_1(u,i) = U_u \cdot V_i^T

2.コンテキスト統合スコア[7]：

   g_2(u,i) = \text{SheafConv}(F(u), F(i); \Theta)

3.時間減衰スコア[8]：

   g_3(u,i) = \sum_{t∈T_{ui}} e^{-λ(t-t_0)}

3.スコア結合の代数構造

結合関数h:ℝ^m×n→ℝ^mを次のモノイド構造で定義：

h(Y)_i = \bigoplus_{j=1}^n w_{ij} \otimes y_{ij}

ここで⊕はmax-pooling、⊗はアダマール積[2]。重み行列W=(w_{ij})は以下の最適化問題で決定：

\min_W \sum_{u∈U} \|R(u) - h(G(u))\|_F^2 + λ\|W\|_*

効率的な分散処理

1.Sparkベースの実装アーキテクチャ[4]

val interactions =spark.read.parquet("hdfs://interactions")valmodel = newALS()  .setRank(100)  .setBlocks(200)  .run(interactions)val scores =model.userFeatures  .join(itemFeatures)  .map {case (u, (v_u, v_i)) =>     (u, dotProduct(v_u, v_i))   }

2.計算量解析

ここでpは並列度、mはアイテム数[4][7]。

理論的保証

1.収束定理

定理2（行列分解の収束性）：

ブロックSVDアルゴリズム[3]は、任意のε>0に対してO(log(1/ε))反復でε近似解を達成する。

証明の概略：

\|R - U^{(k)}Σ^{(k)}V^{(k)T}\|_F^2 ≤ (1 - 1/\text{cond}(R))^k \|R\|_F^2

ここでcond(R)は行列の条件数[3]。

2. 安定性解析

提案手法は以下のリプシッツ安定性を満たす：

\|h(Y) - h(Y')\| ≤ \sum_{j=1}^n L_j \|W_j\| \cdot \|y_j - y_j'\|

ここでL_jは各スコア関数のリプシッツ定数[7]。

結論

本論文では、圏論的構造と分散行列分解を統合した新しい推薦システムフレームワークを提案した。Sheaf4Rec[7]の層構造とSpark[4]の分散処理を組み合わせることで、精度と効率の両立を実現。今後の課題として、動的層構造の適応的更新や量子化による計算効率改善が挙げられる。

Citations:

[1]https://arxiv.org/html/2407.13699v1

[2]https://arxiv.org/html/2304.09097v3

[3]https://www.cs.toronto.edu/~mvolkovs/sigir2015_svd.pdf

[4]https://ics.uci.edu/~cs237/projects2020/4_reports.pdf

[5]https://arxiv.org/abs/2502.10050

[6]https://arxiv.org/pdf/2109.08794.pdf

[7]https://arxiv.org/abs/2304.09097

[8]https://dspace.mit.edu/bitstream/handle/1721.1/99785/927438195-MIT.pdf?sequence=1

Permalink |記事への反応(0) | 11:42

ツイートシェア

■[稀ドメインはてブ]2023年10月滅多にホットエントリを出さないドメインからのホットエントリ

ここ1年で初めてはてなブックマーク日毎の総合人気エントリ入りしたドメインからのホットエントリ、ブクマ数順トップ30

Permalink |記事への反応(0) | 15:53

ツイートシェア

■僕はエロ漫画家に一般誌にいってほしくないんだ

一般誌にお呼ばれするような漫画家はエロ漫画家の中でも上質な絵を描く人が多い。

つまりただでさえ粒が小さいエロ漫画業界の上の方から順番に引き抜かれていっていると言っても過言ではない。

もろちん、D.Pがヤングチャンピオン烈でtrash.というエログロアクション漫画を描いたように、エロ漫画家であったことを活かした連載をしてくれるんなら一般誌で読むエロもなかなかオツなものよの、ムホホってなるんだけどなんかみんなフツーの漫画描きたがるじゃん？

そうじゃねーんだよなぁ。

そんな漫画なら別にお前じゃなくても描けるやつおるんちゃうのってなるんだよね。

ぶっちゃけエロ漫画家引き抜いてきてそいつにしょうもない漫画描かせるのって、

単にゼロからやるよりは知名度って点で売り上げが期待できるみたいな下世話な計算込みでしょ。

ゼロからやれ。

エロ漫画家にはエロ漫画業界で築いてきた確かな実績とエロの技術があるんだよ。

そのエロの技術を封じてお前は何をしたいんだよ。

言ってみれば空手の世界王者連れてきてボクシングやらせるようなもんだよ。

いちからボクサー育てろ、空手家には空手をやらせろ。

エロ漫画家にはエロ漫画を描かせろ。

でも絢爛たるグランドセーヌだけはガチのマジで名作だから困る……

Permalink |記事への反応(0) | 09:33

ツイートシェア

■

仕様書.doc仕様書_最新版.doc仕様書_最新版レビュー済.doc

仕様書fix.doc仕様書fix_20220408.soc仕様書Released.pdf

仕様書_20220412.docx

仕様書FInal.doc　仕様書Final_校正済.doc仕様書Final_20220415.doc

Permalink |記事への反応(4) | 14:49

ツイートシェア

■[増田アドヴェント2021]クリスマスには鯉を食べる

「クリスマスにはシャケを食え！」の棘。

【追記あり】「ここまで来るとサモーンを倒し損ねてる可能性すら…」クリスマスにシャケを食べる謎の新習慣定着にパトレンジャー自ら懸念を示す #ルパパト -Togetter

https://togetter.com/li/1820268

についたブコメ。

ポーランドでは鮭を食べてるらしいとの情報もある。https://twitter.com/Eeri～ - kamanobe さんのブコメ

https://b.hatena.ne.jp/entry/4712966491844065954/comment/kamanobe

ツイ辿るとサーモン食べるのは軟弱になった今時の習慣で、昔は鯉を食べてたそうな。

Eri MizutaniさんのTwitter 「もう、絶滅文化である風呂桶に鯉。私が見たのは11年前、ポーランドに来たばかりの時に、クリスマスに招待してもらった子のおばあちゃんの家ででした。11年でほぼ絶滅。最近はみんなサーモン食べるしね～…」

twitter.com/Eerimizu/status/1473719841332903946

Eri MizutaniさんのTwitter 「ポーランドのクリスマスの風物詩。風呂桶に生きた鯉。ポーランドはクリスマスに鯉を食べるのだけど普段新鮮な魚とは無縁なのにこの時期だけスーパーに生簀が出現し、ご家庭で調理するまで風呂桶で保存されます。」

twitter.com/eerimizu/status/803341299705380865

でも、鯉って骨が面倒臭かったよな。Y字の骨。

コイは挽肉にしちゃえば骨がとんで食べやすい！捌き方から説明するよ |東京でとって食べる生活

totte-taberu.com/kiroku/kawa/koi

鯉はうまい魚なのですが欠点があり、どんな料理をやっても小骨が気になってしょうがない。

太い大きくて刺さると痛いY型の骨が、身の中にたくさん埋まっています。

本当に鯉のY骨は手強い相手なのです。手練れの職人はうまく避けて鯉の洗いなんかを作るそうですが、とてもじゃないないですが素人にはできません。

箸で食べるにしても骨つまんで出すの面倒いのに、ポーランド人はどうやって食べてんだろ？

ポーランドのクリスマス料理 | Japoland

japoland.pl/blog/%E3%83%9D%E3%83%BC%E3%83%A9%E3%83%B3%E3%83%89%E3%81%AE%E3%82%AF%E3%83%AA%E3%82%B9%E3%83%9E%E3%82%B9%E6%96%99%E7%90%86/

この日最も大事なのが魚料理、特に鯉です。鯉はシンプルに油で焼いたもの(Karpsmażony‐カルプ・スマジョーヌィ)や

ゼリー寄せ(Karp w galarecie‐カルプ・フ・ガラレチェ)が出されることが多いです。

Karpsmażonyで画像検索するとブツ切りで調理してるっぽい。

http://4.bp.blogspot.com/-WOJ5do7jpPs/VJaNhR7zsmI/AAAAAAAALiI/e8lhN4QAr0o/s1600/Karp%2BSma%C5%BCony%2B11.jpg

切り身も。

https://akademiasmaku.pl/upload/recipes/4664/karp-smazony-w-masle-na-patelni-4664.jpg

Y骨入りのまま食べて口からペッペッと吐き出すのかな？

調理動画をいくつか見てみる。

そのまま焼いてるものもあるが、隠し包丁入れてる動画もあった。

Karpsmażonyna patelni. Chrupiący i delikatny. Przepisna filety z karpia bez ości. MENU Dorotki

youtu.be/-olIz9Al0Jc?t=260

これなら骨吐き出さずに食べられそう。食感は良くないが。

もう一方のゼリー寄せ、Karp w galarecie。

static.e-mieszkanie.pl/art/9932_huge.jpg

丸ごと1匹入ってる。フォークとナイフで骨避けながら食べるの？

調理動画。

こっちは丸ごと1匹を捌いてブツ切りに。

Karp w galarecie

youtu.be/wxUNl4OoHx0

小骨取り除くどころか背骨ごとブツ切りにして茹でてる。骨のゼラチン質使う為？

茹でた後、ブツ切りから骨を手で取り除いてるがY骨は取りきれてなさそう。

結論としては自分なら、手練れが調理した鯉の洗いを酢味噌でいただきたい。

追記)

しまった、タイトルを「クリスマスは鯉の季節」にしとけば上手いこと言ったった感出せたのに…

Permalink |記事への反応(4) | 01:17

ツイートシェア

■COVID-19と東アジア(やり直し)

なんかやってしまった

wgethttps://raw.githubusercontent.com/lukes/ISO-3166-Countries-with-Regional-Codes/master/all/all.csvwgethttps://github.com/owid/covid-19-data/raw/master/public/data/owid-covid-data.csvSELECT country.nameas '国名', covid.populationAS '人口', covid.population_densityas '密度', covid.gdp_per_capitaas '一人あたりのGDP?',MAX(covid.total_cases)as '報告件数', ROUND(1.0 *MAX(covid.total_cases) /MAX(covid.population), 7)as '人口あたりの報告件数',MAX(covid.total_deaths)as '死者', ROUND(1.0 *MAX(covid.total_deaths) /MAX(covid.population), 9)as '人口あたりの死者件数', ROUND(1.0 *MAX(covid.total_deaths) /MAX(covid.total_cases) , 3)as '感染者死亡率'fromall.csvas countryinnerjoin owid-covid-data.csvas covidon covid.iso_code = country.\"alpha-3\"WHERE country.\"sub-region\" = 'EasternAsia'GROUPBY covid.iso_codeORDERBY 6 DESC"

まぁ、北朝鮮の数え忘れは・・・

ちなみに他のアジアコミコミでは

あってんのかなあ？

Permalink |記事への反応(0) | 12:37

ツイートシェア

■モンスターハンター：ワールドの現時点での情報

なんかゲーム記事とか英語圏でも色々情報が出てるようなのでまとめてみる

箇条書き

・集会所でクエスト受注してフィールドに移動して最大4人で狩るというゲームの基本部分は一緒

・クエストの途中で信号弾を上げると他のハンターに募集がかかる（★足りない人は入れない

・HP・スタミナはある（なんか通常時は消えてるらしい。ダメージ受けたりすると表示される？

・アイテムは動いたまま使用可能（ガッツポーズはなさそう

・スリングというツールがある。石を飛ばしたりワイヤーを出せる道具

・石はフィールドで拾ってそのまま使う

・導蟲という蟲がいて、モンスターの足跡などを探知して場所を知らせてくれる（PVの緑色の光

・導蟲を使ってモンスターを見つける。アイテムも見つける（採取ポイントかな？

・なのでペイントボールは廃止

・一応普段のモンハンと同じようにエリア毎に番号が振られてるらしい。

ただ、エリア間はロードなしで移動可能

エリアとエリアの間は狭い通路だったりすることも多い

※PVでモンスターが突っ込んできたのはその通路かな。

ってことは通路にもモンスターが突っ込んでくる？

・ミニマップはエリア毎にズーム可

・麻痺を誘発するナイフ（消耗？投げナイフかな

・モンスター同士のバトルは結構アニメーションがいいらしい

・3DS系列のロックオン、カメラのクイックターンあり

・大剣の溜めはありそう。エフェクトは派手ではない

・尻尾は切れる

・フックショットを使って表面をはじき飛ばすことができます←Google翻訳ではわかりませんでした（笑）

・ベースキャンプにファストトラベル可能（鳥型恐竜を呼んで移動？

・ベースキャンプで武器防具チェンジ可能（クエスト中に装備変えれる

・ヘヴィボウガン装備者の弾丸発射中は移動速度低下

・弾の種類と弾薬切り替えはあり

・植物採取に長いアニメーションなし

・肉を切るのは遅い（モンスターを倒した後の採取かな

・デモでやったのはチュートリアルで、クエスト提供者の顔を表示したワイプが右上に出ていた。

・スピンオフではない。

・新世代のモンハン

・開発期間は4年

・もともとはモンスタハンター5だった

・ベースキャンプはランダムに配置される。狩りが始まるたびにハンターは別のベースキャンプに行く

・敵のHPバーはないけど、ダメージ表示はあり

・水にはもぐれるけど水中戦はなし

・釣り、鉱石採取、蟲捕獲あり

・武器は14カテゴリー（そうちゅうこんあり

・30FPS固定

・トンファーなし？

・アイルーはあり

・ジェスチャーやチャットでのスタンプ有り

・ローカルでの複数人プレイはなし

・ギリースーツありでモンスターから身を隠せる（スキルかなにからしい

・逆におびき寄せるスキルみたいなのもあり

・川を爆破して水流でモンスターを流したり出来る。

・逆に上部の岩？かなにかを落下させてモンスターを押しつぶすことも出来る

・ヘヴィボウガンの弾丸乱射は特殊スキル

・昼と夜の概念有りでリアルタイムに変わる

・弓はモンスターの上に小さな爆弾を降らせるわざがある

・デモでは大きなモンスターが3体出てきた。

・そのうち1体は草食動物を丸呑みした

・MH4より垂直戦闘が凝っているらしい

※PVの感じだとMAPが縦に長い場所もあって飛び降りとか色々有効に使えるっぽい

ttp://www.neogaf.com/forum/showthread.php?t=1391293

ttp://game.watch.impress.co.jp/docs...w/1065192.html

ttp://dengekionline.com/elem/000/001/538/1538583/

ttp://www.4gamer.net/games/384/G038421/20170614098/

面白そうなので買うかな

Permalink |記事への反応(0) | 14:16

ツイートシェア

■www.arizona-overdrive.net/showthread.php/146819-HD-3060pX-**-Alvin-and-the-Chipmunks-The-Road-Chip-Online-Free-FULL-MOVIE

www.arizona-overdrive.net/showthread.php/146819-HD-3060pX-**-Alvin-and-the-Chipmunks-The-Road-Chip-Online-Free-FULL-MOVIE

Permalink |記事への反応(0) | 02:52

ツイートシェア

■thetrustnetwork.net/showthread.php?12815-TVRI-3060pX!**-The-Big-Short-Online-Free-2015-Top-Quality

thetrustnetwork.net/showthread.php?12815-TVRI-3060pX!**-The-Big-Short-Online-Free-2015-Top-Quality

Permalink |記事への反応(0) | 18:22

ツイートシェア

■Restriction passcode attackoniOS 7

open /var/mobile/Library/Preferences/com.apple.restrictionspassword.plist

you can find this kinds:

    ＜key＞RestrictionsPasswordKey＜/key＞    ＜data＞    xxxxxxxxxxxxxxxxxxxxxxxxxxx=    ＜/data＞    ＜key＞RestrictionsPasswordSalt＜/key＞    ＜data＞    XXXXXX==    ＜/data＞

convertit to hex digits

    $key=```echo "key" |base64 -d | xxd -p```    $salt=```echo "salt" |base64 -d | xxd -p```

finallytry matching hashed 0000~9999(PBKDF2-HMAC-SHA1,salt=salt,iterations=1000) and the givenkey

more info:http://hashcat.net/forum/archive/index.php?thread-2892.html

Permalink |記事への反応(0) | 17:12

ツイートシェア

■文系学部に行かせる親って馬鹿？早慶附属中はオワコン？

「早慶付属中に行く意味」と題してインターエデュに300を超えるコメントが付いています

ttp://www.inter-edu.com/forum/read.php?1644,2373792,page=1

「早慶のいづれかの付属中を受験予定の息子がおります。

息子は現在、中高大の学生生活を楽しみに受験勉強を頑張っています。

わたしも、子どもには大学受験に縛られない有意義な学生生活を謳歌してほしい、と希望しております。

経済的にも、子沢山ではありますが、十分大学卒業まで問題ないと考えていました。

しかし、この受験直前になって夫から、

「早慶付属上がりということは、文系学部がほとんどだ。文系と言う事は、仕事は基本的には、営業だ。

営業は実力勝負で、学歴なんて関係ないし、これから文系学部は早慶とはいえ厳しい。

就職の時ちょっと有利なだけで、人脈と言ったって、昔ほど有用でもないし、

人脈を利用できるできないは本人次第だ。それに、子ども全員早慶など付属いかれたら、

経済的に大丈夫か？今の収入が続く保証はないんだぞ。青春を謳歌するためだけに、

大金を払うつもりはない。中高私立にするなら、大学は、東大、東工大、医学部とまでは、

全く希望していないが、せめて国立理系にするのを条件にしてくれ。

本心では、公立中→都立高→電通大とか首都大の理工が一番ありがたい。

とにかく、私立中高にいかせるのなら、どこでもいいから国立理系以外ダメ。

早慶付属は絶対に認めない、コストパフォーマンスが悪すぎる。これからは、理系以外ダメだ。」

と唐突に言われ途方に暮れています。

わたしは、夫の意見は、かなり偏っていると思います。

何とか説得しようとは思っていますが、どうしたらいいのでしょうか？ 」

昨今、東京でも、進学を目的をした

公立中高一貫が乱立し始めたので、

確かに早慶でも附属はオワコン。

ここの家の父ちゃんが言ってることは半分正しいと思うけれども。

Permalink |記事への反応(0) | 08:49

ツイートシェア

■「コンピュータ基礎理論ハンドブック2 形式的モデルと意味論」の目次

第1章  有限オートマトンD.Perrin：橋口攻三郎1. 序論2. 有限オートマトンと認識可能集合3. 有理表現4. Kleeneの定理5. 星の高さ6. 星自由集合7. 特殊なオートマトン8. 数の認識可能集合第2章  文脈自由言語J.Berstel and L.Boasson：富田　悦次1. 序論2.言語2.1記法と例2.2 Hotz 群2.3曖昧性と超越性3. 反復3.1 反復補題3.2 交換補題3.3 退化4. 非生成元の探求4.1 準備4.2 生成元4.3 非生成元と代入4.4 非生成元と決定性4.5 主錐の共通部分5. 文脈自由群5.1 文脈自由群5.2 Cayleyグラフ5.3 終端第3章形式言語とべき級数A.Salomaa：河原　康雄1. 序論2. 準備3. 書換え系と文法4. Post正準系5. Markov系6. 並列書換え系7. 射と言語8. 有理べき級数9.代数的べき級数10. べき級数の応用第4章無限の対象上のオートマトンW.Thomas：山崎　秀記序論Ⅰ部無限語上のオートマトン記法1. Buchiオートマトン2. 合同関係と補集合演算3. 列計算4. 決定性とMcNaughtonの定理5. 受理条件とBorelクラス6.スター自由ω言語と時制論理7. 文脈自由ω言語Ⅱ部無限木上のオートマトン記法8. 木オートマトン9. 空問題と正則木10. 補集合演算とゲームの決定性11. 木の単項理論と決定問題12. Rabin認識可能な集合の分類12.1 制限された単項2階論理12.2 Rabin木オートマトンにおける制限12.3不動点計算第5章グラフ書換え：代数的・論理的アプローチB.Courcelle：會澤　邦夫1. 序論2.論理言語とグラフの性質2.1 単純有向グラフの類S2.2グラフの類D(A)2.3グラフの性質2.4 1階のグラフの性質2.5 単項2階のグラフの性質2.6 2階のグラフの性質2.7定理3.グラフ演算とグラフの表現3.1 源点付きグラフ3.2 源点付き超グラフ3.3 超グラフ上の演算3.4 超グラフの幅3.5 導来演算3.6 超辺置換3.7 圏における書換え規則3.8 超グラフ書換え規則4. 超グラフの文脈自由集合4.1 超辺置換文法4.2HR文法に伴う正規木文法4.3 超グラフの等式集合4.4 超グラフの文脈自由集合の性質5. 超グラフの文脈自由集合の論理的性質5.1 述語の帰納的集合5.2論理構造としての超グラフ5.3 有限超グラフの可認識集合6. 禁止小グラフで定義される有限グラフの集合6.1 小グラフ包含6.2 木幅と木分解6.3比較図7.計算量の問題8.無限超グラフ8.1無限超グラフ表現8.2無限超グラフの単項性質8.3 超グラフにおける等式系8.4 関手の初期不動点8.5 超グラフにおける等式系の初期解8.6 等式的超グラフの単項性質第6章  書換え系N.Dershowitz and J.-P.Jouannaud：稲垣　康善，直井　徹1. 序論2. 構文論2.1 項2.2 等式2.3 書換え規則2.4 決定手続き2.5 書換え系の拡張3.意味論3.1代数3.2 始代数3.3計算可能代数4. Church-Rosser性4.1 合流性4.2調和性5. 停止性5.1 簡約順序5.2 単純化順序5.3 経路順序5.4 書換え系の組合せ6. 充足可能性6.1 構文論的単一化6.2意味論的単一化6.3ナローイング7.危険対7.1 項書換え7.2直交書換え系7.3 類書換え7.4 順序付き書換え7.5 既約な書換え系8. 完備化8.1抽象完備化8.2 公平性8.3 完備化の拡張8.4 順序付き書換え8.5機能的定理証明8.6 1階述語論理の定理証明9. 書換え概念の拡張9.1 順序ソート書換え9.2 条件付き書換え9.3 優先度付き書換え9.4グラフ書換え第7章関数型プログラミングとラムダ計算H.P.Barendregt：横内　寛文1.関数型計算モデル2.ラムダ計算2.1 変換2.2計算可能関数の表現3.意味論3.1操作的意味論：簡約と戦略3.2 表示的意味論：ラムダモデル4.言語の拡張4.1デルタ規則4.2 型5.組合せ子論理と実装手法5.1組合せ子論理5.2 実装の問題第8章プログラミング言語における型理論J.C.Mitchell：林　晋1. 序論1.1 概論1.2純粋および応用ラムダ計算2.関数の型をもつ型付きラムダ計算2.1 型2.2 項2.3証明系2.4意味論と健全性2.5再帰的関数論的モデル2.6 領域理論的モデル2.7 カルテシアン閉圏2.8 Kripkeラムダモデル3.論理的関係3.1 はじめに3.2作用的構造上の論理的関係3.3論理的部分関数と論理的同値関係3.4証明論的応用3.5表現独立性3.6論理的関係の変種4. 多相型入門4.1引数としての型4.2 可述的な多相的計算系4.3 非可述的な多相型4.4データ抽象と存在型4.5型推論入門4.6 型変数をもつλ→の型推論4.7 多相的宣言の型推論4.8 他の型概念第9章帰納的な関数型プログラム図式B.Courcelle：深澤　良彰1. 序論2. 準備としての例3. 基本的な定義3.1 多ソート代数3.2帰納的な関数型プログラム図式3.3同値な図式4. 離散的解釈における操作的意味論4.1 部分関数と平板な半順序4.2 離散的解釈4.3 書換えによる評価4.4意味写像4.5計算規則5.連続的解釈における操作的意味論5.1連続代数としての解釈5.2 有限の極大要素と停止した計算6.解釈のクラス6.1 汎用の解釈6.2 代表解釈6.3解釈の方程式的クラス6.4解釈の代数的クラス7. 最小不動点意味論7.1 最小で唯一の解を得る不動点理論7.2 Scottの帰納原理7.3 Kleeneの列と打切り帰納法8.プログラム図式の変換8.1プログラム図式における同値性の推論8.2 畳込み，展開，書換え8.3 制限された畳込み展開9.研究の歴史，他の形式のプログラム図式，文献ガイド9.1 流れ図9.2 固定された条件をもつ一様な帰納的関数型プログラム図式9.3 多様な帰納的関数型プログラム図式9.4代数的理論9.5プログラムの生成と検証に対する応用第10章論理プログラミングK.R.Apt：筧　捷彦1. 序論1.1 背景1.2論文の構成2. 構文と証明論2.1 1階言語2.2論理プログラム2.3 代入2.4 単一化子2.5計算過程―SLD溶融2.6 例2.7 SLD導出の特性2.8 反駁手続き―SLD木3.意味論3.1 1階論理の意味論3.2 SLD溶融の安全性3.3 Herbrand模型3.4 直接帰結演算子3.5演算子とその不動点3.6 最小Herbrand模型3.7 SLD溶融の完全性3.8 正解代入3.9 SLD溶融の強安全性3.10手続き的解釈と宣言的解釈4.計算力4.1計算力と定義力4.2ULの枚挙可能性4.3帰納的関数4.4帰納的関数の計算力4.5 TFの閉包順序数5. 否定情報5.1 非単調推論5.2 閉世界仮説5.3 失敗即否定規則5.4 有限的失敗の特徴付け5.5プログラムの完備化5.6 完備化の模型5.7 失敗即否定規則の安全性5.8 失敗即否定規則の完全性5.9 等号公理と恒等5.10 まとめ6. 一般目標6.1 SLDNF-溶融6.2 SLDNF-導出の安全性6.3 はまり6.4 SLDNF-溶融の限定的な完全性6.5 許容性7. 層状プログラム7.1 準備7.2 層別7.3 非単調演算子とその不動点7.4 層状プログラムの意味論7.5 完全模型意味論8. 関連事項8.1 一般プログラム8.2他の方法8.3演繹的データベース8.4PROLOG8.5論理プログラミングと関数プログラミングの統合8.6人工知能への応用第11章  表示的意味論P.D.Mosses：山田　眞市1. 序論2. 構文論2.1 具象構文論2.2抽象構文2.3 文脈依存構文3.意味論3.1 表示的意味論3.2意味関数3.3記法の慣例4. 領域4.1 領域の構造4.2 領域の記法4.3記法上の約束事5.意味の記述法5.1リテラル5.2 式5.3 定数宣言5.4関数の抽象5.5変数宣言5.6 文5.7手続き抽象5.8プログラム5.9 非決定性5.10 並行性6. 文献ノート6.1 発展6.2 解説6.3 変形第12章意味領域C.A.Gunter and D.S.Scott：山田　眞市1. 序論2.関数の帰納的定義2.1 cpoと不動点定理2.2不動点定理の応用2.3 一様性3. エフェクティブに表現した領域3.1 正規部分posetと射影3.2 エフェクティブに表現した領域4.作用素と関数4.1 積4.2 Churchのラムダ記法4.3 破砕積4.4 和と引上げ4.5 同形と閉包性5. べき領域5.1 直観的説明5.2 形式的定義5.3普遍性と閉包性6. 双有限領域6.1 Poltkin順序6.2 閉包性7. 領域の帰納的定義7.1 閉包を使う領域方程式の解法7.2 無型ラムダ記法のモデル7.3 射影を使う領域方程式の解法7.4 双有限領域上の作用素の表現第13章代数的仕様M.Wirsing：稲垣　康善，坂部　俊樹1. 序論2.抽象データ型2.1シグニチャと項2.2代数と計算構造2.3抽象データ型2.4抽象データ型の計算可能性3.代数的仕様3.1論理式と理論3.2代数的仕様とその意味論3.3 他の意味論的理解4. 単純仕様4.1 束と存在定理4.2 単純仕様の表現能力5.隠蔽関数と構成子をもつ仕様5.1 構文と意味論5.2 束と存在定理5.3隠蔽記号と構成子をもつ仕様の表現能力5.4階層的仕様6.構造化仕様6.1構造化仕様の意味論6.2隠蔽関数のない構造化仕様6.3 構成演算6.4拡張6.5 観測的抽象化6.6構造化仕様の代数7.パラメータ化仕様7.1 型付きラムダ計算によるアプローチ7.2 プッシュアウトアプローチ8. 実現8.1 詳細化による実現8.2 他の実現概念8.3パラメータ化された構成子実現と抽象化子実現8.4 実行可能仕様9.仕様記述言語9.1 CLEAR9.2 OBJ29.3 ASL9.4 Larch9.5 その他の仕様記述言語第14章プログラムの論理D.Kozen and J.Tiuryn：西村　泰一，近藤　通朗1. 序論1.1 状態，入出力関係，軌跡1.2 外的論理，内的論理1.3歴史ノート2.命題動的論理2.1 基本的定義2.2 PDLに対する演繹体系2.3 基本的性質2.4 有限モデル特性2.5演繹的完全性2.6 PDLの充足可能性問題の計算量2.7 PDLの変形種3. 1階の動的論理3.1 構文論3.2意味論3.3計算量3.4演繹体系3.5表現力3.6操作的vs.公理的意味論3.7 他のプログラミング言語4. 他のアプローチ4.1 超準動的論理4.2アルゴリズム的論理4.3 有効的定義の論理4.4 時制論理第15章プログラム証明のための手法と論理P.Cousot：細野　千春，富田　康治1. 序論1.1 Hoareの萌芽的な論文の解説1.2 C.A.R.HoareによるHoare論理のその後の研究1.3プログラムに関する推論を行うための手法に関するC.A.R.Hoareによるその後の研究1.4 Hoare論理の概観1.5 要約1.6 この概観を読むためのヒント2.論理的，集合論的，順序論的記法3.プログラミング言語の構文論と意味論3.1 構文論3.2操作的意味論3.3 関係的意味論4. 命令の部分正当性5. Floyd-Naurの部分正当性証明手法とその同値な変形5.1 Floyd-Naurの手法による部分正当性の証明の例5.2 段階的なFloyd-Naurの部分正当性証明手法5.3 合成的なFloyd-Naurの部分正当性証明手法5.4 Floyd-Naurの部分正当性の段階的な証明と合成的な証明の同値性5.5 Floyd-Naurの部分正当性証明手法の変形6.ライブネスの証明手法6.1 実行トレース6.2 全正当性6.3 整礎関係，整列集合，順序数6.4 Floydの整礎集合法による停止性の証明6.5ライブネス6.6 Floydの全正当性の証明手法からライブネスへの一般化6.7 Burstallの全正当性証明手法とその一般化7. Hoare論理7.1意味論的な観点から見たHoare論理7.2 構文論的な観点から見たHoare論理7.3 Hoare論理の意味論7.4 構文論と意味論の間の関係：Hoare論理の健全性と完全性の問題8. Hoare論理の補足8.1データ構造8.2手続き8.3 未定義8.4 別名と副作用8.5ブロック構造の局所変数8.6goto文8.7 （副作用のある）関数と式8.8 コルーチン8.9 並行プログラム8.10 全正当性8.11プログラム検証の例8.12プログラムに対して1階論理を拡張した他の論理第16章  様相論理と時間論理E.A.Emerson：志村　立矢1. 序論2.時間論理の分類2.1命題論理 対 1階述語論理2.2 大域的と合成的2.3 分岐的 対線形2.4 時点と時区間2.5 離散 対連続2.6過去時制 対未来時制3.線形時間論理の技術的基礎3.1タイムライン3.2命題線形時間論理3.3 1階の線形時間論理4. 分岐的時間論理の技術的基礎4.1 樹状構造4.2命題分岐的時間論理4.3 1階の分岐的時間論理5. 並行計算：その基礎5.1 非決定性と公平性による並列性のモデル化5.2 並列計算の抽象モデル5.3 並列計算の具体的なモデル5.4 並列計算の枠組みと時間論理の結び付き6.理論的見地からの時間論理6.1表現可能性6.2命題時間論理の決定手続き6.3演繹体系6.4モデル性の判定6.5無限の対象の上のオートマトン7.時間論理のプログラムの検証への応用7.1 並行プログラムの正当性に関する性質7.2 並行プログラムの検証：証明論的方法7.3時間論理による仕様からの並行プログラムの機械合成7.4 有限状態並行システムの自動検証8.計算機科学における他の様相論理と時間論理8.1古典様相論理8.2命題動的論理8.3確率論理8.4不動点論理8.5 知識第17章  関係データベース理論の構成要素P.C.Kanellakis：鈴木　晋1. 序論1.1 動機と歴史1.2 内容についての案内2. 関係データモデル2.1 関係代数と関係従属性2.2 なぜ関係代数か2.3 なぜ関係従属性か2.4 超グラフとデータベーススキーマの構文について2.5論理とデータベースの意味について3. 従属性とデータベーススキーマ設計3.1 従属性の分類3.2データベーススキーマ設計4. 問合わせデータベース論理プログラム4.1 問合わせの分類4.2データベース論理プログラム4.3 問合わせ言語と複合オブジェクトデータモデル5. 議論：関係データベース理論のその他の話題5.1 不完全情報の問題5.2データベース更新の問題6. 結論第18章  分散計算：モデルと手法L.Lamport and N.Lynch：山下　雅史1. 分散計算とは何か2. 分散システムのモデル2.1メッセージ伝達モデル2.2 それ以外のモデル2.3 基礎的概念3. 分散アルゴリズムの理解3.1挙動の集合としてのシステム3.2安全性と活性3.3システムの記述3.4 主張に基づく理解3.5アルゴリズムの導出3.6仕様記述4.典型的な分散アルゴリズム4.1 共有変数アルゴリズム4.2 分散合意4.3ネットワークアルゴリズム4.4データベースにおける並行性制御第19章  並行プロセスの操作的および代数的意味論R.Milner：稲垣　康善，結縁　祥治1. 序論2. 基本言語2.1 構文および記法2.2操作的意味論2.3 導出木と遷移グラフ2.4ソート2.5フローグラフ2.6拡張言語2.7 その他の動作式の構成3.プロセスの強合同関係3.1 議論3.2 強双模倣関係3.3 等式による強合同関係の性質3.4 強合同関係における置換え可能性3.5 強等価関係上での不動点の唯一性4.プロセスの観測合同関係4.1 観測等価性4.2 双模倣関係4.3 観測合同関係4.4プロセス等価性上での不動点の唯一性4.5 等式規則の完全性4.6プロセスの等価性に対するその他の概念5. 双模倣等価関係の解析5.1等価性の階層構造5.2階層構造の論理的特性化6. 合流性をもつプロセス6.1 決定性6.2 合流性6.3 合流性を保存する構成子7. 関連する重要な文献

Permalink |記事への反応(0) | 23:42

ツイートシェア

■韓国が不衛生すぎて噴いたwww

中国より酷いわwww

ピザハットのピザからゴキブリが出る

ttp://japanese.chosun.com/site/data/html_dir/2004/08/12/20040812000047.html

パンの「中から」蛆（うじ）が出て吐く

ttp://j2k.naver.com/j2k_frame.php/japan/news.media.daum.net/society/others/200308/07/ohmynews/v4752860.html

生ゴミからできた材料が餃子・中華まんの具に

ttp://japanese.chosun.com/site/data/html_dir/2004/06/06/20040606000034.html

ゴミで塩辛を作って逮捕

ttp://j2k.naver.com/j2k.php/japan/news.naver.com/news/read.php?mode=LOD&office_id=052&article_id=0000028125

腐った貝がコンビニで買った野菜ジュースから出る

ttp://www.cbs.co.kr/nocut/show.asp?idx=104184

韓国直輸入キムチを食べて脳内に有鈎嚢虫が発見される。回虫卵も検出。

ttp://www.tokyo-eiken.go.jp/inform/seminar/2000/semiyosi.html

殺虫剤入り、鉛入り、硫酸入り、農薬入り、鉄の粉入り、発癌物質入り食品。色を塗った魚も。

ttp://japanese.chosun.com/site/data/html_dir/2000/11/16/20001116000021.html

検尿用コップで食事をしないで下さい

ttp://www.yonhapnews.co.kr/news/20041220/060400000020041220153810K3.html

米軍の残飯を「ブデチゲ」の材料に

ttp://japanese.joins.com/html/2003/1030/20031030185810400.html

病原性ウイルス、水道水から

ttp://japanese.joins.com/php/article.php?sv=jnews&src=soci&cont=soci0&aid=20010712200853400

1000ウォン札から食中毒菌を検出

ttp://japanese.chosun.com/site/data/html_dir/2001/05/27/20010527000002.html

自販機が不衛生。ソウル市内の24.6％

ttp://japanese.chosun.com/site/data/html_dir/2004/12/16/20041216000008.html

ダイエット食品のなんと『７２％』から禁止薬物成分検出

ttp://japanese.chosun.com/site/data/html_dir/2004/11/25/20041125000023.html

噴水から病原性細菌検出、ソウル市庁前

ttp://japanese.chosun.com/site/data/html_dir/2004/09/17/20040917000034.html

野菜ジュースからも細菌

ttp://japanese.chosun.com/site/data/html_dir/2001/08/21/20010821000003.html

肉類から大量の抗生剤検出

ttp://japanese.chosun.com/site/data/html_dir/2004/11/02/20041102000069.html

冷麺スープとアイスクリームから細菌検出

ttp://japanese.chosun.com/site/data/html_dir/2004/07/19/20040719000032.html

期限切れキムチでインスタントラーメンのスープを作る

ttp://japanese.chosun.com/site/data/html_dir/2004/06/10/20040610000073.html

発ガン物質の入った工業用の着色料で綺麗に着色した唐辛子の粉末

ttp://japan.donga.com/srv/service.php3?biid=2004061108058

冷麺に有害な工業用の炭を混入

ttp://japanese.chosun.com/site/data/html_dir/2000/11/16/20001116000021.html

キムチからいろいろな虫卵が検出される

ttp://priv.kmu.ac.jp/open/mori2001/nishiyama.html

有害な廃ドラム缶でキムチの原料になる塩辛を保存

ttp://j2k.naver.com/j2k.php/japan/ucc.media.daum.net/uccmix/news/society/affair/200408/02/yonhap/v7120501.html?u_b1.valuecate=4&u_b1.svcid=02y&u_b1.objid1=16602&u_b1.targetcate=4&u_b1.targetkey1=16668&u_b1.targetkey2=7120501&_right_popular=R2

ソウル市内高校の１２％は食中毒発生の可能性あり

ttp://japanese.chosun.com/site/data/html_dir/2005/04/06/20050406000004.html

天安で高校生約90人に食中毒の症状

ttp://japanese.chosun.com/site/data/html_dir/2004/11/28/20041128000019.html

外で飲む水の２５％不適合

ttp://japanese.joins.com/html/2004/0325/20040325184949400.html

「水道水、沸かして飲むべき」医師協、国民に勧告文

ttp://japanese.joins.com/php/article.php?sv=jnews&src=soci&cont=soci0&aid=20010712200853400

スーパーバクテリア、国内感染が深刻

ttp://kuyou.exblog.jp/1795795/

賞味期限切れの菓子販売業者を摘発　「ぺぺロの日」控え

ttp://japanese.chosun.com/site/data/html_dir/2004/11/10/20041110000049.html

「ボツリヌス症」か　ツナ缶食べた一家に発病疑惑

ttp://japanese.chosun.com/site/data/html_dir/2004/11/12/20041112000089.html

蛆（うじ）がチョコレートを食い破って出て来る

ttp://j2k.naver.com/k2j_frame.php/japan/www.ilyosisa.co.kr/SUNDAY/SUN_0363/TM_0201.html

生きた蛾（が）がカップ麺から出てくる

ttp://j2k.naver.com/j2k.php/japan/ucc.media.daum.net/uccmix/news/society/region/200409/05/newsis/v7312580.html?u_b1.valuecate=4&u_b1.svcid=02y&u_b1.objid1=16602&u_b1.targetcate=4&u_b1.targetkey1=17130&u_b1.targetkey2=7312580&nil_profile=g&nil_NewsImg=7

食中毒の発生、過去最高へ

ttp://japanese.joins.com/html/2004/0702/20040702165214400.html

「フライドチキンの中から虫」、腹を立てた客が大便をまき散らす

ttp://japanese.chosun.com/site/data/html_dir/2005/01/28/20050128000069.html

アジアの食品について

ttp://blog.livedoor.jp/safe_food_of_asia/

転載元

http://peachy.xii.jp/korea/korea1.html

Permalink |記事への反応(0) | 11:52

ツイートシェア

■けいおん再開に対して疑心暗鬼だった2ちゃん本スレ住人たち

324 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:00:43ID:c9JhT3mK(10)

釣り乙すぎる

画像見るまでは絶対に信じない

388 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:05:04ID:c9JhT3mK(10)

377 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:04:39ID:TdgiqVnc(9)

ttp://beebee2see.appspot.com/i/azuYw7O7Aww.jpg

>>377

おいおいまじか

408 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:06:00ID:c9JhT3mK(10)

だれかあれだ

俺を殴れ

それこそおもいっきり。全力で。

悪い夢なら覚めた方がマシって言うだろ

493 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:08:35ID:c9JhT3mK(10)

ライブで3期発表ｋｔｋｒｗｗｗｗｗｗｗｗｗｗ

539 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:10:10ID:c9JhT3mK(10)

祭りじゃｗｗｗｗｗｗ

576 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:11:36ID:c9JhT3mK(10)

今ここにいる奴らは間違いなく歴史の目撃者

おまいら誇りに思っていいんじゃね

603 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:12:23ID:c9JhT3mK(10)

592 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:12:00ID:nh5I831U(6)

http://www.dotup.org/uploda/www.dotup.org1327808.jpg

>>592

さらにｷﾀ━━━━(ﾟ∀ﾟ)━━━━!!

644 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:13:41ID:c9JhT3mK(10)

大学生編ってことでいいのかな？

760 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:16:58ID:c9JhT3mK(10)

搾取が止まらねえｗｗｗｗｗｗｗ

お前ら今から貯金しとけ

3期始まったらホントに吸いつくされんぞｗ

853 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:19:14ID:c9JhT3mK(10)

短い命だったな十六茶ｗｗｗ

もう下がって良いぞｗｗｗｗｗｗｗ

202 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 21:51:26ID:JbEZ8O+9(34)

165 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 21:48:50ID:LGu78jy1(9)

この流れなら言える

きららフラゲしたらけいおん春から再開告知アリ

>>165

嘘だったらぶっこおすぞ！

214 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 21:52:30ID:JbEZ8O+9(34)

190 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 21:50:40ID:Z9KK6Vl7(27)

>>185

油揚げじゃないの

185 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 21:50:17ID:R5wv3tB4(10)

>>150

結局澪は何持ってんのコレ

>>190

トンビにさらわれるな

247 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 21:54:16ID:JbEZ8O+9(34)

215 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 21:52:32ID:F2ib4y/c(3)

つけてみた！

ttp://www.uproda.net/down/uproda215473.jpg

>>215

どうすんだこれ

264 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 21:55:41ID:JbEZ8O+9(34)

232 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 21:53:26ID:LGu78jy1(9)

別に上げてもいいけど画像粗いぞ？

携帯古いからな

あとどっかロダ

>>232

え、何、マジなの何なのどうなってるの

pictoにしてくれ

http://www.pic.to/

315 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:00:12ID:JbEZ8O+9(34)

けいおん再開とか嘘だろ

信じたあと釣られると精神的にキツイので

信じません、うｐがあるまでは

329 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:00:53ID:JbEZ8O+9(34)

299 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 21:58:34ID:LGu78jy1(9)

画像は用意できたけど他にロダないかな

イメぴたとか使い方良く分からない

まあ自分で適当なとこ探してもいいんだけど

>>299

ここ

http://www.pic.to/

もしくは、携帯からパソコンのメアドに添付して送って

パソコンからどっかのろだにうｐれ

349 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:02:40ID:JbEZ8O+9(34)

釣り、どうせ釣り、こんなの何度もあった

362 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:03:31ID:JbEZ8O+9(34)

352 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:02:58ID:2dS40Een(14)

そういや、テレビジョンの実写化決定の話もデマだったんだっけ？

>>352

マジだったらとっくにフラゲ組が晒してニュー速にスレが立ってる

370 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:04:13ID:JbEZ8O+9(34)

360 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:03:23ID:LGu78jy1(9)

ttp://pic.to/upload.pic.to/dl.php?a7dd474646e49b99e13568542d8ff269_jpg

はい

>>360

◆エラー:

パソコンからはアクセスできません

うはおｋwwwwwwwwwwwwwwwwwwwww

386 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:05:02ID:JbEZ8O+9(34)

ｺﾈ━━━━━('A`)━━━━━!!

415 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:06:07ID:JbEZ8O+9(34)

377 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:04:39ID:TdgiqVnc(9)

ttp://beebee2see.appspot.com/i/azuYw7O7Aww.jpg

>>377

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　,／|ﾐ=､

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 ／　 .|ﾐﾐﾐ|

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　.|　 　 |ﾐﾐﾐ|

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 ,／|ﾐ|　　　|ﾐﾐﾐ|

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　,／　 |ﾐ|　　　|ﾐﾐﾐ|

　　　　　　　　　　　　　　　　　　　　　　　　　　　 　 　 　 |　 　 |ﾐ|　　　|ﾐﾐﾐ|

　　　　　　　　　　　　　　　　　　　　　 　 　 　 　　　　　　|　 　 |ﾐ|　　　|ﾐﾐﾐ|

　　　　　　　　　　　　　　　　　　　　　　　　 　 　 　 　　　| 　 　|ﾐ| 　 　|ﾐﾐﾐ|

　　　　　　　　　　　　　　　　　　　　　　　　 　 　 　 　　　| 　　 |ﾐ| 　 　|ﾐﾐﾐ|

　　　　　　　　　　　　　　　　　　　　　　　　　　 　 　 　 　|　 　 |ﾐ| 　 　|ﾐﾐﾐ|

　 　 　 　　　　　　　　　　　　　　　　　　　　　　　　　_,-'"|.　　 |ﾐ|　　　|ﾐﾐﾐ|

　　　　　　　　　　　　 _,. -'' "￣~ﾞ三=-_､_　　　 _,.-'"　　 |.　　 |ﾐ|　　　!ﾐﾐﾐ|

　　　　　　　　　 ,,.-''"　r _､ 　 　　　三三ﾀ_,.-''"　　　 　 |　 　|ミ|　 ,.彡ヾﾐ|

　　　　　　　　／　　　 i {ぃ}} 　 　 　 _ﾆ/　　　 　 　 -=三|　　｣ミﾋ彡彡ｲﾐヾ

　　　　　　　/,.､　　 　 `--"　　　　　 ﾆｌ 　 　　-=ﾆ三=-''レ彡ﾐﾐr'"　 　|ﾐﾐﾐ|

　　　　　　 ｌ {ゞ}　　　　i　　　　　　　　.ﾆl==三三ﾆ=''"　 　,＞'"|ﾐ|　　　 |ﾐﾐﾐ|

　　　　　　.l　`" i_,,...-''| 　 　　　 　 　 ニ`=-=i'"　 　 　 　|　　　|ﾐｌ,..-=彡ヾﾐ|

　　　　　_,.-!　 　 !　　i　　　　 　 　　-ﾆ三三/ 　 　 　 　 L.. -ﾆヾ|ヾ彡'='''"

　 　 　 l´,.- l 　 　＼/　　　　 　　 -ﾆ三三／　　　　　　　 ヾ-‐''"

　　_.　 !　ｒi　l＼　　　　 　　__--三三三='"

　 j'‘´l `´ |　!　 `　ミ三三三三三＝''"

　i',.. '´}　　|　|

　 l,.. r´　　 '´

　　 }

434 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:06:48ID:JbEZ8O+9(34)

え、マジなの？信じていいの？

これでコラだったりしたら死ぬよ？

457 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:07:30ID:JbEZ8O+9(34)

430 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:06:25ID:LGu78jy1(9)

ttp://www1.axfc.net/uploader/Sc/so/202729

こっちで

パスはkon

>>430

大丈夫だ問題ない

よくやったぞ兄弟

477 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:08:11ID:JbEZ8O+9(34)

>>430

うはwwwwwwwwwwマジwwwwwwwwwwwwでwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww

508 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:09:00ID:JbEZ8O+9(34)

どうしよう

528 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:09:50ID:JbEZ8O+9(34)

どうしよう

582 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:11:52ID:JbEZ8O+9(34)

マジかよ泣きそう

619 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:12:59ID:JbEZ8O+9(34)

勢い２万突破wwwwww

657 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:14:05ID:JbEZ8O+9(34)

　　　　　　　　　 ＿,,,,,　　　　　　　　 ――　|_| |_|　＞

　　　　　　　　 /川川ﾊ　　　　　 　　| ｌ￣ | |　 　　ﾉ　　　１６

　　　　　　　 ///川川ｌト、　　　　　 |_| 匚. |　　　＼　　　茶

　　　　　　　（ゞ川从川/＿,―'￣ヽ　　　 | |　　　ノ　　　 飲

　　　　　＿＿＞ーﾑヾ￣(　　＿-、　|　　|_|　　　＼　　　ん

　　　　/　　　|　　　　　　　ｙ-　　ﾉ＿|　　　　　　　<　　　で

　　　　'-,,＿　|　　　　　　　 |　　ﾑkﾉ）　ｌ_ｌｌ_ｌ ,-,　 　 ）　　る

　　　　　　　"|　　　　　　　　|　　　　　　　／／　／　　　場

　　　　　　　 |　　　　　　　　　|　　　　　匚／　　￣ヽ　　 合

　　　　　　　|　　　　　＿＿＿ |　　 　 　 　 　 　　 ノ　　　じ

　　　　　　　ｒ―――"　　　　‐|　　＼＼　　　　　＼　　　ゃ

　　　　　　　|　　　　　　　　　 /　　　　 ＼＼　　　＜　　 ね

　　　　　　 人　　　　　乂　　/　　　　　　　＼＼　ノ　　　え

ニヽ　　　/　　|　　　　ヾ　／　 　　＿＿＿――￣　　　　っ

＿＿＼ /　 ／|　　　　 ｌ　　 　 　　 ￣￣―――＿＿　　！

　　　　 /　/　 ＼＼　　ヾ　　　　　　　　　　　　 　 　 ν、

￣弋二／￣|　　 ＼＼　　＼　　　＼＼ 　 　 　 　 　　　V⌒

￣￣＼＼＼￣＼　　＼＼　 ＼　　　　＼＼

￣￣￣＼＼＼￣|　　　"―＿从从　　　　 ＼＼

￣￣￣￣＼＼＼￣＼　　　　|　　 ζ　　　　　　＼＼

￣￣￣￣￣＼＼＼￣|　　　　ヾ　　＼＼　　　　　　 ＼＼

￣￣￣￣￣￣＼＼＼＼￣フ　＼＼　＼＼

693 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:14:59ID:JbEZ8O+9(34)

夢なんだろうか？

726 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:15:52ID:JbEZ8O+9(34)

ドンフライ先生の養殖についに成功したんだな！！

772 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:17:12ID:JbEZ8O+9(34)

アイキャンフライ先生さすがやで、さすがや

いやホンマにさすがや、さすがとしかいいようがない、さすがや！！！

825 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:18:44ID:JbEZ8O+9(34)

615 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:12:51ID:gE5VOHBn

斎藤。お勤めご苦労。もう下がって良いぞ

‥ふふ。どうしたの紬。何か良いことがあった？話は寝室で聞くよ。でもその前に。好きだよ紬(ちゅっ)

>>615

安定の変態斎藤男wwwwwwwwwwww

872 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:19:40ID:JbEZ8O+9(34)

十六茶がメインイベントだったのに完全に持ってかれたなwwwwwwwwwww

901 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:20:23ID:JbEZ8O+9(34)

>>900

ゴーゴーゴー！

942 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:21:13ID:JbEZ8O+9(34)

912 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:20:33ID:Z9KK6Vl7(27)

　 __,冖__　,､　 __冖__　　 /　／/　　　　　　 /　　　　　　　 / i,　　　　　　　　　　 i　 　ヽ

　`,-.　-､'ヽ' └ｧ --'､　〔／　/　　　 　　/ /　　　　∧　　/　 ヽ　　 　i,　　 i　　　|　　　|

　ヽ_'_ﾉ)_ﾉ　 　 `r＝_ﾉ　　　 /　 　/ /　/ / 　　　／　|　 /　 　 `､　i　　!　　|i　　 i　 , 　l

　 __,冖__　,､　　　,へ　　　 /　 ,ｨ　/　/ // 　 ／ 　　 |　/ 　 　 　 | |　　|　　l !　　i　 | 　|

　`,-.　-､'ヽ' 　 く <´　　 .7_i／/`/ｰ- ､/　／　　　 　| /　　　　　 | ｌ　　 |　 l l　　!　 !　 i

　ヽ_'_ﾉ)_ﾉ　　　　＼>　　 　　/　/　,,,,- 一分ｘ-､_　 　!/ 　 　 　　 |i　　_,ｱナ'ｲ　 i　 !　 !

　　　n　　　　　「 |　　　　 　/　 ''" ／ :;;r　jヽ`＼,/, ,ﾘ　　　　　i_,, x＝､　ﾚ　|　/　/ 　:|

　　　ｌｌ　　　　　|｜ .,ﾍ 　　/| 　　./:::::;;;;;;;:`::::::l　　 "　　　　　　"/ :;;r ヽヽ 　 |/| /　　 :!

　　　ｌl　　　　　ヽ二ノ__　 ｛::|　 　|::::::::;;;;;;;;:::::::l　 　 　 　 　 　　 ｌ:::;;;;;` ::|　ｌ　　// 　 　:!　　。

　　　ｌ|　　　　　　 　 _| ﾞっ　￣フ"`'､:_　''''　,ノ　　　　　　　　 　 l　 ''''　ﾉ,,..,　/○ 　 　:|

　　　|l　　　　　　　 (,･_,ﾞ> 　／ ー''"..　￣　　　　　　　　 　　 　 ` ー '、　 ヽ 　 。 　 :| 　○

　　　ｌl　　　　　__,冖__　,､　 >|::::::::::::::::　　　　　　　　　　　　,　　　　..::::::`''''"i　 :|　　　:|

　　　ｌ|　　　 　`,-.　-､'ヽ' 　＼:::::::::::::: 。 　 　 _,.-ーx,, 　 　 _,,,__　:::::::::::::::○:|　:|　　　:|

　　　|ｌ　　　　 ヽ_'_ﾉ)_ﾉ 　　ﾄー::　○　 　 　 /　　　　 `''''''"　　 `i　 ::::::::::::::: l　.:|　 l 　:|

　　　ｌl　　　　　__,冖__　,､　|　::| 　 　 　 　 /　　　　 　　　　　 　 |　 　　 　 /　 :|　:ｌ　 :|

　ｎ.　ｎ.　ｎ 　 `,-.　-､'ヽ' iヾ　:|　　 　　　/　　　 　　　　　　　　/ 　　　　, 'J　:::|　:|　 :|

　|!　 |! 　|!　　ヽ_'_ﾉ)_ﾉ　 {::|　 ::|　　　　　| 　　　　　 　 　 　 　/　 　,　ｲ 　　　::::|　:|　 :|

　o　 o 　o　 　 　　 　 　 l ::|　 :|、　　 　 ヽ　　　　　　　　　／ 　 ／ ::::| 　　　:::::|　:|　 :|

>>912

wwwwwwwwwwwwwwwwww

970 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:21:54ID:JbEZ8O+9(34)

今日ばかりは無礼講だ、アフィブログもしょうがねえよ、しょうがねえ

235 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 21:53:29ID:QXPDU8E0(17)

209 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 21:52:09ID:LGu78jy1(9)

画像は別に上げなくてもいいか

ちなみに釣りじゃないぞ

>>209

釣りじゃないと言い張るなら証拠をだそうか

じゃないと釣りと変わらん

251 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 21:54:22ID:QXPDU8E0(17)

215 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 21:52:32ID:F2ib4y/c(3)

つけてみた！

ttp://www.uproda.net/down/uproda215473.jpg

>>215

その待受についてkwsk

283 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 21:57:32ID:QXPDU8E0(17)

277 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 21:56:55ID:ju+GX+1O(11)

>>251

TBS携帯公式→けいおん！で買える

251 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 21:54:22ID:QXPDU8E0(17)

>>215

その待受についてkwsk

>>277

なるほど

サンクスローソンスリーエフ

330 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:00:56ID:QXPDU8E0(17)

299 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 21:58:34ID:LGu78jy1(9)

画像は用意できたけど他にロダないかな

イメぴたとか使い方良く分からない

まあ自分で適当なとこ探してもいいんだけど

>>299

なんか釣りくさいが最後まで粘るか

http://imepita.jp/m/0-2.htmlで

イメピタの部分クリック

でメール送る画面になるから

画像添付して送信

かえってくるからそのURLをあげれ

391 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:05:15ID:QXPDU8E0(17)

360 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:03:23ID:LGu78jy1(9)

ttp://pic.to/upload.pic.to/dl.php?a7dd474646e49b99e13568542d8ff269_jpg

はい

>>360

携帯から見ても見れませんでした

つか画像消したね

釣り乙

429 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:06:24ID:QXPDU8E0(17)

387 ：名無しさん＠お腹いっぱい。 ：2011/02/07(月) 22:05:02ID:2VruBYjc(2)

http://beebee2see.appspot.com/i/azuYw7O7Aww.jpg

vipのスレでも再始動の画像来たんだけど

>>387

とおもったら

ｷ･ｷ･ｷ･ｷﾀ━━(ﾟ∀ﾟ)━━!!!!

うおあああああああああああああああ

484 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:08:24ID:QXPDU8E0(17)

釣り乙とかいってすみませんでした

ﾕﾙｼﾃｸﾀﾞｻｲ＿|￣|○ｺﾉﾄｫﾘ_|＼o_

542 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:10:18ID:QXPDU8E0(17)

1900杯目も伝説のスレになったｗｗｗｗｗｗ

568 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:11:22ID:QXPDU8E0(17)

509 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:09:10ID:LGu78jy1(9)

イメぴたは使い方が良く分からなかった

ごめんね

>>509

こちらこそ暴言はいてすみませんでした

687 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:14:48ID:QXPDU8E0(17)

うわあああああああああああああああ

この感動は映画化以来だｗｗｗｗｗｗ

745 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:16:23ID:QXPDU8E0(17)

661 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:14:09ID:LGu78jy1(9)

自分で画像見たら指が写っちゃってたな

あと俺にコラを作る技術はありませんw

>>661

馬鹿にして本当にすみませんでした

許してくださいごめんなさい

あなたが神だ

830 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:18:50ID:QXPDU8E0(17)

813 ：名無しさん＠お腹いっぱい。 ：sage ：2011/02/07(月) 22:18:14ID:z5ShET6k(9)

お前ら今の気持ちを三行で叫べ！！

>>813

うれしすぎて

しにそう

あずにゃんﾍﾟﾛﾍﾟﾛ（＾ω＾）

951 ：名無しさん＠Permalink |記事への反応(0) | 22:48

ツイートシェア

■Xperia X10mini pro にAndroid 2.1 を入れてみる

UK版ファームにはまだ通知がこないので、Nordic あたりに偽装して試してみる。

■準備

12:55 まずは準備。母艦に入ってたソニエリの Update Service をアンインストールした。

13:00 Titanium Backuphttp://tinyurl.com/22rxwqc でアプリをバックアップした。

13:01純正のバックアップツールでSMS/MMS をバックアップ。

13:05 APN Backup Restorehttp://tinyurl.com/26t6pq7 で APN 設定をバックアップ

13:08 (念のため)SMS Backup+http://tinyurl.com/24kv56y でSMS/MMS をgmail にバックアップしておこう

13:17SMS しかバックアップ取れてないぞ。ま、いいか。準備完了。

■いよいよアップデート

13:17 build.prop を書き換えよう。Xda developershttp://forum.xda-developers.com/ に情報探しに行く

13:21日本語の情報あるじゃねーか。。。http://tinyurl.com/2uzugykhttp://tinyurl.com/2fu9xsy

13:23 build.prop の 1238-0199 を 1238-8536 に書き換え。要root

ro.product.name=U20i_1238-8536

ro.build.fingerprint=SEMC/U20i_1238-8536/SonyEricssonU20i/delta:1.6/1.1.A.0.8/1:user/release-keys

ro.semc.version.cust=1238-8536

13:30 ここら辺http://tinyurl.com/ydjr8jg から Update Service をインストール

13:36ダメだ。最新のソフトウェアがインストールされています、だそうだ。

娘が起きてしまったので一旦中断

15:50 再開。Update Service をアンインストール、PC再起動、再インストール

15:59 Backボタンを押しながらUSB接続すると、アップデートがあります、だそうだ。

16:05アップデート完了。

■root

16:24 ここら辺http://juggly.cn/archives/12187.html を読みながら SuperOneClick でroot 化。5分くらい経ったけどまだダメ。

16:33 APN Backup Restorehttp://tinyurl.com/26t6pq7 で APN 設定を復元

一旦中断

16:50USB Debugging 有効、Unknown Sources 許可、Screen timeout 30分にして再度挑戦。10分くらい放っておいたらroot 取れてた。

■ひたすらリストア

17:00 Titanium Backuphttp://tinyurl.com/22rxwqc でアプリを復元。一つ一つやると時間かかる。有料版買おうかな

17:15純正のバックアップツールでSMS/MMS をリストア。

17:26 Auto-sync 有効にして放っておいたら電話帳もリストアされた。

夕食のため中断

21:34 DroidSansJapanese.ttf (中身はメイリオ) と DroidSansFallback.ttf を /system/fonts に入れてreboot

Nordicファームなのでキーマップが違うなぁ。

UKファームのときのqwerty.kcm.bin を取っておけば良かったのかな。

00:45MMS のUserAgent 変えるの忘れてた。custom_settings.xml で対処http://tinyurl.com/29qex3v

■キーマップ変更

11/4 11:13 ここhttp://tinyurl.com/33lw734 に添付してある keys.tar を解答して、keyboard-config 以下のファイル全部と、mimmi_keypad.kcm.bin を置き換えたらキーマップも EN配列になった。qwerty.kcm.bin は mimmi_keypad.kcm.bin へのシンボリックリンクだったので置き換えず。←今ココ

Permalink |記事への反応(0) | 12:53

ツイートシェア