  |
はてなキーワード: 以下略とは
【追記】さっそく、直接言ってこいよってコメント来てるけど、こんな長い内容Xに放り込んだって読んでくれなさそうじゃん。はてなの方がみんな読んでくれるかなって思って。臆病なのは認める。
https://twitter.com/marony38/status/1788736215413407945
このポストね。ってかそもそもどちらも主語が大きすぎ。オリジナルポストはインプ稼ぎだろうけど、フィンランドだろうが日本だろうが「人による・職種による・ポジションによる」が大半だよね。
ちなみに私は仕事でフィンランド（ヘルシンキではない地方）に駐在しています。もちろんだけど、下記は自分の観測範囲内の話ね。
⇒人による・会社によるけど週４勤務がデフォなのはさすがにダウト（ていうか週５以外まだ聞いたことない）。在宅勤務はコロナ明けでハイブリットが主流（週２－３日オフィスとかね）。工場とか現場系はもちろん毎日出勤。ほぼ丸１日会議（オンラインね）で埋まっているから今日は在宅している、とかもね。あえてほぼ毎日出社している人とかもいるよ。
転勤
⇒確かにフィンランド国内の各都市（というか街）に拠点を構えている企業ってかなり限られそう。弊社はその限られた企業の一つなんだけど、現場系以外はリモートで十分機能しているから転勤っていう考え方が無い。転勤命令されたらたぶんみんな辞めると思う。確かにヘルシンキにいる人と仕事していて、別の街にいる同僚と「この人がヘルシンキじゃなくてここにいたらもっとよかったのにねー」とは話したことあるけど、それだけ。あ、エクスパッドはまったく別ね。
退勤時間
⇒確かに１６時となると帰る人が多い。１５時すぎると帰る人が出始めるよ。マネージャークラス以上の人は割と忙しそうにしているからその限りではないよ。というかみんな朝が早めだよ。朝８時に事務所に行くとすでに結構にぎわっている。だから、7:30 - 16:00と考えると、まあそんなもんかなって感じじゃない？やる気なさそうな人は９時過ぎに来て１５時に帰ったりとかしてるけど。
っていうか外食は基本高いし選択肢も少ないから、夕食を済ませるためには帰宅しないといけない。どこかの記事で「お腹が減るから帰る」ってのを見たことがあるんだけど、まあ結構その通り。コンビニも牛丼屋もないからね。
昼休憩
⇒人によるし日による。「１２時から会議だからさくっと食べようぜ」ってこともあったし、特に何もないから昼食後にみんなでコーヒー飲みながら３０分くらい雑談なんてこともあったし。ここでもマネージャークラス以上の人は（以下略）。まあ確かにそこまで忙しくしてなさそうな人は１日に２回くらい（午前と午後）はコーヒータイムとっているかなー。
⇒「せいぜい１週間」はさすがにダウト（このポスト主さんの周辺ではこれが主流なのかな？とも思ったり）。これは元ポストの方が正確。大体みんな３週間～１か月くらい休むよ。７月は学生のサマートレイニー以外誰もいない。
⇒知らん。ベースの物価も高いし昨今の円安で日本人目線ではより物価高に見えるのもあるかな。話逸れてるけど、自炊するなら生活は全然余裕。外食も高いわりに大しておいしくないし。
その他
・みんな歩きたばこ普通にしている。電子タバコではなく従来型が大半。ヘルシンキの駅のホームでもしてたから、ここら辺は全然日本が上。
・日本のLUUPみたいな電動キックボードがこっちでも若者を中心にはやっている。東京みたいに人も交通量も多くないから安全っぽいけど、暖かくなると酔っ払いがこれに乗って転んでケガをするケースが多いらしく、春以降になると深夜に救急で病院に運ばれる人が増えるらしい。
・路線バスから降りるときは大半の人が運転手に向かって大声で「ありがとう」って叫ぶ。こういうのいいよね。
・フィンランド人は基本的に人見知りで、特に交友が無いのに向こうから話しかけるってことはまずない。接点があったりいったん知り合いになるとそこからは普通。
・仕事終わりの飲み会とかはないけど、土日に自宅に誘われることはよくある。建前じゃなくて日程調整しながらマジで誘ってくる。あと街が大きくないからみんな知り合いみたいな感じ。ここらへんは田舎のウェットを感じる。
スーファミの試作機がネットオークションに出されて話題になっているが、一部では任天堂がその気になれば所有権に基づき試作機を取り戻せるのではないか、と指摘されている。
当方は法曹でもなければ法学部卒でもないが、民法の教科書を読む限りは、任天堂は遅くとも2015年11月23日にはスーファミ試作機の所有権を失い、試作機占有者が正式に所有者になっているのではないかと推測する。以下、条文の当てはめを示す。
占有者の所有の意思（自主占有）はいつ発生するか。この発生時期が取得時効の起算点になるため重要である。
試作機の使用貸借の終了により代理占有関係が消滅しても、任天堂は試作機をなおも代理占有し続ける（204条第2項）。他方で学説は、占有代理人に「自己のためにする意思」も存在するときは、占有代理人において他主占有に加えて自主占有も併存しうるという（潮見佳男 民法（全）（第2版）(pp.245-246)）。これに合わせて、所有の意思の有無は、占有取得の原因となった客観的事実（占有権原の性質）から外形的に判断される（最判昭45.6.18）という判例理論を考慮すると、試作機返還債権の消滅という占有権原の性質の変化から、占有代理人には他主占有に加えて自主占有も併存し、この債権消滅日を取得時効の起算点と自分は結論した。
（追記）
ブックマークコメントの指摘の通り、所有の意思が占有取得の原因となった客観的事実（占有権原の性質）から外形的に判断されるならば、試作機返還債権が時効消滅しても占有取得の原因となった客観的事実は変わらないのだから、引き続き占有代理人には所有の意思なしと考えるべきかもしれない。
しかしその場合、占有権原（使用貸借契約）に起因する債権（試作機返還債権）が全て消滅時効にかかってもなお任天堂が永遠に代理占有し続けうるということを意味し、法的な不安定性を社会にもたらしうると思う。別の解釈として、試作機返還債権を本人（任天堂）が行使せずに時効により消滅させたことを、黙示に代理人に占有をさせる意思を放棄(204条第1項第1号)したと位置付け、任天堂の代理占有が消滅し占有代理人から他主占有が消滅した、こういった具合に法律構成することができるかもしれない。但し、ざっと調べた限りこれを支持する判例や学説は見つけられなかった。
もっとも、オークション売主の言動を見る限り、ゲーム開発会社に勤めていた父親が退職の記念に持ち帰った試作機を相続により承継した子息が売りに出した、こういった経緯が目に浮かぶ。この場合、退職により父親が持ち帰った日にゲーム開発会社（占有代理人）は占有物の所持を失うことになり、任天堂の代理占有は消滅する（204条第1項第3号）ので、退職日が取得時効の起算点になるだろう。また、ゲーム開発会社が解散して試作機が外部に流出した場合は、同様の理由でその流出日が取得時効の起算点になるだろう。いずれにしても、取得時効の起算点は1995年11月22日よりさらに遡る可能性が高い。
この少し前に話題になった、日本マクドナルドの社内研修用ニンテンドーDSソフトの「クルトレ eCDP」について、同社が所有権を失うのはいつか。以下に示すように、遅くとも2039年頃にはマクドナルドはクルトレの所有権を失うだろう。
まず、スーファミ試作機の考察から、取得時効の起算点の特定のために、占有者の所有意思の推定(186条)を所有者が覆せなくなる日はいつかが重要になる。その日は、フランチャイズ店からクルトレが外部に流出しマクドナルドが代理占有を失った(204条第1項第3号)日になるだろう。この日からクルトレ占有者の所有意思の推定(186条)をマクドナルドは代理占有を根拠に覆せなくなり、取得時効が起算される(162条)。
クルトレが外部に流出した日はいつかはケースバイケースであろうが、報道によるとマクドナルドは2018年までクルトレを研修に使用していたとのことなので(ttps://www.j-cast.com/2024/03/27480390.html)、遅くともその翌年の2019年に外部流出したと仮定してよいだろう。
すると2019年の20年後の2039年に取得時効か成立し(162条)、クルトレの占有者は正式に所有権を取得する。その反射的効果としてマクドナルドは同所有権を失う。
（使用貸借）
第593条 使用貸借は、当事者の一方がある物を引き渡すことを約し、相手方がその受け取った物について無償で使用及び収益をして契約が終了したときに返還をすることを約することによって、その効力を生ずる。
第185条 権原の性質上占有者に所有の意思がないものとされる場合には、その占有者が、自己に占有をさせた者に対して所有の意思があることを表示し、又は新たな権原により更に所有の意思をもって占有を始めるのでなければ、占有の性質は、変わらない。
（期間満了等による使用貸借の終了）
第597条 当事者が使用貸借の期間を定めたときは、使用貸借は、その期間が満了することによって終了する。
2 当事者が使用貸借の期間を定めなかった場合において、使用及び収益の目的を定めたときは、使用貸借は、借主がその目的に従い使用及び収益を終えることによって終了する。
第166条 債権は、次に掲げる場合には、時効によって消滅する。
一 債権者が権利を行使することができることを知った時から五年間行使しないとき。
第186条 占有者は、所有の意思をもって、善意で、平穏に、かつ、公然と占有をするものと推定する。
2 前後の両時点において占有をした証拠があるときは、占有は、その間継続したものと推定する。
第204条 代理人によって占有をする場合には、占有権は、次に掲げる事由によって消滅する。
二 代理人が本人に対して以後自己又は第三者のために占有物を所持する意思を表示したこと。
辞書で「以上」を引いてみると
広辞苑では
①程度・数量などについて、それより多い、または優れていること。法律・数学などでは、基準の数量を含みそれより上。(以下略)
明鏡国語辞典では
①《数量・段階・程度などを表す語に付いて》それを基準としてそれより上。(中略)
[語法]数値を伴わないで程度をいう場合は、「彼の実力は僕━だ(=僕は彼には及ばない)」「予想━の(=予想を超えた)被害」「これ━は進めない(=ここまでは進める)」などのように、＜含まない＞と解される。(以下略)
…とは思わないが、（他の多くの言語と同じように）注意して使わなければまったくナンセンスな議論を平気で生み出してしまう言語ではある。
自分が最近特に気になっているのが、修飾部の制限用法と非制限用法の無節操な混同である。
これは英語のtoxic masculinityの訳語なので、当然この「有害な」という修飾は制限用法であり、「無害な男らしさ」の存在も暗に示すものである。
しかし、これを日本語にした言葉自体には、非制限用法の解釈もあり得てしまう。再翻訳すれば、"masculinity, which is toxic"（この有害なる男らしさ、とでも再々翻訳しようか）という解釈が可能だということである。
これが、時には無意識に、時には意識的に、日本語の議論を混乱させているのを昨今切に感じる。
「有害な男らしさ」を語る議論は、「男らしさの肯定か否定か」ということではないはずだ。
「何が有害な男らしさで、何が無害な（または有益な）男らしさか」を弁別することであるはずだ。
「有害な男らしさ」の定義なんてしないまま、前者の極論に持っていきたいことが丸見えのくだらない対立論しかメディアにはない。
（以下略）
飽きた。
ここから、ハリウッド映画の「依頼人」を例に、海外では女にも「有益な男らしさ」が求められること、「有益な男らしさ」がなければ誠実に議論する社会はあり得ないという話をしようと思ったが、そんなことはここまで読んで、わかる奴は既にわかってる話だし、わからない奴は何を言ってもわからないだろう。
非論理的な自然言語だからこそ論理的に使うのだという発想が社会になく、学校で教えてもいないから、良い大学を出ても平気でこの程度の基本的な文法事項も注意しないで使う、それどころかそういう詭弁で煙にまくのを賢いとすら思っている「インテリ（瀬川深）」がいっぱいいるような国では、保守もリベラルもないのである。
そして、こんな根本的にその議論の誠実さを証明するようなトピックをもこそこそと避け、あわよくば自分が何を言ってるかも曖昧なまま、反撃されずに気持ちよく他人を叩ければ良いという国民性こそ、日本のすべての凋落の元凶なわけである。
「ちはやふる」を載せてた雑誌は「BE・LOVE」だよ。少女漫画誌じゃなくて、レディースコミック誌。
BE・LOVE - Wikipedia https://ja.wikipedia.org/wiki/BE%E3%83%BBLOVE
1979年9月に発行された『週刊ヤングレディ増刊 漫画特集BE・LOVE』が前身。1980年10月、月刊漫画雑誌として創刊。1982年5月、月2回刊となるが、2019年現在は月刊に戻っている。一時、誌名も『BE in LOVE』（ビー・ラブ）だったが、後に現在の『BE・LOVE』へ。大人の女性を対象とする作品を掲載しており、講談社は2006年時点で30代・40代女性の読者が多いと謳っており、2020年現在の読者は40代・50代女性が中心となっている。
あとは、よくある間違いで「のだめカンタービレ」を載せてたのは「Kiss」。これもレディースコミック誌。
Kiss (雑誌) - Wikipedia https://ja.wikipedia.org/wiki/Kiss_(%E9%9B%91%E8%AA%8C)
本誌は「読むと恋をする」をキャッチフレーズとしており、恋愛漫画を中心に大人女性の王道を目指すという編集方針が掲げられている。掲載作品には、仕事や恋愛について、働く女性の「リアル」と「本音」を描いた作品が多く、20代から30代の女性をメインターゲットとしつつ、それ以上の年代の女性にも親しまれている。
「ちはやふるっていう少女漫画」っていうのは「攻殻機動隊(ヤングマガジン別冊掲載)って少年漫画」っていうのと同じぐらいヘンだよ。
なんで男性は女性向けまんがっていうと少女漫画に括りたがるの? 元増田だけじゃなく、トラバもブコメもだよ多すぎね? 女性=少女なの? それ(以下略)。
対象の読者層もジャンルの傾向もわからずにお気持ちを開陳するのは、エロいまんがはけしからんっていうのと同レベルだと思うわ。
蒲鉾は竹に巻いて蒲の穂を模したものだったから「かまぼこ」と呼ばれていたのに、いつの間にか亜流の「板蒲鉾」の方が「蒲鉾」を名乗っていて本来の蒲鉾が区別のために「竹輪蒲鉾」→「竹輪」と変遷してるの、完全に母屋を乗っ取られた感あるよね。もはや何が「蒲の穂」なのか分からん
同じことがいま京都銘菓の呼び名でも起きていて、八ツ橋はもともと琴の形状を模した堅焼き菓子に箏曲の八橋検校にあやかった名前を付けたのが始まりだったのに亜流の「生八ツ橋」に言葉を乗っ取られ、もはや「八ツ橋」でウェブ検索すると9割がた生八ツ橋で、本来の八ツ橋は区別のため「焼き八ツ橋」とか呼ばれる始末。検校さんも蒲の葉の陰で泣いているに違いない
竹輪蒲鉾が「竹輪」になったのをふまえると、焼き八ツ橋は何十年後かには「お焼き」と呼ばれるようになるだろう。すると、今の「お焼き」は区別のために（以下略
？？？はぁぁぁ？
2段落目と3段落目の間に当該イラストの画像アリますけど！！？
「ゆるキャン△SEASON2」のイメージビジュアルっぽい雰囲気を醸し出しています。
ゆるキャン△SEASON2」のイメージビジュアルはテレビアニメが2021年1月に放送開始されることを告知するために製作されたもので（以下略）
一番楽しみ
ライマル過激派
毎週5回は見てる
かわいい、ゆるい
ダークホースかもしれない
ノリについていけるかどうか次第だったけど、3話まで見て楽しめそうだったので継続
サクサク進む
ショタい
漫画もそろそろ読みたい
転スラなにがすごいって、他のアニメ見たときに「転スラで見た」って言われるあたりだと思う
実際誰が最初なのか知らんけど
アニメになって思うけど、背景良いな
俺はずっと清掃してても面白かったと思うんだけどね
母の医療費を稼ぐため、不良にけんかを売っていって再生数を稼ぐ、みたいな設定がよく出来てると思った
ちょっとイカゲームを思い出すね、金・ヒエラルキー・下剋上・家族愛を描くなら彼の国は得意なのかもしれん
今期ゴルフ枠が2つもある
1話見て、どうすっかなぁと思ってたら原作40巻以上出てて笑った
じゃあ見るよ、ゴルフ漫画好きだし（DAN DOH!!リメイクしてくれ）
島出る感じかな？
てかゴルフ漫画って子供ゴルファーを育成する話好きだよね、おっさんに刺さるのかな
正直1期目の面白さを超えられないだろうけど
今期は🥝
とりあえず2話まで続いてるけど、どうだろうなあ
まだ方向性が見えてないんだよね
でも転スラが一生会議してるし、こういうのもありかもな
まだ見てないけど、多分見る
ゴルフ枠その2、まだ始まってないっぽい
原作読んでた、これアニメ映えするのになんでアニメ化しないんだ枠だったけど、原作どうなったんだっけ？打ち切り？
あとこの原作者のスケートのやつもアニメ映えすると思うんだけど、あれも最後どうなったんだっけ
ってかそうか、七つの大罪の人か
保留・脱落など
見たいんだけど、ディズニープラス独占配信っぽい（あ、ニコ動で課金しても見れるか、課金もありかな）
惜しいんだけど、モチベは今のところ湧かない
4話くらいまで出たら再チャレンジする
設定や作画は悪くないんだけど、台詞回しがどうしても肌にあわない
あれ、総集編ずっとやるんか？総集編終わったら見る
老人に対するステレオタイプと訛りがしんどかった
割と好評なようなので、5話くらいで一応評判を確認する
薄々感じてたけど、魔法学園編あたり動きが少なくてあんま面白くないかも
今期は全部出てから一気見しようかと思う
ヤマノススメでもあったな、2期3期あたりどうしてもドラマが発生しづらくなって
これも一気見の予定、でもヤマノススメちゃんと見てないんだよな
マジで不思議なんだけど、ゆる系なはずなのに視聴にエネルギーを使っちゃうんだよ、1期は大丈夫だったんだけど、なにが原因なんだ？
こういう清純系ヒロインのラブコメ、良いんだけど個人的に完走率が低いんだよね
コメディかバトルかツンデレにある程度ステ振りしてくれてないと
5話目くらいで一回確認したい
艦これ、ウマ娘、ブルアカ、アイマス、ぜんぶやってないし乗れてないんだよな
AKBに乗れない感じみたいな
5話くらいで一気見して決めたい
あー3Dかぁ
6話時点の評判見てかな
長年の勘から見てない
・鑑定スキルで成り上がる
・黒執事
・花野井くん（保留、あとで）
＿＿＿＿
・魔王の俺が奴隷エルフを嫁に（以下略） 保留してた、確認必要
・ささやくように恋を唄う 百合姫かよ、見なきゃ
・Unnamed Memory？ とりあえず今見るわ → 見た、好きかも
・自転車のやつと車のやつとロボのやつ 経験則で自分には合わない
・バーテンダー スナックバス江難民救済とか書かれてたけど疑ってる、一応見てみようかなあ → 今見てる、なんか美味しんぼっぽいｗ
・声優ラジオ 声優もので完走したこと無いので保留してるけど、妙に人気だな？
はー今期多いなー
まだ忘れてると思う
オススメされたものも見ておきたいけど、1話見るだけでも結構骨だね
制作が90点を出しても「個人的にちょっとあわない」で見れなくなっていくのいつも思うが悲しい
なんて贅沢な時代だ
前期もいくつか積んでる、陰の実力者、よう実を積んでるんだよ、やばいよ
日本共産党に電話して非実在児童ポルノ、表現規制について聞いて結構意見を言ってしまった。具体的な質問は2つ
・児童ポルノの件は子供を守るための政策か？そうだとしたら何故ジェンダーと女性の項目か？BL等で男児が性的に描かれるものがあるのは把握してるか
回答・子供を守るための物。何故女性とジェンダーの項目かはわからない。BL等は把握しておらず、女性クリエイターや女性ファンは想定外。
https://twitter.com/dF2NO0qY8NotbxX/status/1451092859856113668
https://twitter.com/dF2NO0qY8NotbxX/status/1451094307746705414
ワイ：
1 以上の整数 N と X が与えられ、N を割り切ることが出来る X 以下の整数を、O(min(sqrt(N),X)) 未満の Complexity で得られるアルゴリズムはありますか？
Claude3 Opus：
はい、O(min(sqrt(N),X))未満のComplexityでNを割り切ることができるX以下の整数を求めるアルゴリズムがあります。以下にそのアルゴリズムを示します。
def find_divisors(N, X):
divisors = []
for i in range(1, min(int(N**0.5) + 1, X + 1)):
if N % i == 0:
divisors.append(i)
if i != N // i and N // i <= X:
divisors.append(N // i)
return divisors
このアルゴリズムでは、1からmin(sqrt(N), X)までの整数を順番に調べていきます。各整数iについて、Nがiで割り切れるかどうかを確認します。割り切れる場合、iはNの約数なのでdivisorsリストに追加します。さらに、i^2 != Nの場合、N/iもNの約数となるので、N/iがX以下であればdivisorsリストに追加します。
このアルゴリズムのComplexityは、forループがmin(sqrt(N), X)回まで実行されるため、O(min(sqrt(N), X))となります。
例えば、N = 24, X = 10の場合、このアルゴリズムは以下の約数を返します。
[1, 2, 3, 4, 6, 8]
このアルゴリズムを使用することで、O(min(sqrt(N), X))のComplexityで、Nを割り切ることができるX以下の整数を求めることができます。
ワイ：
Claude3 Opus：
申し訳ありません。ご指摘いただきありがとうございます。O(min(sqrt(N), X))未満のComplexityで、Nを割り切ることができるX以下の整数を求めるアルゴリズムを考えてみます。
以下のアルゴリズムは、O(sqrt(X))のComplexityでNを割り切ることができるX以下の整数を求めます。
def find_divisors(N, X):
divisors = []
i = 1
while i * i <= X:
if N % i == 0:
divisors.append(i)
if i != N // i and N // i <= X:
divisors.append(N // i)
i += 1
return divisors
このアルゴリズムでは、1からsqrt(X)までの整数を順番に調べていきます。各整数iについて、Nがiで割り切れるかどうかを確認します。割り切れる場合、iはNの約数なのでdivisorsリストに追加します。さらに、i^2 != Nの場合、N/iもNの約数となるので、N/iがX以下であればdivisorsリストに追加します。
このアルゴリズムのComplexityは、whileループがsqrt(X)回まで実行されるため、O(sqrt(X))となります。sqrt(X)は常にsqrt(N)以下なので、このアルゴリズムのComplexityはO(min(sqrt(N), X))未満です。
例えば、N = 24, X = 10の場合、このアルゴリズムは以下の約数を返します。
[1, 2, 3, 4, 6, 8]
このアルゴリズムを使用することで、O(min(sqrt(N), X))未満のComplexityで、Nを割り切ることができるX以下の整数を求めることができます。再度の考察で間違いがあればご指摘ください。
ワイ：
N=40, X=5 の時、答えはどうなりますか？
Claude3 Opus：
N = 40, X = 5の場合、上記のアルゴリズムを使用すると、以下の約数が返されます。
[1, 2, 4, 5]
しかし、40を割り切ることができる5以下の整数には、8も含まれています。上記のアルゴリズムでは、8が見つかりません。これは、アルゴリズムがsqrt(X)までしか調べないためです。sqrt(5)は約2.23で、8はこれより大きいため、見逃されてしまいます。
この問題を解決するには、アルゴリズムを修正する必要があります。以下は、修正したアルゴリズムです。
...
”40を割り切ることができる5以下の整数には、8も含まれています。”
ワイ：
1 以上の整数 N と X が与えられ、N を割り切ることが出来る X 以下の整数を、O(min(sqrt(N),X) ) 未満の Complexity で得られるアルゴリズムはありますか？
ChatGPT：
指定された問題に対するアルゴリズムを設計する際には、いくつかの異なるアプローチが考えられますが、要求されている計算量 O(min(sqrt(N), X)) 未満を達成するのは非常に挑戦的です。一般的に、ある数Nの約数を見つけるプロセスは、最悪の場合でもsqrt(N) の計算量を要します。この計算量は、1 からsqrt(N)までの数でNを割ってみるという基本的なアプローチに基づいています。
X以下の整数でNを割り切る必要がある場合、探索範囲がX以下に制限されるため、計算量はさらに小さくなる可能性がありますが、基本的なアプローチでは依然としてsqrt(N)の計算量が最良です。
...
以下特殊条件であれば小さくなるかもね、みたいな話。
ChatGPTはフィードバックを通して出来ないことをちゃんと「出来ない」と言う、というチューニングがされているような気がする。
一日の長だね。
