「反日ナショナリズムなんて言葉、一度も使ったことがない。全く見覚えのない記事です」 龍谷大学の松島泰勝教授は、記者が渡した記事のコピーを見て、開口一番に言い切った。 松島教授のもとを、記者が訪ねたの…
本記事の初版を公開したのは 2024 年 9 月 21 日だったのですが、その後 9 月 26 日に、ピックアップした論文を大幅に増やして更新しました。 また、最初はタイトルを「和文プログラミング論文を〜」としていたのですが、いわゆる「日本語プログラミング言語」の話にも見えてしまうことから、「プログラミング和文論文を〜」に置き換えました。 日本の人々が「プログラミング」にかかわるようになったのは、いつごろでしょうか? その前に、まずは世界のコンピュータとプログラミングの歴史を簡単に振り返ってみましょう。まずは OS から有名どころをたどると、 わかりやすく Windows 95 が 1995 年 [1] その前に広く使われた Windows 3.1 は 1992 年 [2] その下で動く MS-DOS は、バージョン 6 が 1993 年、バージョン 1 が 1981 年 [3] Linu
事件当日は、中国で反日感情がひときわ高まる満洲事変の記念日だった。同じく歴史的にセンシティブな日である7月7日(盧溝橋事件の日)を控えた今年6月にも、江蘇省蘇州市で日本人学校のスクールバスが刃物を持つ中年の中国人男性に襲われ、中国人乗務員の女性が死亡した事件があった。短期間に類似の事件が連続した背後に、強い反日感情が関係しているのは間違いない。 9月20日、深圳日本人学校に供えられた花束 ©時事通信 いっぽう、事件は一部の中国人にも波紋を投げかけた。近年、日本には中国の強権的な体制を避けて移住してきたリベラル派の中国人知識人が増えている。彼らのグループは事件を受けて、発生翌日の19日夜に追悼集会を開くなど活発に活動。また、深圳の日本人学校前にも多数の献花が集まった。現地での献花の理由はさまざまなはずだが、近年の体制下での硬直的な愛国主義宣伝に批判的な、リベラル層の中国人たちが行動した面も大
イーロン・マスク買収後、透明性レポートの公開を止めていたXが初めて透明性レポートを公開した。ページはたったの15ページで簡単なものだが、なかった数年間に比べれば長足の進歩と言える。 ちなみに日本から透明性センター( https://transparency.x.com/ )にアクセスすると、いまだにツイッター時代の日本語版の透明性レポート( https://transparency.x.com/ja )に飛ばされる。直接英語版のURL( https://transparency.x.com/en )を使わないといけないようだ。 X利用者大国である日本は削除要請などさまざまなおころで上位に出て来ている。 イーロン・マスクに買収された後、ポリシーなどが変更されたため、削除基準などが代わり、結果として透明性レポートの数値はだいぶ変化している。この兆候は買収直後から明らかだった。しかし、トルコなど
定期ってつけてるぐらいいつも言ってることなのですが、公開鍵暗号方式にしたらフィッシング対策もできてすんばらしいみたいな表現には反対です。 何が課題なのかパスワード認証とフィッシング攻撃における課題はいくつかあります。 フィッシングサイトにパスワードそのものが盗まれ、それを使ってログインされてしまう (クレデンシャルスタッフィング) フィッシングサイトの中継により、ログインセッションが盗まれてしまう(MiTM, AiTM) OTP、TOTP、認証アプリなどの認証を追加してもやられてしまう 前者については明示的ですね。そもそもSMS OTPは認証イベントに紐づいていますし、TOTPは時間に紐づけられています。なので前者のような再利用の課題へは元から対策されているとも言えます。Webアプリケーションやネイティブアプリが正規なものに対してのみパスワードが入力されるような仕組みが必要とされていたわけ
論理と計算の概念は,いまでは計算機科学の基盤となっている.本書は,命題論理や述語論理,そして様相論理など形式論理の基礎を学んだあと,ゲーデル不完全性定理を通して「計算」の意味を理解する.さらに計算モデルの典型であるラムダ計算について学習し,論理と計算の関係だけでなく,両者をつなぐ「仕組み」を理解する. ■著者からのメッセージ 形式論理とは,古来から数学に現れる演繹の過程を,記号に対する操作として定式化した形式体系である.(中略) 計算機科学においても形式論理は,計算機の機能や性質,計算機に関連する様々な現象を的確に表現するための枠組を与えてくれる.命題論理と述語論理は,そのための最も基本的な形式論理である.(中略) これらの形式論理が計算機科学にとって重要である理由の一つは,これらが構文論と意味論の区別と関係について学ぶためのモデルケースになっているからである.構文論は,論理式がどのような
ツイッター(現X)の共同創業者、ジャック・ドーシー氏らが立ち上げた新たなSNS「ブルースカイ」が6日、従来の招待制を廃止し、誰もが登録可能になった。日本語対応も果たし、SNS上では「招待制廃止」「招待コード不要」などの言葉がトレンドに上がった。 ブルースカイは、2023年2月に提供が開始された。世界で数百万人が利用するとされ、文字での交流がメインのSNS。開発主体と運営主体が異なり、Xのように1つの団体に管理されず多数の個人・グループが運営する形の「分散型SNS」であることが特長だ。 従来は招待制だったが、6日から招待コードが廃止され、一般に公開された。現在はイーロン・マスク氏が率いるXに対抗する。 投稿文字数は現在、最大300文字で画像は4枚まで投稿可能。アカウント作成には、電話番号を登録してSMS認証を行う必要がある。
10月20日、同時に3店舗が閉店 「徒歩圏内の店舗が閉店する。もう終わりだ」「またひとつ思い出の地が消えていく」「帰り道の癒やしスポットが……」――こんな悲痛な声がネット上であふれている。 「ブックオフなのに本ねぇじゃん!」と俳優・寺田心が咆哮するCMでもおなじみ、本などの中古品販売・買取大手、ブックオフがここへきて続々と閉店を発表。しかも、そのどれもが都心部に集中していることで、ファンに衝撃を与えているという。 東京では、10月13日閉店の「阿佐ヶ谷南店」にはじまり、10月20日には「新高円寺駅店」と「学芸大学駅前店」が同時に閉店することが決まっている。また千葉でも、やはり10月20日に「行徳駅前店」の閉店が告知された。 とりわけショックを受けたのは杉並区民だろう。高円寺・阿佐ヶ谷・荻窪といったサブ色の強い町を擁するだけに、古書やレコードを探し求めてブックオフに通うという地元民も少なくな
We are very happy to release the initial specification of OAuth for AT Protocol! This is expected to be the primary authentication and authorization system between atproto client apps and PDS instances going forward, replacing the current flow using App Passwords and createSession over time. OAuth is a framework of standards under active development by the IETF. We selected a particular "profile"
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く