並び順

ブックマーク数

期間指定

  • から
  • まで

1 - 40 件 / 2108件

新着順 人気順

rwの検索結果1 - 40 件 / 2108件

  • 遠足で小1女児の「お茶買いたい」認めず、熱中症で救急搬送 学校側を提訴

    小学校の遠足中に1年生だった女児(8)が茶の購入を要望したのに教諭が認めなかったため熱中症で救急搬送されたなどとして、女児と両親が大阪府八尾市を相手取り、慰謝料など220万円の損害賠償を求める訴訟を大阪地裁に起こしたことが分かった。27日に第1回口頭弁論があり、市側は請求棄却を求めた。 訴状などによると、遠足は令和4年5月末にあり、往復で計約2時間歩く行程があった。母親が前日に体力面の不安から欠席したいと伝えたが、担任教諭から促されて参加を決めた。ただ、水筒の茶が足りない場合は購入を認め、女児が異常を訴えた場合は母親に連絡するよう要望した。 しかし当日、女児が教諭に「お茶を買わせてください」と伝えても校長の判断で認めず、めまいを覚えて「ママ呼んでください」と伝えても聞き入れなかった。下校の際に迎えに行った母親が高熱に気づき、女児は救急搬送されて熱中症と診断。女児側は学校側に「安全配慮義務違

      遠足で小1女児の「お茶買いたい」認めず、熱中症で救急搬送 学校側を提訴
    • 2020年現在のNewSQLについて - Qiita

      Disclaimer 当記事はNewSQL開発ベンダの技術ブログや各種論文、その他ニュースサイト等の内容を個人的にまとめたものです。 そのため、理解不足等に起因する誤解・誤認を含む可能性があります。更なる理解が必要な方はリファレンスに挙げた各種文献を直接参照下さい。技術的な指摘は可能であれば取り込み修正しますが、迅速な対応はお約束できません。 NewSQLの解説は二部構成 当記事は前編でNewSQLの概要編となる。 全体の目次は下記である。 NewSQLとは何か NewSQLのアーキテクチャ NewSQLとこれまでのデータベースの比較 NewSQLのコンポーネント詳解 1章から3章までの内容を当記事で解説する。 4章はさらに詳細な技術的解説となり、後編の「NewSQLのコンポーネント詳解」で記述している。 こちらも合わせて一読いただきたい。 1. NewSQLとは何か NewSQLとは、海

        2020年現在のNewSQLについて - Qiita
      • Command Line Interface Guidelines

        Contents Command Line Interface Guidelines An open-source guide to help you write better command-line programs, taking traditional UNIX principles and updating them for the modern day. Authors Aanand Prasad Engineer at Squarespace, co-creator of Docker Compose. @aanandprasad Ben Firshman Co-creator Replicate, co-creator of Docker Compose. @bfirsh Carl Tashian Offroad Engineer at Smallstep, first e

          Command Line Interface Guidelines
        • Linux ファイルシステムを理解したい - Qiita

          ]# cat /etc/redhat-release CentOS Linux release 7.7.1908 (Core) ]# uname -a Linux localhost.localdomain 3.10.0-1062.1.2.el7.x86_64 #1 SMP Mon Sep 30 14:19:46 UTC 2019 x86_64 x86_64 x86_64 GNU/Linux ファイルシステムとは何か? データを管理/操作するための仕組み。 ファイルとディレクトリで構成されていて、/ を基点とした木構造になっている。 # ls -l / 合計 56 lrwxrwxrwx. 1 root root 7 8月 25 01:17 bin -> usr/bin dr-xr-xr-x. 6 root root 4096 9月 29 15:51 boot drwxr-xr-x. 19

            Linux ファイルシステムを理解したい - Qiita
          • JOCが弁護費用2億円負担 五輪招致で疑惑の元会長に:朝日新聞デジタル

            ","naka5":"<!-- BFF501 PC記事下(中⑤企画)パーツ=1541 -->","naka6":"<!-- BFF486 PC記事下(中⑥デジ編)パーツ=8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下(中⑥デジ編)パーツ=8826 -->","adcreative72":"<!-- BFF920 広告枠)ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag PC誘導枠5行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"

              JOCが弁護費用2億円負担 五輪招致で疑惑の元会長に:朝日新聞デジタル
            • Linux システムコール 徹底入門

              Linux システムコールについて調べたことをまとめる。システムコールの仕組みを理解すると、 OS とアプリケーションがどのように連携して動いているのかを理解できるようになります。 システムコールは CPU に依存する処理が多いため、 x86_64 に絞ります。 検証環境]# cat /etc/redhat-release CentOS Linux release 8.0.1905 (Core) ]# uname -a Linux localhost.localdomain 4.18.0-80.11.2.el8_0.x86_64 #1 SMP Tue Sep 24 11:32:19 UTC 2019 x86_64 x86_64 x86_64 GNU/Linux ]# cat /proc/cpuinfo | head processor : 0 vendor_id : GenuineInte

                Linux システムコール 徹底入門
              • ダンゴムシのふんに秘密 小1から研究、11年目で解明:朝日新聞デジタル

                ","naka5":"<!-- BFF501 PC記事下(中⑤企画)パーツ=1541 -->","naka6":"<!-- BFF486 PC記事下(中⑥デジ編)パーツ=8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下(中⑥デジ編)パーツ=8826 -->","adcreative72":"<!-- BFF920 広告枠)ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag PC誘導枠5行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"

                  ダンゴムシのふんに秘密 小1から研究、11年目で解明:朝日新聞デジタル
                • ウイルスに打ち勝った証し→コロナと闘う五輪に 厚労相:朝日新聞デジタル

                  ","naka5":"<!-- BFF501 PC記事下(中⑤企画)パーツ=1541 -->","naka6":"<!-- BFF486 PC記事下(中⑥デジ編)パーツ=8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下(中⑥デジ編)パーツ=8826 -->","adcreative72":"<!-- BFF920 広告枠)ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag PC誘導枠5行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"

                    ウイルスに打ち勝った証し→コロナと闘う五輪に 厚労相:朝日新聞デジタル
                  • 共産「日米安保廃棄」政権公約から除外へ:朝日新聞デジタル

                    ","naka5":"<!-- BFF501 PC記事下(中⑤企画)パーツ=1541 -->","naka6":"<!-- BFF486 PC記事下(中⑥デジ編)パーツ=8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下(中⑥デジ編)パーツ=8826 -->","adcreative72":"<!-- BFF920 広告枠)ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag PC誘導枠5行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"

                      共産「日米安保廃棄」政権公約から除外へ:朝日新聞デジタル
                    • 開幕直前の無観客決定 スポンサー恨み節「全て無駄に」:朝日新聞デジタル

                      ","naka5":"<!-- BFF501 PC記事下(中⑤企画)パーツ=1541 --><!--株価検索 中⑤企画-->","naka6":"<!-- BFF486 PC記事下(中⑥デジ編)パーツ=8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下(中⑥デジ編)パーツ=8826 -->","adcreative72":"<!-- BFF920 広告枠)ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag PC誘導枠5行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">

                        開幕直前の無観客決定 スポンサー恨み節「全て無駄に」:朝日新聞デジタル
                      • 両親が不仲だった自分語り

                        02/13 23:36 追記ちょこっとしました。 床屋勤務だった父に、美容院勤務だった母はハワイ旅行中に出会い結婚したらしい。 物心がついたころにはもう父と母は不仲だった。父は仕事を休みがちで、私が小学生低学年の頃にはもう職場を転々としていたのを覚えている。 一つの職場に留まらず、職場を変えるものだからもちろん給料も上がらない。父と母は夜な夜な電話口や居間で喧嘩していた。 それは深夜だった時もあるし明け方の時もあった。長いことアパート住まいで横にも上にも寝ている家があるのに家に居る母は金切り声を上げていた。 でもほとんどがお金の問題で、まだ小学生の自分にはできることが無いことが分かっていたので家の手伝いをして、3歳年下の妹の面倒をよく見た。 父が仕事から帰ってくるとき帰りは母の車の迎えを頼んでいた。母はまだ小学生の私と幼い妹を乗せて車で最寄り駅まで父を迎えに行く。 その車の中でもお金の話で

                          両親が不仲だった自分語り
                        • 五輪、1都3県は「完全無観客」へ 今夜正式決定:朝日新聞デジタル

                          ","naka5":"<!-- BFF501 PC記事下(中⑤企画)パーツ=1541 -->","naka6":"<!-- BFF486 PC記事下(中⑥デジ編)パーツ=8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下(中⑥デジ編)パーツ=8826 -->","adcreative72":"<!-- BFF920 広告枠)ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag PC誘導枠5行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"

                            五輪、1都3県は「完全無観客」へ 今夜正式決定:朝日新聞デジタル
                          • 意味も無く溜め続けたトイレットペーパーの芯が300本に到達した - 偽計数学妨害罪

                            どうも、チオールです。 前回の記事から約1年、意味も無く溜め続けたトイレットペーパーの芯が300本に到達しました。 ☟前回 hassium277.hatenablog.com ☟前々回 hassium277.hatenablog.com というわけで、あの記事を書いてから(芯に)起きた出来事について書き殴ります。 収納 以前までは圧縮した芯をジェンガのように積み上げて保管していましたが、本数が多くなってくるとどんどん不安定になっていきました。 どうしたものかと思っていたところ、部屋の中にいい感じの箱が転がっているのを発見しました。 というわけで、その箱に芯を収納することにしたのですが、 信じられないぐらいピッタリ収まりました。 このままふたを閉めて隣人に「つまらないものですが・・・」と言って渡したくなるぐらいのピッタリ感です。 なお、この箱には28本しか入らなかったので、残りの2本は別の箱

                              意味も無く溜め続けたトイレットペーパーの芯が300本に到達した - 偽計数学妨害罪
                            • 中高年のひきこもり、半数超が女性 国の調査に「ようやく実態が…」:朝日新聞デジタル

                              ","naka5":"<!-- BFF501 PC記事下(中⑤企画)パーツ=1541 -->","naka6":"<!-- BFF486 PC記事下(中⑥デジ編)パーツ=8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下(中⑥デジ編)パーツ=8826 -->","adcreative72":"<!-- BFF920 広告枠)ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag PC誘導枠5行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"

                                中高年のひきこもり、半数超が女性 国の調査に「ようやく実態が…」:朝日新聞デジタル
                              • デップ主演映画上映、水俣市が後援拒否「制作意図不明」:朝日新聞デジタル

                                ","naka5":"<!-- BFF501 PC記事下(中⑤企画)パーツ=1541 -->","naka6":"<!-- BFF486 PC記事下(中⑥デジ編)パーツ=8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下(中⑥デジ編)パーツ=8826 -->","adcreative72":"<!-- BFF920 広告枠)ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag PC誘導枠5行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"

                                  デップ主演映画上映、水俣市が後援拒否「制作意図不明」:朝日新聞デジタル
                                • PNGファイル爆発しろ!

                                  まえがき Web上で広く利用されるPNG(Portable Network Graphics)フォーマットは、デジタル画像を変化させずに小さいデータサイズへ変換する圧縮技術の一種です。PNGフォーマットはオリジナル画像を完全復元可能な可逆(lossless)圧縮ですから、JPEGフォーマットのように画像を歪めてしまう非可逆(lossy)圧縮ほどは小さくできません。それでもオリジナルのデジタル画像データの半分程度まではサイズ削減可能な画像圧縮アルゴリズムと言われています。[1] そげぶ いいぜ てめえが何でも思い通りに圧縮出来るってなら まずはそのふざけた幻想をぶち壊す!! (スペース都合によりAA省略) 本記事では、PNGフォーマットを画像データ圧縮(compress)用途で利用するのではなく、オリジナル画像データよりも遥かに巨大なPNGファイル を生成します。 PNGフォーマットでは任意

                                    PNGファイル爆発しろ!
                                  • 「史上初」の女性ライダーが語る 仮面ライダー的かっこいい人間像:朝日新聞デジタル

                                    ","naka5":"<!-- BFF501 PC記事下(中⑤企画)パーツ=1541 -->","naka6":"<!-- BFF486 PC記事下(中⑥デジ編)パーツ=8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下(中⑥デジ編)パーツ=8826 -->","adcreative72":"<!-- BFF920 広告枠)ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag PC誘導枠5行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"

                                      「史上初」の女性ライダーが語る 仮面ライダー的かっこいい人間像:朝日新聞デジタル
                                    • 【速報】回文王、現る ガチですごい 想像の85倍すごい : 哲学ニュースnwk

                                      2022年11月13日14:00 【速報】回文王、現る ガチですごい 想像の85倍すごい Tweet 1: それでも動く名無し 2022/11/13(日) 10:49:06.99 ID:+DyNfKsAd えぐいな https://kaibun.jp/ 3: それでも動く名無し 2022/11/13(日) 10:49:50.18 ID:Tdecmx9X0 こういう長いのはしょうもないわ 美しくないね 4: それでも動く名無し 2022/11/13(日) 10:50:03.35 ID:uGR7qqJx0 ワイは好き 5: それでも動く名無し 2022/11/13(日) 10:50:16.22 ID:6xExIheM0 4位みたいな短文でおもろいのがええねん 9: それでも動く名無し 2022/11/13(日) 10:51:06.06 ID:DEd61DBNF >>5 同一人物ニキやで 23:

                                        【速報】回文王、現る ガチですごい 想像の85倍すごい : 哲学ニュースnwk
                                      • 【悲報】ジャニーズのいない紅白、めっちゃ面白い : 暇人\(^o^)/速報

                                        【悲報】ジャニーズのいない紅白、めっちゃ面白い Tweet 1: それでも動く名無し 2024/01/01(月) 11:13:33.37 ID:a/Wrnqi9d ポケビブラビの懐メロ枠、けん玉ギネス取り消し、クイーンwithアダムランバート、Ado、アイドルと見所盛り沢山だった模様 2: それでも動く名無し 2024/01/01(月) 11:13:52.89 ID:2Khyj+Nt0 ジャニーズの予算をクイーンに使ったんか? 5: それでも動く名無し 2024/01/01(月) 11:14:22.00 ID:J8PsC8zLd アイドルでアイドルが踊ってるとこみんなキレキレで良かったな 7: それでも動く名無し 2024/01/01(月) 11:14:43.32 ID:OEsgW11i0 良かったよな 俺も久々に紅白見れたわ 【おすすめ記事】 ◆【動画】YOASOBIさん、紅白でも口パク

                                          【悲報】ジャニーズのいない紅白、めっちゃ面白い : 暇人\(^o^)/速報
                                        • 猫耳大臣、SNSで瞬く間に拡散 会見生中継、撮影ミス:朝日新聞デジタル

                                          ","naka5":"<!-- BFF501 PC記事下(中⑤企画)パーツ=1541 -->","naka6":"<!-- BFF486 PC記事下(中⑥デジ編)パーツ=8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下(中⑥デジ編)パーツ=8826 -->","adcreative72":"<!-- BFF920 広告枠)ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag PC誘導枠5行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"

                                            猫耳大臣、SNSで瞬く間に拡散 会見生中継、撮影ミス:朝日新聞デジタル
                                          • ゴーン被告、ネットフリックスと独占契約 仏紙報道:朝日新聞デジタル

                                            ","naka5":"<!-- BFF501 PC記事下(中⑤企画)パーツ=1541 -->","naka6":"<!-- BFF486 PC記事下(中⑥デジ編)パーツ=8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下(中⑥デジ編)パーツ=8826 -->","adcreative72":"<!-- BFF920 広告枠)ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag PC誘導枠5行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"

                                              ゴーン被告、ネットフリックスと独占契約 仏紙報道:朝日新聞デジタル
                                            • OpenSSH 公式による scp 非推奨宣言を受け, scp, sftp, rsync を比較してみた (2020/5/25 rsync の計測結果について注記追加) - 寒月記

                                              2020/5/26 再検証記事追加追記 Twitter でのご指摘を受けて再検証しました, 転送先のファイルを削除していないために差分転送になっていた点を考慮したものとなっています。 rsync の速度については結果が変わっています。 www.kangetsu121.work TL;DR scp はセキュリティ, 今後の開発優先度を考えて公式で非推奨宣言している 転送速度は (1GB のファイル転送の計測では) rsync >> scp > sftp Twitter でコメントをいただき, 転送ファイルの削除を都度していないので, rsync が差分転送になっているとのご指摘をいただきました。 ただいま検証中ですので, rsync の速度比較結果については判断をお待ちください。 -> 再検証しました, 画面上部の再検証記事をご確認ください rsync は多機能 かつ速い ので rsync

                                                OpenSSH 公式による scp 非推奨宣言を受け, scp, sftp, rsync を比較してみた (2020/5/25 rsync の計測結果について注記追加) - 寒月記
                                              • Next.js+microCMS+Vercel面白い - ゆーすけべー日記

                                                Next.js と microCMS と Vercel が面白い。それぞれ面白いし、組み合わせるとさらに面白い。なにせ、メディアサイトがデプロイも含めて 2 時間で出来る。 Next.js + microCMS + Vercel すごいな。メディアサイト(中身スッカスカだけど)がものの 2 時間でデプロイまでできた。 https://twitter.com/yusukebe/status/1435708770705760256 ということで、メディアサイトを作りながら、Next.js と microCMS と Vercel の面白さをまとめる。 2 時間で作るメディアサイト 例として「ラーメンまとめ!」というメディアサイトを作ってみる。このサイトには ラーメン屋 ラーメン屋のまとめ記事 の 2 つの種類のコンテンツがある。「ラーメン屋」が「名前」「場所」「ラーメン写真」というプロパティを持

                                                  Next.js+microCMS+Vercel面白い - ゆーすけべー日記
                                                • 【2019年】CTF Web問題の攻撃手法まとめ (Web問題のwriteupぜんぶ読む) - こんとろーるしーこんとろーるぶい

                                                  CTF Advent Calendar 2019 - Adventarの25日目の記事です。 1つ前は@ptr-yudai氏の2019年のpwn問を全部解くチャレンジ【後半戦】 - CTFするぞでした。 はじめに 対象イベント 問題数 読み方、使い方 Cross-Site Scripting(XSS) SVGファイルを利用したCSPバイパス GoogleドメインのJSONPを利用したCSPバイパス サブリソース完全性(SRI)機能を利用した入力チェックバイパス Chrome拡張機能のパスワードマネージャーKeePassの悪用 HTML likeコメントを使用したコメントアウト jQuery.getJSONのJSONP機能を使用したスクリプト実行 DOM Clobberingによるコードハイジャック Service Workerを利用したスクリプト実行 XSS Auditor機能のバイパス

                                                    【2019年】CTF Web問題の攻撃手法まとめ (Web問題のwriteupぜんぶ読む) - こんとろーるしーこんとろーるぶい
                                                  • Docker 19.03新機能 (root権限不要化、GPU対応強化、CLIプラグイン…)

                                                    NTTの須田です。2019年7月23日に公開された、Docker 19.03の新機能をお伝えします。2018年11月8日にリリースされたDocker 18.09以来、8ヶ月ぶりのリリースです。 root権限不要化従来のDockerは、ホストのroot権限でデーモン(dockerd)を動作させる必要があったため、脆弱性や設定ミスを突かれると、ホストのroot権限を奪われる恐れがありました。 Docker 19.03では、非rootユーザでデーモンを実行できるようになりました(Rootlessモード)。 Rootlessモードを有効化することで、万一Dockerに脆弱性や設定ミスがあっても、攻撃者にホストのroot権限を奪取されることを防ぐことが出来ます。ただし、現時点ではcgroupを利用できないなどの制約があります。 RootlessモードのDockerは, curl -fsSL http

                                                      Docker 19.03新機能 (root権限不要化、GPU対応強化、CLIプラグイン…)
                                                    • Vimの:wと:rの便利Tips

                                                      始めに Vimには:wと:rコマンドがあります。コマンド自体は知っている方が多いかと思います。 ぼく的にちょっと便利な使い方ができるので、それお紹介していこうと思います。 :r :r banana.txtでファイルの中身を読み取って、現在のカーソルの次の行に挿入してくれます。 挿入できる行も指定できます。その場合は:{lnum}r banana.txtというふうに先頭に行番号を入力します。 ここからがイチオシですが、実は:r !{cmd}でコマンドの出力も挿入できます。 たとえば、APIのレスポンスをVimでちょっと編集したい場合や、コマンド実行結果を記事に挿入したい場合などに便利です。 :w :wについてVimmerのみなさんなら誰もが知っているコマンドなので説明は省きますが、 実は:w !{cmd}でバッファの内容を外部コマンドの標準入力として渡してくれます。 つまり、標準入力からコー

                                                        Vimの:wと:rの便利Tips
                                                      • 大学でRustを教えた話 - 未完成な論を綴るブログ

                                                        このブログ記事は、Advent Calender 2020, Rust 3、23日目の記事となります。自分は現在大学で教員をしていまして、セキュリティ系の研究室に所属しています。現在はセキュリティの講義を担当しており、そこでRust言語を教えているため、その内容を紹介しようと思います。 はじめに 皆さんご存知のようにソフトウェアの脆弱性は今でも大きな問題となっていますが、それを完全ではないにしろ根本から解決するための技術的手法として型システムが注目されています。型システムの考え自体は古くからありますが、最近ではRust言語が登場し、OSなどいわゆる低レイヤーなソフトウェアも型システムの恩恵を預かることができるようになってきました。SMTソルバや定理証明などと言った難しい(かつ面白い)手法でC言語やC++言語で書かれたソフトウェアを解析する方法もありますが、セキュアソフトウェアを語る上では、

                                                          大学でRustを教えた話 - 未完成な論を綴るブログ
                                                        • 日本の人口、2100年に7500万人 減少見通し加速:朝日新聞デジタル

                                                          ","naka5":"<!-- BFF501 PC記事下(中⑤企画)パーツ=1541 -->","naka6":"<!-- BFF486 PC記事下(中⑥デジ編)パーツ=8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下(中⑥デジ編)パーツ=8826 -->","adcreative72":"<!-- BFF920 広告枠)ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag PC誘導枠5行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"

                                                            日本の人口、2100年に7500万人 減少見通し加速:朝日新聞デジタル
                                                          • 失業給付、転職時の支給迅速に 2カ月超→7日程度に - 日本経済新聞

                                                            政府は雇用保険の失業給付について、転職など自己都合の退職時でも迅速に支給できるようにする。現状では給付開始まで原則2カ月以上かかるが、今後は倒産や解雇といった会社都合での7日間と同水準にする検討に入った。経済的な支援を厚くして転職へのハードルを下げ、成長産業への労働移動を促す狙いだ。近く開催する新しい資本主義実現会議で議論する。失業給付は就職したい意思とその能力があり、求職活動をしているのに

                                                              失業給付、転職時の支給迅速に 2カ月超→7日程度に - 日本経済新聞
                                                            • 漫画「H×H」まねた若者集団が大暴れ ロシア、350人以上連行:朝日新聞デジタル

                                                              ","naka5":"<!-- BFF501 PC記事下(中⑤企画)パーツ=1541 -->","naka6":"<!-- BFF486 PC記事下(中⑥デジ編)パーツ=8826 --><div class=\"naka6-banner\" style=\"margin:0 0 15px;\">\n<p style=\"display:block;margin:0 auto;\"><a href=\"https://www.asahi.com/special/bucha/?iref=kiji_bottom_banner\" style=\"display:block;\"><img src=\"https://www.asahicom.jp/special/bucha/images/banner/bucha-tokusyubanner_660x100.jpg\" alt=\"ウクライナ侵攻

                                                                漫画「H×H」まねた若者集団が大暴れ ロシア、350人以上連行:朝日新聞デジタル
                                                              • 余ったラズパイで作る自宅サーバ向けリモートKVM - ぶていのログでぶログ

                                                                自宅サーバを運用していると突発的なリブートや設定ミスによるアクセス不能などなどが起こり、そのたびにリモートKVMが欲しくなる…。 しかし、リモートKVMは主にエンタープライズ向けで対応した筐体や装置が高額でなかなか手が出づらい…。 そこでどこのご家庭にもある余ったラズパイとPiKVMを使って安価にリモートKVMを作ろうというのがこの記事の趣旨。 PiKVMとは PiKVMは、Raspberry Pi(ラズパイ)を用いて遠隔地から物理的なコンピュータにキーボード、ビデオ、マウス(KVM)スイッチとしてアクセス可能にするオープンソースプロジェクトである。 この記事を書いている現在(2024/03/24)では、DIY PiKVM V1~v4の4つのバージョンがある。 V3とV4はラズパイ内蔵の完成品になっていて、これらのバージョンを自作することはできない?ので今回の選択肢からは外す。 V1とV2

                                                                  余ったラズパイで作る自宅サーバ向けリモートKVM - ぶていのログでぶログ
                                                                • シェル・ワンライナー 160 本ノックを完走した - NTT Communications Engineers' Blog

                                                                  この記事は、 NTT Communications Advent Calendar 2022 4 日目の記事です。 こんにちは。 SDPF クラウド・仮想サーバーチームの杉浦です。 普段は OpenStack の開発・運用をしています。 みなさんはシェル芸と聞いてどのようなコマンドを想像しますか? 私は以下のような怖いコマンド 1 を想像していました # 無限に process を fork するコマンドです # 実行するときは自己責任でお願いします :(){ :|:& };: ですがシェル芸はもっと親しみやすくて 2 実用的なものです。 私はシェル芸のシェの字もできないくらいシェル芸初心者だったのですが、 1日1問、半年以内に習得 シェル・ワンライナー160本ノック という本を完走してシェル芸チョットワカルようになったので、本の宣伝をしつつ完走した感想を紹介しようと思います。 1日1問、

                                                                    シェル・ワンライナー 160 本ノックを完走した - NTT Communications Engineers' Blog
                                                                  • ホテル「NHK映らなくした」→NHK「確認します」→NHK「立花おるやんけ!帰るわ」 : 哲学ニュースnwk

                                                                    2019年08月07日22:55 ホテル「NHK映らなくした」→NHK「確認します」→NHK「立花おるやんけ!帰るわ」 Tweet 2: 風吹けば名無し 2019/08/07(水) 22:06:48.47 ID:7oqtjImTp NHK「あのー録音録画はお断りしてるんでー」 立花「あのこれ調査なんで国会議員として資料として使わして貰いたい」 NHK「あのー第三者の方はちょっと」 立花「ホテルの社長さんと弁護士さんにも許可はとってるんで」 NHK「代理の方ではなく社長さん本人としか話せません」 立花「そっちだって会長の代理でしょ、だったらNHKの会長連れてきて」 秒速で論破 95: 風吹けば名無し 2019/08/07(水) 22:13:02.98 ID:dKV2y+vDd >>2 レスバ強すぎで草 105: 風吹けば名無し 2019/08/07(水) 22:13:28.33 ID:w6c

                                                                      ホテル「NHK映らなくした」→NHK「確認します」→NHK「立花おるやんけ!帰るわ」 : 哲学ニュースnwk
                                                                    • Linux procfs 徹底入門

                                                                      これは Linux Advent Calendar 2019の 15 日目の記事です。procfs について勉強したことをまとめます。 検証環境CentOS 8 を利用する。 ]# cat /etc/redhat-release CentOS Linux release 8.0.1905 (Core) ]# uname -a Linux localhost.localdomain 4.18.0-80.el8.x86_64 #1 SMP Tue Jun 4 09:19:46 UTC 2019 x86_64 x86_64 x86_64 GNU/Linux procfs とは疑似ファイルシステムのひとつ。 ディスク上に実体は存在せず、メモリから情報を取得する。 カーネルだけが知っている情報 (例えばシステム全体のロードアベレージ/CPU負荷/メモリ利用状況や、プロセスごとの情報)が取得できる。

                                                                        Linux procfs 徹底入門
                                                                      • 表現の不自由展会場に爆竹?入り郵便物 破裂し避難騒ぎ:朝日新聞デジタル

                                                                        ","naka5":"<!-- BFF501 PC記事下(中⑤企画)パーツ=1541 -->","naka6":"<!-- BFF486 PC記事下(中⑥デジ編)パーツ=8826 --><!-- /news/esi/ichikiji/c6/default.htm -->","naka6Sp":"<!-- BFF3053 SP記事下(中⑥デジ編)パーツ=8826 -->","adcreative72":"<!-- BFF920 広告枠)ADCREATIVE-72 こんな特集も -->\n<!-- Ad BGN -->\n<!-- dfptag PC誘導枠5行 ★ここから -->\n<div class=\"p_infeed_list_wrapper\" id=\"p_infeed_list1\">\n <div class=\"p_infeed_list\">\n <div class=\"

                                                                          表現の不自由展会場に爆竹?入り郵便物 破裂し避難騒ぎ:朝日新聞デジタル
                                                                        • 【連載】世界一わかりみが深いコンテナ & Docker入門 〜 その6:Dockerのファイルシステムってどうなってるの? 〜 | SIOS Tech. Lab

                                                                          説明だけではわかりにくいと思いますし、私も最初この説明だけでは全くわかりませんでした。なので、実践してみたいと思います。以下のような構成をもとに、実際にOverlayFSを構築します。upperdirはここでは使いませんし、一旦その存在を忘れてもらってOKです。OverlayFSはややこしいので、順を追って説明していきます。 lowerdirに相当する2つのディレクトリ「lower01」「lower02」、upperdirに相当するディレクトリ「upper」、mergeddirに相当するディレクトリ「merged」 を作成します。 期待する動きとしては、lower01ディレクトリにあるhoge.txt(中身はhogeと書いてある)と、lower02ディレクトリにあるfuga.txt(中身はfugaと書いてある)の両方のファイルがmergedディレクトリに表示されるというものです。upper

                                                                            【連載】世界一わかりみが深いコンテナ & Docker入門 〜 その6:Dockerのファイルシステムってどうなってるの? 〜 | SIOS Tech. Lab
                                                                          • 音楽CDのリッピングに役立つ「CDリッピングの正確性が高い光学ドライブ」のリスト

                                                                            世間では音楽のサブスクリプションサービスが広まっていますが、中にはサブスクリプションを解禁していないアーティストもいるほか、音質を重視している人はCDのリッピングを行って音楽を聴いています。しかし、CDからオーディオデータをリッピングする際には、CDの傷や汚れ、光学ドライブの振動などによって、データにエラーが生じてしまうとのこと。そこで、CDリッピングを行う人向けに「CDリッピングの正確性が高い光学ドライブリスト」がオーディオブログのPILABORで公開されています。 Audio CD ripping - optical drive accuracy listing - Tech-Tutorials, Howtos and buying advice https://pilabor.com/blog/2022/10/audio-cd-ripping-hardware/ CDリッピングにおい

                                                                              音楽CDのリッピングに役立つ「CDリッピングの正確性が高い光学ドライブ」のリスト
                                                                            • 「からかい」を批判する - 道徳的動物日記

                                                                              御田寺圭(白饅頭)の本については、批判的な書評をしたり、「ネット論客」としての彼の議論やビジネスのスタイルを批判したりした*1。 最近になって、わたしに対する御田寺からの人格批判じみた揶揄がいくつか投稿されている(「学術コンプ」と言われたり「アホ」と言われたりするなど)。 俺は、学歴コンプとは別に「学術コンプ」というものがあると思っています。 https://t.co/Nk1rW3M3pe — 白饅頭(御田寺圭/光属性Vtuber/バーチャルツイッタラー) (@terrakei07) 2022年11月29日 そういうのを「自己紹介」してしまうその瞬間にだけ発せられる人間性の輝きが、俺は三度の飯より好きです。 https://t.co/uaGn6RKBcB — 白饅頭(御田寺圭/光属性Vtuber/バーチャルツイッタラー) (@terrakei07) 2022年12月7日 ピンカーの意見と真

                                                                                「からかい」を批判する - 道徳的動物日記
                                                                              • 「ガラス細工」に賭けたけど…立憲は伸びず 参院選の共闘にも暗雲:朝日新聞デジタル

                                                                                ","naka5":"<!-- BFF501 PC記事下(中⑤企画)パーツ=1541 -->","naka6":"<!-- BFF486 PC記事下(中⑥デジ編)パーツ=8826 --><div id=\"kiji_bottom-banner\">\n<p style=\"padding:10px;\"><a href=\"https://www.asahi.com/senkyo/shuinsen/2021/?iref=kiji_bottom_banner\" style=\"display:block;\"><img src=\"https://www.asahicom.jp/senkyo/shuinsen/2021/images/shuinsen2021_660x100.jpg\" alt=\"2021衆院選\" style=\"width:100%;height:auto;\"/><

                                                                                  「ガラス細工」に賭けたけど…立憲は伸びず 参院選の共闘にも暗雲:朝日新聞デジタル
                                                                                • 【Go言語】自作コンテナ沼。スクラッチでミニDockerを作ろう - カミナシ エンジニアブログ

                                                                                  初めまして。株式会社カミナシPMの@gtongy1です。 Dockerというツール。SRE, Backend, Frontendどの領域のエンジニアも馴染みのあるツールではないでしょうか。 コンテナを利用することにより、インフラの環境を一つの空間に梱包し、その内部で柔軟に様々な環境を作ることが出来ます。 コンテナの実体とはなんなのでしょう? 叡智が詰め込まれたそんな一つの宝箱のように見えます。 「 コンテナ作ってみたくなりませんか? 」 僕と同じように知的好奇心をくすぐられたそこのあなた!コンテナ沼の一歩目を一緒に踏み出してみましょう! 検証環境 Ubuntu 18.04 golang 1.15 Dockerの機能おさらい docs.docker.com まず、ドキュメント内を読み進めてDockerに対する知識を整理します。 DockerはDocker daemonを基幹とし、その呼び出し

                                                                                    【Go言語】自作コンテナ沼。スクラッチでミニDockerを作ろう - カミナシ エンジニアブログ