新型コロナウイルスの感染防止策として人が互いに距離をとる工夫が求められるなか、ブリの養殖で知られる香川県東かがわ市の学校では、子どもたちの距離をとる意識を高めようと、およそ2メートルに当たるブリ2匹分の距離をとるよう呼びかけています。 このユニークな呼びかけは、東かがわ市で、小中一貫教育を行う引田小中学校が今月20日から始めました。 地元特産のブリを合言葉に距離をとる意識を高めようと、校舎の壁や階段の手すりなどに2匹のブリのイラストを貼って、およそ2メートルの距離をとるよう指導しています。 登校してきた児童や生徒は、玄関の前で先生から「ブリ、ブリ」と呼びかけられると、距離をとって、それぞれの教室に向かっていました。 また、体育館で行われた体育の授業では、生徒たちがいわゆる「3密」にならないよう「ブリ、ブリ」と呼びかける先生の指導に従って、ブリ2匹分の距離をとり、準備体操をしたり、踊ったりし

長らく自動テストとテスト容易設計を生業としてきましたが、最近は色々な限界を感じて形式手法に取り組んでいます。 この記事では、既存の自動テストのどこに限界を感じてなぜ形式手法が必要なのかの私見を説明します。なお、私もまだ完全理解には程遠いため間違いがあるかもしれません。ご指摘やご意見はぜひ Kuniwak までいただけると嬉しいです。 著者について プログラマです。開発プロセスをよくするための自発的な自動テストを支援する仕事をしています（経歴）。ここ一年は R&D 的な位置付けで形式手法もやっています。 自動テストの限界 自動テストとは 私がここ数年悩んでいたことは、iOS や Web アプリなどのモデル層のバグを従来の自動テストで見つけられないことでした。ただ、いきなりこの話で始めると理解しづらいと思うので簡単な例から出発します。 この記事でいう自動テストとは以下のようにテスト対象を実際に

大量の児童ポルノの動画などをオーストラリア国内に持ち込もうとしたとして、関税法違反の罪に問われている日本人の男に対し、現地の裁判所は、禁錮1年4か月の実刑判決を言い渡しました。 これまでの裁判で、被告は罪を認めていて、26日開かれた裁判で、パースの地方裁判所は、禁錮1年4か月の実刑判決を言い渡しました。 オーストラリアでは、国境警備隊が児童ポルノなど子どもを搾取の対象とする犯罪の取締りを強化しています。 一方、東京電力ホールディングスは、ＮＨＫの取材に対し、「当社社員が有罪判決を受けたことは誠に遺憾であり、大変申し訳ない。今後、事実関係を調査の上、厳正に対処する」とコメントしています。

こういう絵を見たことないだろうか。チャットの投稿に対して、スタンプみたいなものが押されている。 これは、チャットツール「slack」のカスタム絵文字という機能だ。書き込みに対してリアクションを押せるのだが、その画像を自分で作れるのである。そのため社内には多様な絵文字があって、この間とある発言に同意すべく「あり」を押そうとしたら、 選択肢が多すぎる。なんだこれ？ 代わりに「わかる」と押そうとしたら、 めちゃくちゃあるな。 その状況に、ふと疑問を抱いた。 「ありありのあり」と「ありのありあり」は、どっちがありなの？ 「わかりマンボ」と「ワカリマクリスティ」はどっちがわかってるの？整理心がくすぐられて、曖昧な絵文字たちに全て序列をつけようとした。しかしその作業は難航を極め、一人では収拾がつかない。もっと人手が必要だ。 こうして物事のあり/なし、わかる/わからないに強い関心を持った者たちが集って、

番組冒頭で、山里は今回の訃報について触れ「みなさんと同じところまでしか知らないです。それが合っているかどうかわからない中で、何かを発するというのは、誰かを傷つけてしまうかもしれない」と報道を知った直後の心境を吐露。「何をするべきなのか、これから何を考えるべきか、何していくべきかっていうことを、これからずっと一生かけて考え続けていこうと思っています」と語った。 27日夜には『テラスハウス』の公式サイトおよびツイッターが更新され、現在放送中の『TERRACE HOUSE TOKYO 2019-2020』について、制作を中止することを発表。「この度、番組に出演されていた、木村花さんがご逝去された事について、改めてお悔やみ申し上げます。またご遺族の方々にも深く哀悼の意を表します」とのコメントを寄せていた。 山里は時折声をつまらせながら、現時点の情報をもとに自身の考えを話していった。山里の語りを通し

政府・与党は27日、新型コロナウイルスによる学校休校を受けて検討した2021年度からの「9月入学」の導入を見送る方針を固めた。政府・与党は緊急事態宣言中の授業の遅れを取り戻す方策として検討したが、保育の期間にしわ寄せがいくなど課題が多く、教育現場を混乱させかねないと判断した。安倍晋三首相が夏までに正式判断する。 自民党の秋季入学制度検討ワーキングチーム（WT、座長・柴山昌彦元文部科学相）は27日、9月入学への移行は一定の準備期間や国民的な合意が欠かせず時期尚早だとする提言骨子案を党幹部に提示した。WTは一方で今年度に限り就学期間を1カ月程度延ばす特例措置の検討を政府に要請し、来年の大学入試も2週間から1カ月程度遅らせるよう求める。公明党も21年度までの9月入学に反対する方針で、山口那津男代表は「時間をか…

最先端技術の実証実験を街全体で行う「スーパーシティ」を整備するための改正国家戦略特区法が参議院本会議で可決され、成立しました。 討論で、野党側は「本人の同意なしに個人情報の目的外使用や第三者への提供などが可能となる場合があり問題だ。明らかな欠陥法案だ」などと指摘しました。 一方、与党側は、討論を行いませんでした。 そして採決が行われ、改正法は、自民・公明両党などの賛成多数で可決され、成立しました。 「スーパーシティ」は、住民や企業のデータを活用しながら、自動車の自動運転やドローンを使った配送、遠隔医療など最先端技術の実証実験を街全体で行うものです。 改正法では、自治体が規制緩和を政府に要請した際には、各府省庁で可能かどうかを検討し、結果を速やかに公表することなどが盛り込まれています。 政府は、ことし夏ごろから「スーパーシティ」に指定する自治体の選定を始め、秋以降、全国で5か所ほどを指定する

ゲームあんまりやったことないんだけどファイナルファンタジーってどれを最初にやったらいいの？ 追記 ファイナルファンタジータクティクスとファイナルファンタジーセブンリメイクの二つをやることに決めた