xsdeのブックマーク (92)

  • 特急サンダーバード、新大阪―京都間で車いす用スロープ板挟んだまま走行…ホームの係員が撤去確認せず発車合図

    【読売新聞】 JR西日は3日、大阪発敦賀行きの特急「サンダーバード89号」(12両編成、乗客約180人)が乗客用ドアの下に車いす用のスロープ板を挟んだまま新大阪駅を発車し、京都駅まで走行していたと発表した。ホームにいた係員の確認不

    特急サンダーバード、新大阪―京都間で車いす用スロープ板挟んだまま走行…ホームの係員が撤去確認せず発車合図
    xsde
    xsde 2024/05/04
    新幹線でもスロープつけたままで発車してしまい、清掃員が気づいて足で外してた。車掌にも注意していた。 https://youtu.be/HYnVeZQHDfs
  • 読んで学べる論理学を探しているひとへ――古典命題論理から様相命題論理まで - sho__yamaguchi’s blog

    論理学を基礎から〈テキストを読むこと〉だけで独習しようとするひと――こうしたひとにとって役立つかもしれない講義テキストを置いておく。これは某大学で私が担当している論理学の講義のテキストであり、その授業では安井邦夫『現代論理学』(世界思想社、1991年(新装版2021年))も教科書に指定されている。ただし、以下のテキストは、安井の教科書がなくても読むことができる(他方で、「論理学Ⅰ」のテキストを読み終えた後に、その続きとして安井で述語論理などを学び進めることもできる)。 ちなみに、論理学をまなぼうとするひとの中には《ふつうの散文は却って読みにくく、とりあえず記号を並べてほしい(あとは自分で考えるから)》という方もいると思う。そうした方にとっては、残念ながら、私のテキストは却って読みづらいだろう。なぜなら私のテキストは――最近はこうした言葉づかいがあるらしいが――形式化の背景にある「お気持ち

    読んで学べる論理学を探しているひとへ――古典命題論理から様相命題論理まで - sho__yamaguchi’s blog
    xsde
    xsde 2024/04/30
  • わたくし小沢一郎(編集者)は、乙武ひろたださんを応援します|乙武 洋匡

    ※乙武人ではなく、選挙期間につき、応援者が寄稿しています。 私はいま66歳の年金生活者だ。定年までは出版社に勤めていた。現役時代を振り返るとなんとも恥ずかしいのは、ベストセラー『五体不満足』の編集者として鼻高々になっていたことだ。だから天罰が下ったのだろう。ここに来て、膝が痛み始めた。もの忘れがひどくなった。甲状腺と口腔にがん細胞が見つかった。 でも、体に変調をきたしはじめたおかげで、よかったことが一つある。ものごとを弱い立場、小さな立場から考えることが、少しずつできるようになってきた気がするのだ。杖をつきながらゆっくりと歩く高齢者の気持ちや、女性であることが理由で仕事を任せてもらえない無念さに、遅まきながら少しずつ想像が及ぶようになった。 選挙での投票にも変化が生じつつある。現役時代は立候補者が保守か革新かを最優先に投票していたけれど、最近は日々の暮らしという視点から立候補者を観るよう

    わたくし小沢一郎(編集者)は、乙武ひろたださんを応援します|乙武 洋匡
    xsde
    xsde 2024/04/27
    赤の他人ではない、ずっと当人と深い関係があった者が本名を名乗ると叩かれるというのも窮屈な世界だ。私の身近にも有名人と同じ名前の人間がいるので他人事とは思えない。一行も読まない読み手に瑕疵はないのか。
  • IPAの登氏に聞く、「分散型クラウド基盤ソフトを作れるクラウド人材育成」

    印刷する メールで送る テキスト HTML 電子書籍 PDF ダウンロード テキスト 電子書籍 PDF クリップした記事をMyページから読むことができます 「日にもチャンスがある」。VPNソフトなどを開発してきた情報処理推進機構(IPA) 産業サイバーセキュリティセンター サイバー技術研究室 室長の登大遊氏は、分散型クラウドコンピューティング時代の到来を予測し、分散型クラウド基盤ソフトウェアを作れるクラウド人材の育成を説く。 日海外クラウド事業者に依存するようになったのは、人材育成の方法を間違ったことにある。政府や民間企業が、クラウドやAIの人材育成を推進する発想までは良かったが、単にクラウドやAIを活用する人材の育成に陥ってしまったということ。それがデジタル敗戦につながり、デジタルサービスの支出は赤字になっている。 --登氏は、「クラウド人材」とはクラウド技術やクラウドサービスを設

    IPAの登氏に聞く、「分散型クラウド基盤ソフトを作れるクラウド人材育成」
    xsde
    xsde 2024/04/19
    日本で0からSDNの設計・実装ができる人ってどれくらいいるんだろうか。情報工学科とかでも教えてなさそう。
  • 窒素を固定する細胞小器官「ニトロプラスト」が発見される、生物学の教科書が書き換えられる新発見

    生物学の教科書には、生物界を三分する細菌・古細菌・真核生物のうち、空気中の窒素を生命が利用できる形に変換する窒素固定ができるのは一部の細菌と古細菌だけだと記されています。新たに、真核生物に属する藻類の一種が細胞の中に窒素を固定する細胞小器官(オルガネラ)を持つことが判明したとの論文が発表されました。ミトコンドリアや葉緑体のように、元は別々の生き物が共生関係を超えて細胞小器官へと進化したのは、長い生物の歴史の中でこれが4例目とされています。 Metabolic trade-offs constrain the cell size ratio in a nitrogen-fixing symbiosis: Cell https://www.cell.com/cell/fulltext/S0092-8674(24)00182-X Nitrogen-fixing organelle in a ma

    窒素を固定する細胞小器官「ニトロプラスト」が発見される、生物学の教科書が書き換えられる新発見
    xsde
    xsde 2024/04/13
    10年以上前に予言(妄想)していた人 https://x.com/rei_nari/status/1778555395268878511
  • 日本にはまだインド人観光客押し寄せてないけどその時代が来たら「中国人うぜーとか言ってた時代は幸せだったよな…」ってなるよ

    100日後位に廃業するホテルマン→色々あって某南国のホテルの支配人 @pg8NWunRj5RxYEQ 日にはまだインド人観光客押し寄せてないけど、その時代が来たら「中国人うぜーとか言ってた時代は幸せだったよな、、」ってなるよ。 チェックインした途端にとにかく部屋が不満だと言い出して、意味不明に1回は部屋移動するからね。人に迷惑かけるのが義務くらいに思ってるんだよ彼らは。 2024-04-10 12:19:18 100日後位に廃業するホテルマン→色々あって某南国のホテルの支配人 @pg8NWunRj5RxYEQ 中国人の集団は確かにうるせーけど、インド人は1人でもうるさいんよ。ロビーに1人インド人いるだけで、爆音で不快な音楽聞くんだよ。あと部屋のドアも閉めないからフロア中に不快な音楽が響く。見た目清楚な美人インド人でもそうだよ。 2024-04-10 12:20:52 100日後位に廃業す

    日本にはまだインド人観光客押し寄せてないけどその時代が来たら「中国人うぜーとか言ってた時代は幸せだったよな…」ってなるよ
    xsde
    xsde 2024/04/13
    西葛西とかどんな雰囲気なんだろうね。川口や蕨みたいな記事は上がって来たのあまり見たことないが・・・
  • The Kodelin guide - The 124th Annual Congress of Japan Surgical Society

  • OCaml 5.1 と Eio で HTTPS クライアントを書く

    Eio とは Eio は、OCaml 5.0 から導入された effect handler を用いた非同期処理ライブラリです。つい先日 1.0 がリリースされ、いまアツいです(筆者調べ)。 Eio では既存の Lwt や Async と異なり処理結果が Lwt.t などの型でラップされないため、bind(>>=)や ppx_lwt の let%lwt x = ... のような記法を用いずに(direct style で)コードを書くことができるという特徴があります。例えば単純な例として、5 秒まってから "Hello world!" と出力するようなコードは、Lwt では以下のように >>= を使って書く必要がありますが: open Lwt.Infix Lwt_main.run ( Lwt_unix.sleep 5.0 >>= fun () -> Lwt_io.printf "Hello

    OCaml 5.1 と Eio で HTTPS クライアントを書く
    xsde
    xsde 2024/04/07
  • ドイツで娯楽目的の大麻使用解禁、歓迎の市民熱狂

    ドイツで娯楽目的の大麻使用が1日から合法化され、首都ベルリンのブランデンブルク門には大勢の市民らが集まり歓迎した/Michele Tantussi/Getty Images (CNN) ドイツで娯楽目的の大麻使用が4月1日から合法化され、大勢の市民らがお祭り騒ぎで歓迎した。首都ベルリン中心部のブランデンブルク門に集まった人たちは、音楽やダンスを楽しみながら宙に向かって煙を吐き出した。 巨大な大麻草をかたどったアート作品をトレーラーに乗せて自転車で走り回る人や、テレビカメラの前で大麻たばこを作って見せる人もいた。 娯楽目的の大麻の限定的な使用を認める法案は、合法化の是非をめぐる激しい論議を経て、2月にドイツ下院で可決・成立した。 ラウターバッハ保健相は1日、「真の依存症を助け、子どもや若者の使用を防ぎ、闇市場と闘う方がいい」とX(旧ツイッター)に投稿した。 新法では、成人が私的に利用する目的

    ドイツで娯楽目的の大麻使用解禁、歓迎の市民熱狂
    xsde
    xsde 2024/04/02
    あれ? GDP逆転のチャンス?
  • 「MacBook Airを使うと口の中に奇妙な味がする」という謎現象が報告される

    海外メディアMacRumorsのフォーラムに「M3チップ搭載13インチMacBook Airを使っていると、口の中に金属的な味がする」という報告が投稿されました。投稿したユーザーによると、他のマシンを使っている際は味を感じないそうです。 Weird taste in mouth when using midnight 13" m3 air | MacRumors Forums https://forums.macrumors.com/threads/weird-taste-in-mouth-when-using-midnight-13-m3-air.2422177/ MacRumorsのフォーラムに投稿されたerkanasu氏による謎現象の報告が以下。erkanasu氏は「M3チップ搭載13インチMacBook Airのミッドナイトモデル」を真夜中に10分以上使用したあと、口の中にザラザラ

    「MacBook Airを使うと口の中に奇妙な味がする」という謎現象が報告される
    xsde
    xsde 2024/03/25
    10年使い込んだMacBook Airはキーボード手前を手首で触るとかなりびりっと来ていた。今のM2はまだそうなっていない。
  • 「Java 22」正式リリース。無名変数と無名パターン、複数のソースコードからなるJavaを一発実行する新機能など。「void main()」な記述もセカンドプレビューへ

    Java 22」正式リリース。無名変数と無名パターン、複数のソースコードからなるJavaを一発実行する新機能など。「void main()」な記述もセカンドプレビューへ オラクルはJavaの最新バージョン「Java 22」正式版をリリースしました。 Java 22 is now available! #Java22 #JDK22 #OpenJDK Download Now: https://t.co/aCramdGK3b Release notes: https://t.co/UIHZ8nwZNu API Javadoc: https://t.co/RBVjNl6Qpm Features: https://t.co/DNvcj2yYbo Inside Java on JDK22: https://t.co/Wh9qOLeL2N pic.twitter.com/nrKfgbqx7X — J

    「Java 22」正式リリース。無名変数と無名パターン、複数のソースコードからなるJavaを一発実行する新機能など。「void main()」な記述もセカンドプレビューへ
    xsde
    xsde 2024/03/21
    JEP 463が標準化されると「public static void main(String[] args)」と書いてあるのは古いやり方なのでvoid main()に直しましょう」みたいな記事が山ほど上がってくる地獄のような未来が見える。別に直さなくてもいいでしょ。
  • NHKスペシャルみたいに書類にスポットライトを当てる

    書類の一部だけを照らす光 NHKスペシャルで、書類にこんなふうに光が当たっているのをよく見る。 「NHK 大川原化工機」の Google 画像検索結果のキャプチャ NHKが手に入れた書類にスポットライトを当てて、重要な行や単語だけを分かりやすいようにするのが典型だ。その他、暗闇の中に書類そのものをぼんやりと浮かびあがらせるやり方もある。 これを真似したいなあと思っていた。「盆踊り大会のお知らせ」のようななんでもない文書でも、こうやって照らせばなにか重大な資料みたいに見えないだろうか。 どうやって照らすか しかし問題がひとつある。これそもそもどうやって光を当ててるんだろうか。まずはシンプルに、書類に帯状に光を当てるやり方を試してみたい。 そのためにこんな方法を考えてみた。 照らしたい紙の上に透明の板を浮かべ、そこに光のスキマを作るための紙を置いて、全体を上から照らすのだ。 スマホのライトで照

    NHKスペシャルみたいに書類にスポットライトを当てる
    xsde
    xsde 2024/03/21
  • Borodin - String Quartet No. 2: Nocturne (Dover Quartet)

    xsde
    xsde 2024/03/20
    とてもバランスがとれた好みな音で曲解釈もピッタリだけど、この曲はなぜか1st Vn.が女性のイメージ・・
  • 221年ぶりに周期ゼミの2集団が同時に大量発生、江戸時代以来

    セミのなかには、毎年姿を現すものもあれば、一定の周期でしか姿を現さない「周期ゼミ」もいる。2024年の春は、米国の南東部から中西部で、周期ゼミの2つの大きな集団が同時発生する見込みだ。(PHOTOGRAPH BY REBECCA HALE, NAT GEO IMAGE COLLECTION) 2024年の4月下旬から6月にかけて、米国の南東部から中西部で、200年の時を超えて大自然の交響曲が奏でられる。周期ゼミの2つの集団が221年ぶりに同時に姿を現しはじめるのだ。「今年はとても重要な年になるでしょう。神秘的で驚くべき出来事です」と、「虫博士」として知られる米ミズーリ大学のタマラ・リオール氏は言う。(参考記事:「17年ゼミの大発生始まる、動物たちの反応は?」) 221年ぶりなのは、2つの集団の周期がそれぞれ13年と17年だから。前回同時に姿を現したのは1803年のこと。米国大統領はトーマス

    221年ぶりに周期ゼミの2集団が同時に大量発生、江戸時代以来
    xsde
    xsde 2024/03/19
    221=225-4=15*15-2*2=(15+2)*(15-2)=17*13
  • Java users on macOS 14 running on Apple silicon systems should consider delaying the macOS 14.4 update

    Java users on macOS 14 running on Apple silicon systems should consider delaying the macOS 14.4 update An issue introduced by macOS 14.4, which causes Java process to terminate unexpectedly, is affecting all Java versions from Java 8 to the early access builds of JDK 22. There is no workaround available, and since there is no easy way to revert a macOS update, affected users might be unable to ret

    Java users on macOS 14 running on Apple silicon systems should consider delaying the macOS 14.4 update
    xsde
    xsde 2024/03/17
    他の言語系のJITは問題ないのかな。 / JVMが protected memory region にアクセスするのはなんでなんだろう。
  • 横文字ばっかりでむかつく

    パティスリーじゃなくてお菓子屋と書け バイキングやビュッフェじゃなくべ放題と書け バーバーじゃなくて床屋と書け ペットショップじゃなく愛玩動物屋と書け ホテルじゃなく宿屋と書け カフェじゃなく喫茶店と書け レストランじゃなく飲店と書け ゲームセンターじゃなく遊戯施設と書け スポーツじゃなく運動と書け キャンプじゃなく野営と書け レインボーブリッジじゃなく虹橋と書け スーパーマーケットじゃなく超市場と書け サラダじゃなく野菜盛り合わせと書け ビールじゃなく麦酒と書け お前らは日人だろ 極力日語を使え

    横文字ばっかりでむかつく
    xsde
    xsde 2024/03/17
    横文字ばかりでむかつく理由を言語化してみよう!
  • 日本の賃金が上がらない理由(大企業の中の人目線で) - konanタワリーマンブログ

    の賃金が先進国で最低レベルだとか、韓国に抜かれてるとか、労働分配率が何十年ぶりの低さだとか、客観的なデータが出てきて、日の賃金の異常性が明らかになってきている。 これについては、経済学者、大学教授、人事の専門家などが「なぜ日だけ賃金が上がらないのか?」という議論をしているが、現実を知らない学者の理論の話だったり、人材業者のポジショントークだったりして、実態と乖離しているので、日の大企業の中の人目線で現場に近いところについて書いてみたい。 (人事制度に基づく定期昇給) 日の賃金上昇率は2%前後で、先進国だと3、4%程度、新興国で5、6%程度と比較するとかなり低い状態が長い期間継続している。 インフレでも、過去最高益でも変わらず、2%で安定している。他国と比べると不思議である。 日の昇給がどのように決定されているのかをミクロに見れば、人事制度に基づく定期昇給が大部分でベースアップ

    日本の賃金が上がらない理由(大企業の中の人目線で) - konanタワリーマンブログ
    xsde
    xsde 2024/03/15
  • 造れるのはASML1社のみ、難関だらけのEUV露光装置

    世界では、米Intel(インテル)や韓国Samsung Electronics(サムスン電子)、台湾積体電路製造(TSMC)といった大手半導体メーカーがEUV露光装置を導入して先端半導体デバイスを量産している。一方、3社 のような先端半導体デバイスの製造拠点を持たない日では、これまで同装置による格的な量産はなかった*2。 *2 ASMLによると、過去に日国内で同社のEUV露光装置を運用した実績はある。 ところが近年、風向きが変わり始めた。国内企業の支援を受けて設立された半導体企業Rapidus(ラピダス、東京・千代田) は、北海道の半導体工場にEUV露光装置を導入すると表明した。米Micron Technology(マイクロン・テクノロジー) も広島工場に、同装置を導入する見込みだ。 いよいよ国内にも格的に導入されるEUV露光装置だが、技術的な特長はどこにあるのか。エーエスエムエル

    造れるのはASML1社のみ、難関だらけのEUV露光装置
    xsde
    xsde 2024/03/15
    動くGDP。
  • Creepy Nuts「Bling-Bang-Bang-Born」 × TV Anime「マッシュル-MASHLE-」 Collaboration Music Video #BBBBダンス

    Bling-Bang-Bang-Born」 (2024.1.7.Digital Release) TVアニメ「マッシュル-MASHLE- 神覚者候補選抜試験編」オープニングテーマ MASHLE Season 2 Opening Theme Streaming/Download:https://smar.lnk.to/0AM0sn THE FIRST TAKE:https://www.youtube.com/watch?v=H6FUBWGSOIc 両A面SG 「二度寝 / Bling-Bang-Bang-Born」(2024.3.20. CD Release) ▼購入(予約)はこちら  ①初回生産限定盤(CD+Blu-ray)https://smar.lnk.to/nZZhoA CD収録曲: M1. 二度寝 M2. Bling-Bang-Bang-Born  M3. 二度寝 - In

    Creepy Nuts「Bling-Bang-Bang-Born」 × TV Anime「マッシュル-MASHLE-」 Collaboration Music Video #BBBBダンス
    xsde
    xsde 2024/03/03
    マイナーコードのなんともいえないメロディーとサビのキャッチーな歌詞に加えリズムがJsersey Clubで気持ちいい。
  • NHKのWeb配信「必須業務」へ、スマホで視聴すれば契約義務

    NHKのWeb配信「必須業務」へ、スマホで視聴すれば契約義務
    xsde
    xsde 2024/03/03
    NHKのWeb配信1分止まったら放送事故で総務省報告とかいわれるのかな。サーバー/ネットワーク業者も冷や冷や。