このアカウントは、notestockで公開設定になっていません。
らりお・ザ・何らかの🈗然㊌ソムリエ(@lo48576@mastodon.cardina1.red)の投稿
このアカウントは、notestockで公開設定になっていません。
Vultr の VPC 2.0 というのを確認してみているが、思っていたのとちょっと違ったので使い方を探っている
ブリッジを介してノードローカルな通信路を用意するのはいけたが、 VPC を経由してコンテナ間通信を通すのも同じ調子でやってしまってええのか……？
VPC 2.0 の管理画面では subnet だけ見えてるんだけど、インスタンスの設定画面から VPC 2.0 を確認すると Address に IPv4 アドレスが表示されていて、でもこれ一体誰が割り当てたんだ……？
Proxmox VE on VPS、思いの外使いづらいかもしれん
運用中のドメイン5つくらいあるのに用途が明確になってないのが少なくないので、混乱してきた
Redmine の「ブロック元」「ブロック先」というのが (翻訳として) 分かりづらすぎて最悪。
* (このチケットは) (次に指定されたチケットの) ブロック{元,先}
* (次に指定されたチケットは) (このチケットの) ブロック{元,先}
のどちらでも解釈できてしまう。
「次のチケット{と,が}重複」とか「次のチケットに{先行,後続}」みたいに誰から見ての関係なのか明示すればいいのに…… #l10n
ちなみに正解は、
「(次に指定されたチケットは) (このチケットの) ブロック元」→ that blocks this = this is blocked by that
「(次に指定されたチケットは) (このチケットの) ブロック先」→ this blocks that
です。わかるかいな！
Patch #21176: Japanese translation change (Blocks / Blocked by) - Redmine
https://www.redmine.org/issues/21176
むしろ直訳で戻して原型が「blocks bug #999」とか「blocked by bug #999」であったと察することができる「ブロックしている/されている」の方が (日本語として自然かは別問題として) マシだったのではと思わずにいられない
日本語として自然であること以前の問題として、まず機能が何であるかちゃんと伝わる方が重要なので……
英語だと
(this) {関係の動詞} [another ticket]
という構文で表示上の順序が文構造を暗示していることが半ば明らか (暗示だけど) なのでわかりやすいが、日本語訳の段階で名詞化すると、その方向性の暗示が失われて何もわからなくなる
たとえば "duplicates" が「次のチケットと重複」になっていて、日本語では
「[このチケット:主語] が、[次のチケット:目的語] と重複している」
という構造になっている。一方、反対向きの関係を表現する "duplicated by" の訳は「次のチケットが重複」で、
「[次のチケット:主語] が、([このチケット:目的語] に) 重複している」
という構造になっている。つまり翻訳の中で「このチケット」がどの位置と役割で定着すべきなのかが一貫しておらず、そのため単に「ブロック先/元」と名詞だけにされてしまうと「このチケット」と「次のチケット」がどう機能するかが読み取りづらい
まあ日本語で受動態を英語のように使うと不自然になるという難しさはあるのだろうけど、それにしても一貫性がなくてつらい。
語順の維持が自然にできないのであれば、次点で「目的語と主語の一方は必ずそうとわかるように明示する」というのが良いでしょうね。もっといえば「次のチケット」という文面を含めてしまう。
https://github.com/redmine/redmine/blob/5.0.6/config/locales/ja.yml#L714-L720
そのままにしてよいのは以下:
* relates to: 関連している
* duplicates: 次のチケットと重複
* duplicated by: 次のチケットが重複
* precedes: 次のチケットに先行
* follows: 次のチケットに後続
これに合わせて変更するのが以下:
* blocks: 次のチケットをブロック
* blocked by: 次のチケットがブロック
まあこれなら妥協して合格点になりません？ 私がローカルでパッチ当てるならこうします。
場合によっては follows を「次のチケットが先行」とかにしてもいいかもしれないけど、さすがにそこまで一貫させてもメリット薄いのでそのままで。
blocked by は「次のチケットがブロック元」とかだとなおわかりやすいかも。長くなるけど何もわからないよりはずっとマシ。
Redmine 「ブロック元/先」翻訳改善パッチ ($3605033) · スニペット · GitLab
https://gitlab.com/-/snippets/3605033
思うところがあるなら上流に投げろって話なんですけどね……今なら GitHub でいけるんか？ それともまだ www.redmine.org でアカウント作って起票する必要あるのかね
GitHub の Pull Requests タブ覗いてみたけど www.redmine.org で起票する必要がありそう
Contribute - Redmine
https://www.redmine.org/projects/redmine/wiki/Contribute
㍂。めんどくせ……
べつにこれは特定のプロジェクトへの言及ではないんだけど、「専用のアカウントを作成しないと contribute できない」というのかなりダルさがあるので正直放置しがち。その辺り ForgeFed みたいな federation プロトコルが成熟して普及すればいずれ解決するかもしれないと信じたいけど……
とはいえあれはあくまでリポジトリ管理とその周辺の話だろうし、 Redmine のような self hosting できてしまっていて他より圧倒的に表現力の高い実装となると、当分そのままだろうなぁ
過去にわざわざアカウントを作ったの、 LLVM とか freedesktop.org とかくらいか
Update README.md · gorilla/websocket@931041c https://github.com/gorilla/websocket/commit/931041c5ee6de24fe9cba1aa16f1a0b910284d6d
！？！？！？
たぶん私が欲しかったアプリインフラ管理は、宣言的であるとかステートレスであるとかが重要なのではなく、「どうしても発生してしまう保持すべきステートは簡単に移動でき、保持する必要のない部分は宣言から再構築できる」という部分が本質なのか
で、 docker-compose.yml (not compose.yml) 含めあれこれ ansible でデプロイするのは、「保持する必要のない部分は宣言から再構築できる」を実現しているとはいえるが、「ステートを簡単に移動できる」の部分が微妙。特に、ホストの IPv6 アドレスや /64 prefix に依存している (せざるを得なかった) 設定ファイルなんかがあったとき、
ステートを移動する→ステートの一部を宣言から生成したデータで上書きする
という手順が必要になって、ここで作業の順序 (依存関係) が発生してしまうのがあまりにダルいし間違いの元になる。私が今の方式で一番気に入っていないのが、たぶんこれだ
k8s が魅力的に見えた (結局ちゃんと使ってないけど) のは、「ステートの移動」の部分を含めてうまくやってくれそうに見えたからなんだよな。実際どうなのかは別として。
現状の手元でのモデル化の試みも、うまくいっていないことはないけど微妙ではあるんだよな。 XDG base directory のアレを参考に conf, data, cache と分けてみたけど、たとえば「事あるごとにスクリプトから再生成されるが、勝手に消されては困るような設定ファイル」みたいなのは conf に置くべきなのか data なのか、それとも cache なのか……みたいなところがいまひとつしっくりこない
役割や生存期間ではなくて、生成者で分けないといけなかったのかな。orchestrator と、user-defined startup script と、 app-provided startup と、 app state の4つ？
この際だから食わず嫌いせず Portainer も見てみるか……
traefik 使ってみるか……疲れすぎて /var/run/docker.sock をコンテナ内にマウントするなとかもうどうでもええわ……という気持ちになってきた
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
カバー・YAGOO氏、グッズモデルから引退 ファンからねぎらいの言葉と惜しむ声 | PANORA
https://panora.tokyo/archives/72727
車の運転はできないが、フォークリフトは動かせるしガソリン扱えるし玉掛けもできるしコンセントも増やせる
大したシカクは持ってないけど社会サンカクはしてます (?)
国税庁で法人検索したら、東洋水産は14件あるのに、西洋水産は0件なんだ・・・。（今日のあるんだじゃなくて今日のないんだ）
免許センターあるあるといえば立地がド田舎というのがあるが、教習通ってた流山はすぐそこに免許センターがあって市民がうらやましかったな
常時各地から徒歩で市民が集ってくる環境、普通に面倒そう。横断歩道の混雑具合とかバスの帯域とか。
このアカウントは、notestockで公開設定になっていません。
もしかして「包茎手術」と「ウイルスソフト」って言葉の構造が近くない？
構造は近いけど不妊は避妊という別の有力な語彙の存在を前提にこの意味で使うことを許されていそう (?)
それを言ったら包茎にする治療もウイルスをインストールすることを謳う市販ソフトもないだろうし自動的に免責されてそうだけど……
不妊治療、まあ治療と言っているので不妊が治療すべき悪い状態であるというところからまあゆるされてるのか
ライボ - Wikipedia
https://ja.wikipedia.org/wiki/%E3%83%A9%E3%82%A4%E3%83%9C
しかも「キャリアや就職・転職に特化した匿名相談サービスである『JobQ』の企画・運営を展開している[1]。パーソルキャリアの子会社でもある[2]。 」やぞ、サンプル偏りまくりやろ
そして労働者を †社会人† と呼ぶいつもの労役至上主義しぐさ
これ昔も書いたことあるかもしれないけど、「経済的」が「安い」を意味するようになったのっていつからなんですかね (あるいは最初から？)
そういえば「道理で」で思い出したあまり関係ない話だけど、 “reasonable” (合理的) が日本で「リーズナブル」と言うと「お値打ちの」みたいなニュアンスを持つようになるの、モヤッとするし納得いってない。気持ちはわからんでもないんだけど
@torisan ははー……消費者目線だとは思ってたけど、生産者を材料消費者として置けばたしかにそう言えますね
そうか、次の RasPi は Pi64GB とか呼ばれるようになるのか…… (???)
スパムの標的になった鯖をブロックしても中長期的に意味がないのはそれはそうだけど、そもそもすべてのオープン登録インスタンスは潜在的に同じような問題を抱えているので、緩和策であれ対処が追い付かなそうな様子があれば軽率にブロックすることに意義はあると思っています (特定サーバへの言及ではない)
なんなら「個人専用サーバ」と「寄合所帯サーバ」で諸々の権限レベルを分けてもいいと思ってるくらい。まあ実用上それは無理だろうし、今のところそのために手間をかけたいとまでは思っていないけど
まあ mastodon.social をブロックしている過激な鯖缶の戯言ってことで。
海外サーバだったら本当に軽率にドメインブロックするんだけど、日本語圏だとなんだかんだでその鯖のアカウントをフォローしていたりフォローされていたりして、まあちょっと猶予を用意して様子見するかなぁとなったりして甘めの対応になります
個人的には、受信サーバ側で「特定条件にマッチするアカウントやサーバからのリプライは非表示にする」みたいな高度なフィルタを用意できると嬉しいのだが、まあこれはﾎﾟﾖｸﾞﾔﾐﾝ齧ってるオタク並感ってやつで一般ピーポーは持て余すだろうしサーバのパフォーマンスにも良い影響は与えないだろうから fat chance
まあそうは言っても単に接点のなかったアカウントと見ただけでわかるスパムをどう区別するかとなると、相応に複雑なフィルタになってしまうだろうしどこまで実際的なものになるか若干怪しくはある。
「同じ人間がバーストして発信していると思われる短期的に流行するスパム」みたいなのに対しては、文面、ユーザ名、リンク等に特徴がみられることが多いので効果がありそうだけど
そういう重めの処理は本当はクライアントでやるのが筋だが、たとえばｱﾝﾖﾖｲﾖアプリでやっても PC では別設定ですかみたいなのはダルいわけで、やっぱり web UI で頑張ってほしさはある
MUA にも同じような問題がある。高度なフィルタによる高精度のスパム判定は PC クライアントで設定できても、ｽﾏﾋｮでは……みたいな
打てる手があるとしたら、共通のクエリ言語を用意するとかなのかな。パーサ書きたくなければ API だけ用意して wasm とかのバイナリを共有するとかでもいいのかもしれないけど
このアカウントは、notestockで公開設定になっていません。
「ワイが倒れたり死んだりしたとき用の情報」みたいなのを自前管理鯖の wiki に整備したりしているんだけど、実際もうちょっと考えないといけないよねという……
スパマーが自前サーバを立てることだってありえるのだから (まあドメインでブロックできはするだろうけど)、やっぱり受信側の高度なフィルタ機能は重要
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
暖簾分けに合わせるなら「inbox分け」とか？ (?)
shared inbox やめるだけのように読めないこともない (???)
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
「Lindows」が消滅へ--マイクロソフト、2000万ドルでリンドウズと和解 - CNET Japan
https://japan.cnet.com/article/20069901/
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
法律 (仕様) と自動会計 (実装) のギャップとか、それソフトウェア業界で苦労してるやつそのまんまだし研究成果を輸入すれば少しは楽になるんじゃない？ みたいなアレはある
たとえば機械可読な仕様から人間用仕様書生成と実装の生成を行うとか、あるいは仕様書にマークアップすることで機械可読にするとか、あるいは実装に対して特定書式でメタデータを付けると仕様書が生成されるとか、まあいろいろ方法はあるだろうけど。絶対ある程度の知見は流用できるでしょ (試みてる人は既にいそう)
そういうのを会計ソフト作ってる民間に任せるんじゃなくて法律を管理している政府自身がちゃんとやってくれ、というのがこれからの時代の政府に望むことですね
https://mastodon.cardina1.red/@lo48576/111040616302828604
ｴｸｾﾙの表じゃなくて .ics で祝日を配布してくれ、とかも同じ。
このアカウントは、notestockで公開設定になっていません。
でも禁酒法のあったアメリカでは自家醸造できるのに日本ではほとんどできないよ (?)
酒なんか注入されたら、ただでさえカスみたいな知性が ZERO になってしまうので困る
ていうか、自家醸造が禁止なのG7で日本のみだったはずだし、宗教以外の理由で自家醸造が禁止な国って、たぶん日本だけかも？＞＜
このアカウントは、notestockで公開設定になっていません。
お猪口の蛇の目の意味は？利き酒の楽しみ方を知ろう - 酒みづき
https://www.sawanotsuru.co.jp/site/nihonshu-columm/enjoy/sake-tasting/
風雲！コネタ城 尿検査のコップが100円ショップで買える - デイリーポータル Z：
https://dailyportalz.jp/b/cs/koneta/detail/100106117237/1.htm
ビールと発泡酒の関係も、酒造関連行政がまともな国なら、「本物のビールとはこういうものです」というのは文化的なものとして決めるのに、日本はおかしいから税金が目的の分類になってる＞＜
せめて、商品名の為の製法の分類と、課税のための分類を分離すればいいのに、課税しか考えてないので課税の為の分類しかない＞＜(ので、他国だと偽物扱いで名乗れない商品名を日本では名乗れる＞＜)
このアカウントは、notestockで公開設定になっていません。
あの手のメディアミックス (というか、私が内容を知っているガチャゲーのアニメ化) が期待した水準であったことがない
アイマス系とかはちゃんとしてたのかもしれない、わからんが
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
「10を0.3回加えるって説明だと意味わかんないじゃないですか」から「ある数を指定した他の数だけ倍にする」で納得してしまうの、まじで意味がわからないな。説明されるべき項目を使って説明してるようにしか見えないけど...。「n倍とはなにかがわからない」という疑問に「n倍することですね、納得しました」みたいな。
数学ってヤツは一貫性さえあればどんどん軽率に概念を拡張/一般化していくので、現代を生きる人々は一般化された方に馴染みすぎている場合がある
金を貸すことと金を借りることは別のことだったのに、「-100円借りる」とかいって「そっか〜」と納得できてしまう
かけ算がピンとこない話 – 【公式サイト】温泉マーク-Auto-Tune VTuber-
https://on1000mark.club/2023/10/02/411/
文脈これか
まず「最初に『かけざん』が発明されたときの発想」と、「最初の発想を “自然な範囲” で拡張していって定着した『現代のかけざん』」は、同じ系譜の元ネタと進化形で別物であるとして区別する必要がある。
多分根本的にはここの区別が甘いのではなかろうか
最初に「『3+3+3+3』は『3を4回足す』だから、これを新しい演算として定義しよう！」という発想があった。
ここまでは良いが、それはあくまで元ネタにすぎなくて、いわゆる “かけ算” の定義そのものではない。そこを区別する必要がある。
で、かけ算における “自然な拡張” ってやつは何なのかというと、たとえば交換法則 (掛ける順番を変えても同じだよね) とか、逆演算 (「nを掛ける」を取り消すような反対の演算があってもいいよね) の発想を取り込んだ逆数とか、分配法則 (足し算と組み合わせてもそれっぽく機能するはずだよね) とか、そういう諸々のこと
(まあ「10×0.3」という例自体について言えば、根本的には「小数って何だ」の部分に乗算が関係しているので、それが循環論法に見えているという面もありそう)
0.3 の定義がそもそも
3×｛10をかけると1になるような数｝
なので……
定義に従って粛々とやれというのはそれは一理あるんだけど、同時に、人間が定義する以上は「そのような定義を敢えて採用することの嬉しさ」が必ず存在していて、そこはちゃんと感性的な何かだったり既存の概念との整合だったりがあって、 “ピンとくる” 要素はちゃんとあると思う
一応補足しとくと、感性的なというのは整合する法則群の嬉しさに調教された人々の持つ “感性” なので、既にして十分に理屈っぽいものである可能性が高いことには留意してほしい
「2倍3倍はわかるが、0.3倍はわからない」は正当な疑問だとおもっており、というのは「0.3、あるいはある数を0.3倍した数は、数えることができるのか」という問いに対する回答はそんなに簡単じゃないとおもうためです。
そもそもマイナス1とか0.5とか言いはじめた時点で既に <https://mastodon.cardina1.red/@lo48576/111165897287848950> なんだよな。
「数の元ネタとなる発想は『個数』だった」を受け入れるとして、だからといって「現代における『数』が個数と完全に同じ概念である」とはもういえない。
「個数として問題なく使えるが、個数以外にも使える」という “拡張” を施されてしまっており、だから数をいつでも個数であると思ってはいけない
「特定条件下では hoge として使えるけど、全域にわたってそうというわけではない」みたいなのとうまく向き合えるか、というところが肝なのかな
このアカウントは、notestockで公開設定になっていません。
でもピタゴラスおじさんとかは無理数を受け入れられずに海に沈んでいったので (そうだっけ？)
ヒッパソス - Wikipedia
https://ja.wikipedia.org/wiki/%E3%83%92%E3%83%83%E3%83%91%E3%82%BD%E3%82%B9
> ピタゴラス教団は、規律違反者は海に突き落として処刑する掟だった。ヒッパソスは教団によって、縛り上げられ、船上からイオニア海に突き落とされ、現在でもそこに眠っているという。
沈めた方だった
( ˘⊖˘) 。o(待てよ？なんで有理数しか存在しないことになってるんだ？)
|ピタゴラス教団|┗(☋｀ )┓三
( ◠‿◠ )☛そこに気づいたか・・・消えてもらう
▂▅▇█▓▒░(’ω’)░▒▓█▇▅▂うわああああああ
森毅が、ギリシャ数学においては自然数しかなかったのが、デカルトが数直線なる魔法を発明したことによって、その直線上の任意の地点を「実数」として扱うようになったのが近代の始まりだと言っていて、それがすごくおもしろかった。3.3333...なんて古代ギリシャにそんな概念はなかった。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
レオポルト・クロネッカー - Wikipedia
https://ja.wikipedia.org/wiki/%E3%83%AC%E3%82%AA%E3%83%9D%E3%83%AB%E3%83%88%E3%83%BB%E3%82%AF%E3%83%AD%E3%83%8D%E3%83%83%E3%82%AB%E3%83%BC
> 彼はもともと、既存の理論を単純化し、より洗練したものにすることに関心を抱いていたが、次第に先鋭化して、構成的で、有限の操作しか行わないような証明でなければ疑わしく感じるようになった。
@torisan なまじ拡張がうまくいってしまっておりサブセットを「かけ算」と呼んでも (文脈次第では) 差し支えがない、というあたりが物事を複雑にしているという側面もありそうですね
さすがに私もかけ算を考えるとき8元数を想定して非可換で非結合的な演算を思い浮かべたりはしないからなぁ。
@torisan なまじ拡張がうまくいってしまっておりサブセットを「かけ算」と呼んでも (文脈次第では) 差し支えがない、というあたりが物事を複雑にしているという側面もありそうですね
の投稿
_laplace@mstdn.beer
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
