タグ

2020年4月20日のブックマーク (45件)

  • リアクティブプログラミング

    スライドは、弊社の梅により弊社内の技術勉強会で使用されたものです。 近年注目を集めるアーキテクチャーである「Transformer」の解説スライドとなっております。 "Arithmer Seminar" is weekly held, where professionals from within and outside our company give lectures on their respective expertise. The slides are made by the lecturer from outside our company, and shared here with his/her permission. Arithmer株式会社は東京大学大学院数理科学研究科発の数学の会社です。私達は現代数学を応用して、様々な分野のソリューションに、新しい高度AIシステム

    リアクティブプログラミング
  • GHCの型レベル自然数を理解する - Qiita

    Haskellの多相型システムでは、型をパラメーターとして取る型を定義することができる。この拡張として、GHC拡張の型レベル自然数を使うと、自然数をパラメーターとしてとる型を定義することができる。 型レベル自然数を使うには、GHC拡張の DataKinds を有効にして、 GHC.TypeLits モジュール(もしくは GHC.TypeNats モジュール)をimportする。 この記事で説明するのは基的に、GHC組み込みの Nat カインドを持つ型レベル自然数である。データ型として帰納的に定義される自然数については、比較のために紹介する程度にとどめる。 初級編 まずは、型レベル自然数の基的な使い方を紹介する。 雰囲気を掴む 小難しい話に入る前に、GHCの型レベル自然数の雰囲気を見ておこう。 {-# LANGUAGE DataKinds #-} {-# LANGUAGE ScopedT

    GHCの型レベル自然数を理解する - Qiita
  • ココロストア:IoT関連商品・サービス

    2024年4月23日 ゴールデンウィーク休業のお知らせ 誠に勝手ながら、ロボホン関連のCOCORO STOREおよびロボホンストアは、2024/4/25(木)~2024/5/6(月) の間、ゴールデンウィーク休業をいただきます。 この間、商品のご注文は承りますが、出荷および出荷に関するお問い合わせの対応は、5/7(火)以降になります。 2023年12月25日 冬季休業のお知らせ 誠に勝手ながら、ロボホン関連のCOCORO STOREおよびロボホンストアは、2023/12/27(水)~2024/1/3(水)の間、冬季休業をいただきます。 この間、商品のご注文は承りますが、出荷および出荷に関するお問い合わせの対応は 1/4(木)以降になります。 2023年9月6日 決済会社変更による規約の変更について 2023年8月7日 夏季休業のお知らせ 誠に勝手ながら、ロボホン関連のCOCORO STOR

    ココロストア:IoT関連商品・サービス
    hamamuratakuo
    hamamuratakuo 2020/04/20
    お客様へ ご利用ありがとうございます。ただ今アクセスが集中しており、サイトにつながりにくい状態が続いております。お時間をおいて再度お試しください。お客様にはご不便ご迷惑をおかけして申し訳ございません。
  • 「会議でトンチンカンな発言をするベテランエンジニア」の、深い洞察。

    まだ駆け出しの頃に私が働いていた会社で、会議やミーティングで「開口一番見当違いのことを言う人」がいました。 その人のことを、仮にYさんと呼びます。 Yさんはベテランのエンジニアで、その時点で既に枯れていたある技術について、極めて深い知見を持った人でした。 一方新しい技術についてはそれ程知識がなく、ご自分でも「技術知識をアップデートするのが大変」というようなことをちょくちょくお話されていました。 気さくで良く笑う方で、若手にも気軽に話しかけられていました。 私も何回か缶コーヒーをおごってもらったことがあります。 Yさんを慕っている人も多い一方、「あの人距離が近すぎて苦手」という人もそこそこの数いた記憶があります。 人見知り多かったんですよ、その会社。パーソナルスペース激広の人がやたらたくさんいました。 で、当時の私には、Yさんについて一つ「不思議だなー」と思っていたことがありまして。 何かし

    「会議でトンチンカンな発言をするベテランエンジニア」の、深い洞察。
    hamamuratakuo
    hamamuratakuo 2020/04/20
    「マクドナルド理論」を使うとより優れたアイデアが出てきてプロジェクトが進行する - GIGAZINE https://gigazine.net/news/20130502-mcdonalds-theory/ この方式の欠点は、バカしかいなかった場合、そのまま進んで玉砕すること?
  • Functional Programming · OCaml Documentation

    Functional Programming What Is Functional Programming? We've got quite far into the tutorial, yet we haven't really considered functional programming. All the features given so far (rich data types, pattern matching, type inference, nested functions) could exist in a "super C" language. These are cool features that make your code concise, easy to read, and have fewer bugs; however, they actually h

    Functional Programming · OCaml Documentation
    hamamuratakuo
    hamamuratakuo 2020/04/20
    OCamlは正格な言語である。しかしLazyモジュールで、遅延の式を書ける。遅延の式を評価するには、Lazy.force関数を使わねばならない。
  • 遅延評価 - OCaml.jp

    hamamuratakuo
    hamamuratakuo 2020/04/20
    遅延評価 OCaml lazy を付けると、Lazy.forceするまで評価が遅延されます。Stream モジュールを使えば、遅延ストリームを手軽に書くことが出来きます。Haskell 全ての評価に遅延評価が用いられます。
  • 京大・山中氏「新型コロナ治療薬、競争より結束を」 コロナと世界(8) - 日本経済新聞

    ――世界的な感染の広がりを予想しましたか。「油断していた。重症急性呼吸器症候群(SARS)にせよ、中東呼吸器症候群(MERS)にせよ、流行範囲は限られていた。新型コロナウイルス感染症に関しては私自身、2月中旬の段階では大丈夫だろうと思い、いつも通り京都マラソンにも出場していた」「米ニューヨークの人たちも2月末まで他国の感染拡大を人ごとのように見ていたと聞くが、わずか数週間で感染者は急増した。

    京大・山中氏「新型コロナ治療薬、競争より結束を」 コロナと世界(8) - 日本経済新聞
    hamamuratakuo
    hamamuratakuo 2020/04/20
    国が音頭を取って護送船団方式で行くべきところを、日本はトップがバカ丸出しなのでどうしょうもない。「担ぐ御輿は軽くてパーがいい」=日本の感染拡大は人災。臨時で専門家が首相にならないと国難は終息できない。
  • ジェネシスヘルスケア 株式会社 | インタビュー | IT/Web業界の求人・採用情報に強い転職サイトGreen(グリーン)

    hamamuratakuo
    hamamuratakuo 2020/04/20
    楽天、社員らに「新型コロナウィルスPCR検査キット」提供 - Impress Watch https://www.watch.impress.co.jp/docs/news/1247977.html 遺伝子検査キットのジェネシスヘルスケアと連携し、「新型コロナウィルスPCR検査キット」を導入。
  • 息子に「最適な医療」を!遺伝子解析会社を起業した母の理念 | PRESIDENT WOMAN Online(プレジデント ウーマン オンライン) | “女性リーダーをつくる”

    hamamuratakuo
    hamamuratakuo 2020/04/20
    楽天、社員らに「新型コロナウィルスPCR検査キット」提供 - Impress Watch https://www.watch.impress.co.jp/docs/news/1247977.html 「病気になってから治すのではなく、病気になる前に先手を打ち、さらに病気になりにくい体をつくる」
  • About | Genesis Healthcare

    hamamuratakuo
    hamamuratakuo 2020/04/20
    楽天、社員らに「新型コロナウィルスPCR検査キット」提供 - Impress Watch https://www.watch.impress.co.jp/docs/news/1247977.html 社外取締役 三木谷 浩史(楽天株式会社)
  • 楽天、社員らに「新型コロナウィルスPCR検査キット」提供

    楽天、社員らに「新型コロナウィルスPCR検査キット」提供
    hamamuratakuo
    hamamuratakuo 2020/04/20
    一般販売も希望!超欲しいw "遺伝子検査キットのジェネシスヘルスケアと連携" https://genesis-healthcare.jp/about/ 息子に「最適な医療」を!遺伝子解析会社を起業した母の理念 | PRESIDENT WOMAN Online https://president.jp/articles/-/19768
  • 国立感染症研究所が「東京のインフルエンザ死亡数が激増」と発表、新型コロナとの関連性で物議に (2020年4月1日) - エキサイトニュース

    イメージ画像/出典:Hamatti 国立感染症研究所が3月31日に発表した「21大都市インフルエンザ・肺炎死亡報告」で東京の死亡者数が急増し、物議を醸している。 このデータでは、なぜインフルエンザ・肺炎死亡者数が急増しているのかは明らかにされていないため、「新型コロナウイルスの関連死が含まれているのではないか」との疑問が持たれている。 以下の図は21大都市合計だが、これを見ると実際の死亡数が10週から11週にかけて跳ね上がっていることがわかる。ただ、その数値はベースラインや閾値(いきち)を大きく下回っている。また、解説文にあるように、「超過死亡はありません」となっている。 https://www.niid.go.jp/niid/ja/flu-m/2112-idsc/jinsoku/1847-flu-jinsoku-2.html では、ベースラインや閾値、超過死亡とは何を示すのか? インフル

    国立感染症研究所が「東京のインフルエンザ死亡数が激増」と発表、新型コロナとの関連性で物議に (2020年4月1日) - エキサイトニュース
    hamamuratakuo
    hamamuratakuo 2020/04/20
    新型コロナに気を取られている間にインフルエンザにやられちゃった…院古円座「新参の頃名が調子に乗ってんじゃねーよ!俺様の存在を忘れてもらっちゃ困るぜ?」的な展開なの?🤧😇
  • 「だれでも自由に改憲できる日本国憲法」改憲の歴史 - nomolkのブログ

    前文 先週、 www.nikkei.com このニュースを見て思い出したんだけど、2012年に日国憲法をWikiに置いて誰でも改憲できるようにしたことがあった。 日国憲法を置いておいたので自由に改正してください https://t.co/umRgw9ao— メルセデスベン子 (@nomolk) 2012年6月26日 当時のページはここにまだあるけど、jottitが放置サービスになっていてセキュリティ警告が出るので直接の閲覧はおすすめしない。 当時の主な改憲内容をかいつまむと、 前文は保護者へのおたよりに改憲され、 国家の象徴は栗山千明さんになり ※当時、涎先生という2chのコテハンの発言「栗山千明率いる謎の軍勢に故郷の村を焼かれたい」が身近な界隈で微妙に流行っており、その影響と思われる(参考) 第九条では国際平和を希求するため犬、猿、雉およびドリルスペイザーを放棄。3.56立方メートル

    「だれでも自由に改憲できる日本国憲法」改憲の歴史 - nomolkのブログ
    hamamuratakuo
    hamamuratakuo 2020/04/20
    「三人寄れば文殊の知恵」~みんなでアイデアを持ち寄れば良い憲法改正案ができるかもしれない。日本会議の老害だけで考えるよりはましになるだろう。荒らし対応のためにGitで草案を編集(fork/merge)した方がいいかも
  • 「在宅で集中できず」貸しスペースが人気 新型コロナ さいたま | NHKニュース

    新型コロナウイルスの感染拡大で在宅勤務が広がる中、さいたま市ではテレワークができる貸しスペースの人気が高まり、受け入れ人数を制限するなど対策に追われるところも出ています。 さいたま市のJR大宮駅近くにある貸しスペースは、自由に席にパソコンを置いて仕事ができる空間を提供していて、ことし2月は35席のうち利用者はおよそ半分でした。 しかし新型コロナウイルスの影響で在宅勤務が広がる中、自宅では集中できないなどの理由で利用者が増え、先月からほぼ満席の状態になったということです。 ただ満席の状況が続くと感染のリスクが高まるとして、この企業では今月8日から新規の利用者などを断り、利用者どうしが十分、間隔がとれるようにしたということです。 また入る前に利用者の検温も行い、ドアや窓を開けて常に換気を行うなど感染防止対策を強化しているということです。 利用した30代の男性は「先月から在宅勤務をしていますが、

    「在宅で集中できず」貸しスペースが人気 新型コロナ さいたま | NHKニュース
    hamamuratakuo
    hamamuratakuo 2020/04/20
    人が集まる場所に行ったらリモートワークにした意味がない。リモートワークにした意義が理解できない/家で仕事ができないのは頭が悪すぎるからだろ?人類は淘汰されつつ進化してきた。日本に明るい未来はあるのか?
  • 中国茶のポテンシャルは高い

    中国茶のポテンシャルは高い。 ・淹れるのが簡単(大体熱湯でいい) ・飲みやすい(黒茶除く) ・砂糖やミルクを入れないのでヘルシー ・バリエーションが豊富で楽しい(同じチャノキなのに違う味で凄い) ・カフェイン少なめ(コーヒーや緑茶に比べてだが) なぜ流行らない? なぜコーヒーみたいな尖った飲み物が流行ってるんだ?

    中国茶のポテンシャルは高い
    hamamuratakuo
    hamamuratakuo 2020/04/20
    日本人は情報操作に注意しよう!感染拡大の根本原因は中国共産党が初動をミスったこと。武漢の李文亮医師が新型コロナを告発したら処分されて隠蔽。日本は政府も被害者。ネットで五毛党が中国擁護/矛先転換を展開中
  • 新型コロナ対応、最低の指導者は誰?(猪瀬聖) - エキスパート - Yahoo!ニュース

    新型コロナウイルス危機への対応で各国首脳のリーダーとしての資質がこれまでになく問われる中、その対応ぶりが評価されて国民からの支持率が上昇する指導者と、逆に、対応のまずさから支持率が下落する指導者との差が鮮明になっている。調査会社の分析やメディアの報道によると、主要国では全般に首脳の支持率は顕著に上がっているが、例外的に下げている国の首脳もいる。安倍首相は果たして、どちらだろうか。 10カ国の首脳を比較米調査会社モーニング・コンサルトは、新型コロナ危機の勃発以降、世界10カ国(オーストラリア、ブラジル、カナダ、ドイツ、フランス、インド、日、メキシコ、英国、米国)の大統領や首相の国民からの支持率を独自に継続調査し、その推移をホームページ上で公開している。 モーニング・コンサルトが出している支持率は、「支持する」から「支持しない」を引いた正味の支持率で、「支持する」が「支持しない」を上回ればプ

    新型コロナ対応、最低の指導者は誰?(猪瀬聖) - エキスパート - Yahoo!ニュース
    hamamuratakuo
    hamamuratakuo 2020/04/20
    日本人は情報操作に注意しよう!感染拡大の根本原因は中国共産党が初動をミスったこと。武漢の李文亮医師が新型コロナを告発したら処分されて隠蔽。日本は政府も被害者。ネットで五毛党が中国擁護/矛先転換を展開中
  • 【社会】響かない野党の「対案なき批判」…「政権チェック」の役割とは/デイリースポーツ online

    【社会】響かない野党の「対案なき批判」…「政権チェック」の役割とは 拡大 新型コロナウイルスの感染拡大で、日々のニュースはほぼコロナ一色となっている。中でも毎日のように繰り返されるのが、立憲民主党の蓮舫副代表(52)ら、野党議員による政権批判だ。 確かに、庶民的視線からすると、現政権のコロナ対策は、他国との比較を含め、必ずしも十分とは感じられない。実際に封じ込めに成功している国や、国民への保証がある程度なされている国もある。 だからこそ、蓮舫氏が常に怒りをあらわにすること自体は理解できる。ただ、自身も同じ歳費を受け取っている政治家である以上、批判の裏には対案が用意されていなければならないはず。だが、蓮舫氏のツイッターを読み進めても、具体的な財源や数字を伴った対案はそれほど見当たらない。これは蓮舫氏に限らず、国民民主党の小沢一郎議員(77)らも同様だ。 自身たちが主張しているように、国会の場

    【社会】響かない野党の「対案なき批判」…「政権チェック」の役割とは/デイリースポーツ online
    hamamuratakuo
    hamamuratakuo 2020/04/20
    日本人は情報操作に注意しよう!感染拡大の根本原因は中国共産党が初動をミスったこと。武漢の李文亮医師が新型コロナを告発したら処分されて隠蔽。日本は政府も被害者。ネットで五毛党が中国擁護/矛先転換を展開中
  • 新型コロナ患者、治験薬レムデシビル投与で「急回復」 米報道

    治験薬「レムデシビル」の投与で新型コロナ患者が急回復していると米メディアが報道/Ulrich Perrey/Pool/AFP (CNN) 米医療関連メディアのSTATニュースは16日、治験薬「レムデシビル」を投与された新型コロナウイルス感染症の患者が急回復していると報じた。この臨床試験に関する会議の動画を入手したとしている。 STATが臨床試験を主導する医師の発言として報じたところによると、治験に参加した患者はいずれも重い呼吸器系の症状や発熱があったが、治療開始から1週間以内に退院することができたという。 臨床試験を主導する米シカゴ大の感染症専門家、キャスリーン・マレーン博士は動画の中で、「最も良い知らせは、患者の大半がすでに退院したことだ。死亡した患者は2人しかいない」と語っている。 CNNはマレーン氏にコメントを求めたものの、現時点で回答はない。 シカゴ大はマレーン氏の発言について、部

    新型コロナ患者、治験薬レムデシビル投与で「急回復」 米報道
    hamamuratakuo
    hamamuratakuo 2020/04/20
    レムデシビルは米製薬大手ギリアド・サイエンシズが開発した薬 複数の動物実験では、重症急性呼吸器症候群(SARS)や中東呼吸器症候群(MERS)などに対する予防や治療の効果が示されている。
  • コロナ危機で露わになった日本製造業の不都合な真実 国内生産強化の声が高まるも、実現が容易ではない理由 | JBpress (ジェイビープレス)

    (加谷 珪一:経済評論家) 新型コロナウイルスの感染拡大に伴って、マスクや防御用ガウン、人工呼吸器、アルコールといった資材の不足が深刻化している。一部からは、海外に依存してきたツケであるとして、国内生産に回帰すべきとの意見が出ている。実際、ドイツでは自国優先という観点から、国内生産した医療用器具の輸出制限に乗り出している(批判を受けて一部解除)。 国内生産を強化すべきという意見はまさに正論であり、安全保障上、こうした物資については必要に応じて国内で調達できるようにしておく方が望ましい。だが、現実はそう簡単ではない。 日が多くの製品を海外に依存してきたことの背景には、国内経済の慢性的な低収益構造があり、ここに手を付けなければ、「国内回帰せよ!」と声高に叫んだところで問題は解決しない。今回のコロナ危機は、日社会が見て見ぬフリをしてきた不都合な真実を露呈したともいえるだろう。 一向に解消しな

    コロナ危機で露わになった日本製造業の不都合な真実 国内生産強化の声が高まるも、実現が容易ではない理由 | JBpress (ジェイビープレス)
    hamamuratakuo
    hamamuratakuo 2020/04/20
    日本の製造業はプラザ合意で破壊された。産業の空洞化の回復はもう無理。職人の高齢化で後継も育成できない。資源のない日本が、ハードの開発競争から撤退した以上、ソフト(サービス)で勝負する以外に道はない。
  • シャープ、個人向けにマスク販売を開始。1箱50枚入りで2,980円

    シャープ、個人向けにマスク販売を開始。1箱50枚入りで2,980円
    hamamuratakuo
    hamamuratakuo 2020/04/20
    コスパ悪そう。以前だったら、特売品の安物で50枚入り398円とか普通にあったよね。需要と供給→ボッタクリ価格。シャープの本体=ホンハイが儲かるだけ。日本人は鴨葱?
  • SHARP シャープ株式会社 on Twitter: "お待たせしてすみません。あす 4/21 午前10時から、マスクの販売をシャープECサイトで開始。50枚2980円(税抜・送料660円も別)で、おひとり様1箱のみ、購入後3日間は再購入不可です。また無料の会員登録が必要ですが、いつで… https://t.co/TQXAG3s5Zn"

    お待たせしてすみません。あす 4/21 午前10時から、マスクの販売をシャープECサイトで開始。50枚2980円(税抜・送料660円も別)で、おひとり様1箱のみ、購入後3日間は再購入不可です。また無料の会員登録が必要ですが、いつで… https://t.co/TQXAG3s5Zn

    SHARP シャープ株式会社 on Twitter: "お待たせしてすみません。あす 4/21 午前10時から、マスクの販売をシャープECサイトで開始。50枚2980円(税抜・送料660円も別)で、おひとり様1箱のみ、購入後3日間は再購入不可です。また無料の会員登録が必要ですが、いつで… https://t.co/TQXAG3s5Zn"
    hamamuratakuo
    hamamuratakuo 2020/04/20
    コスパ悪そう。以前だったら、特売品の安物で50枚入り398円とか普通にあったよね。需要と供給→ボッタクリ価格。シャープの本体=ホンハイが儲かるだけ。日本人は鴨葱?
  • Engadget | Technology News & Reviews

    'Extreme' geomagnetic storm may bless us with more aurora displays tonight and tomorrow

    Engadget | Technology News & Reviews
    hamamuratakuo
    hamamuratakuo 2020/04/20
    コスパ悪そう。以前だったら、特売品の安物で50枚入り398円とか普通にあったよね。需要と供給→ボッタクリ価格。シャープの本体=ホンハイが儲かるだけ。日本人は鴨葱?
  • "京大卒元ニート"phaさんに聞く老後の話ーー見通しはないけど不安はない。|tayorini by LIFULL介護

    "京大卒元ニート"phaさんに聞く老後の話ーー見通しはないけど不安はない。 #老いの準備#楽に生きる 公開日 | 2020/04/20 更新日 | 2021/04/27 「京大卒の元ニート」こと、ブロガーのphaさん。2019年、40歳を機に、2008年から運営してきたシェアハウスを離れて一人暮らしを始めました。その背景には、年齢を重ねる中で生じてきた精神的なギャップがあったといいます。 そんなphaさんに自身の老いや老後について聞くと、これといった見通しはないものの特に不安はないとの答えが。 「なんとかなる」。取材中、何度もそう口にしたphaさん。老後に対して必要以上に“深刻ぶらない”、その軽やかな生き方、考え方についてお聞きしました。 今回のtayoriniなる人 pha 1978年大阪府生まれ。京都大学総合人間学部を卒業後、国立大学の職員に。数年後に退職してからは「ニート」を自称。2

    "京大卒元ニート"phaさんに聞く老後の話ーー見通しはないけど不安はない。|tayorini by LIFULL介護
    hamamuratakuo
    hamamuratakuo 2020/04/20
    現代の浦島太郎? / 取材・構成:榎並紀行(やじろべえ) 撮影:小野奈那子 編集:はてな編集部
  • 新型コロナウイルス、武漢で新型肺炎を「告発」した医師が死亡

    新型コロナウイルス、武漢で新型肺炎を「告発」した医師が死亡
    hamamuratakuo
    hamamuratakuo 2020/04/20
    日本人は情報操作に注意しよう!感染拡大の根本原因は中国共産党が初動をミスったこと。武漢の李文亮医師が新型コロナを告発したら処分されて隠蔽。日本は政府も被害者。ネットで五毛党が中国擁護/矛先転換を展開中
  • 新型ウイルス、早期警鐘の中国人医師が死亡 自身も感染 - BBCニュース

    中国・湖北省武漢から発生した新型コロナウイルスをめぐり、アウトブレイク(大流行)の可能性についていち早く警鐘を鳴らしていた医師が、7日未明に死亡した。入院先の病院が公表した。医師は先月、新型ウイルスに感染し治療を受けていた。 国家衛生健康委員会の最新のデータによると、中国での死者は、6日に新たに報告があった73人を含め636人に上っている。感染者は3万1161人となっている。

    新型ウイルス、早期警鐘の中国人医師が死亡 自身も感染 - BBCニュース
    hamamuratakuo
    hamamuratakuo 2020/04/20
    日本人は情報操作に注意しよう!感染拡大の根本原因は中国共産党が初動をミスったこと。武漢の李文亮医師が新型コロナを告発したら処分されて隠蔽。日本は政府も被害者。ネットで五毛党が中国擁護/矛先転換を展開中
  • 医療の現場から|四谷三丁目

    頭がおかしくなりそうなのでしたためておく。 私は医療職に従事している人間である。看護師だ。 専門職ではあるものの、この歴史に刻まれるであろう混乱の中で私の有する専門性や経験値など紙切れ以下の価値もない。現状、私は「たまたま医療職に従事している一般人」であり、これは専門性を有する人間からの警告などではなく、ただならぬ混乱に巻き込まれた一般人の雄叫びである。 そのように受け止めてほしい。 私が勤めているのは首都圏の「けっこう大きな病院」である。今回の新型コロナウイルス感染症騒動の初期も初期から感染症対応病床で患者を受け入れていた。まあ来るよね、としか思わなかった。2カ月半前、もう遠い昔のように思える。 その後も、どこかで集団感染が発覚する度にそこから患者が運び込まれてきた。そのことに関して誰も動じたりはしない。みんなそれなりに、「けっこう大きな病院」に努めている自負みたいなもんも持っていて、周

    医療の現場から|四谷三丁目
    hamamuratakuo
    hamamuratakuo 2020/04/20
    日本人は情報操作に注意しよう!感染拡大の根本原因は中国共産党が初動をミスったこと。武漢の李文亮医師が新型コロナを告発したら処分されて隠蔽。日本は政府も被害者。ネットで五毛党が中国擁護/矛先転換を展開中
  • Yesod 1.4でのCRUD処理およびメール送信(stackによる開発環境の構築からketerによるデプロイまで) - Qiita

    はじめに CRUD処理およびメール送信を行うWebアプリケーションをYesod 1.4で作成してみます。 HaskellのWebフレームワークはいくつかあるのですが、Play2と同様にフルスタックな点や、ルーティングやコンフィグレーションがコンパイルの対象となっている点など、思想的によく似ている感じがしたので今回Yesodを採用しました。 ノートPCにKona Linux UE 1.0(Ubuntu 14.04 LTS)をインストールしただけの真っ新の状態からスタートし、最終的にAmazon EC2‎(Ubuntu 14.04 LTS)にデプロイするところまでやってみたいと思います。 なお、今回のコードは下記で公開しています。 https://github.com/imahiro-t/yesod-app.git 他の関数型言語のWebフレームワークでの実装はこちら Play 2.5でのCR

    Yesod 1.4でのCRUD処理およびメール送信(stackによる開発環境の構築からketerによるデプロイまで) - Qiita
  • [Yesod入門(1)] Stack,Yesodのインストール~起動

    HaskellでWeb開発 プログラミング言語Haskellを使って、Web開発を行います。WebフレームワークにはYesodを使用し、Yesodの基について調べていこうと思います。 Haskell自体については、正直こちらも初心者ですが合わせて勉強がてらやっていこうと思います。 開発環境 Ubuntu16.04で開発を行っています。 Yesodとは Haskellで書かれたWebフレームワークです。XSSに強く、パフォーマンスも良いようです。またコンパイル言語のため、実行時エラーをコンパイル時エラーとして検出しやすいのも特徴の一つです。コンパイルさえ通ればとりあえず一安心です。詳しくは公式サイトを確認してください。 Stackとは Yesodでの開発にあたって、Stackという開発ツールを用います。(なくてもYesodを使うことは可能です。)Stackとはそもそもなんなのか、というとこ

    [Yesod入門(1)] Stack,Yesodのインストール~起動
  • Yesodのmodelsに独自定義した型を使いたいときには - Qiita

    Yesod Advent Calendar 2016|18日目です。 Yesodは型安全を追求した実にHaskellらしいWebアプリケーションフレームワークですが、DBアクセスにも型安全が徹底されています。 DBに格納するモデルを定義するのが config/models ファイルです。 stackのテンプレートを使って作った models ファイルは次のようになっています。 User ident Text password Text Maybe UniqueUser ident deriving Typeable Email email Text userId UserId Maybe verkey Text Maybe UniqueEmail email Comment json -- Adding "json" causes ToJSON and FromJSON instances

    Yesodのmodelsに独自定義した型を使いたいときには - Qiita
  • Yesodを支える技術

    社内 TechTalk での資料。Yesod に用いられている Haskell の先進的な機能について軽く解説しています。

    Yesodを支える技術
  • $_GET, $_POSTなどを受け取る際の処理 - Qiita

    【2021/10/15 追記】 この記事は更新が停止されています。現在では筆者の思想が変化している面もありますので,過去の記事として参考程度にご覧ください。 予備知識 PHPはフォームから送信された値などをコード実行開始に自動的に変数として使えるようにしてくれる非常に便利なプログラミング言語です.しかし,それをそのまま用いるとエラーが発生したり,脆弱性になってしまったりするケースがたくさんあります.使う前には適当なチェック処理が必要です. どういった変数が対象になるか 以下に挙げられた変数は,ユーザーが勝手に値や構造を書き換えたり,送信をそもそも行わずにアクセスしたりすることが可能な信用できない変数だと思ってください.例え,ラジオボタンで選択肢を限定していたり,隠し要素として埋め込んでいたりしたとしても,これに該当してしまいます.

    $_GET, $_POSTなどを受け取る際の処理 - Qiita
    hamamuratakuo
    hamamuratakuo 2020/04/20
    XSS HTML中で特殊な意味を持つ文字列は必ずエスケープ.ユーザー入力値の処理を怠るとクロスサイトスクリプティング脆弱性が発生.処理を行うタイミングは表示する直前にしましょう.→SQLインジェクション対策も必要?
  • スクリプトインジェクション入門 - Qiita

    はじめに 今回の記事は PHP を想定しています。 PHP は WEB サイトで最も使われていて、初心者がとっつきやすく、セキュリティーホールのあるシステムを最も多く生み出し続けている言語ですよね( ̄▽ ̄;) そこで WEB プログラミングの初心者の方をターゲットに、出来るかぎり分かりやすく書いてみます。 というのは建前で、今週末にある PHP セキュリティのお勉強会の予習です。 記事の内容を他人の公開サーバーで試すと犯罪になる場合もあるので注意してね。 セキュリティを確保するにはシステムのアップデートが欠かせませんが、PHP は後方互換性に乏しく、バージョンアップが高コストなため、問題のあるバージョンのまま放置されたシステムになりやすく危険な言語だと思っています。 これは Ruby も同じで、私が言語を選べるなら、どちらも使いません。 堅い言語なら Java か C#(ASP.NET)、

    スクリプトインジェクション入門 - Qiita
  • 07-31-yesodsecurity.html

    はじめに Yesod は Haskell で書かれた Web アプリケーションフレームワークです。 WordPress や Drupal と違って、セキュリティはかなり万全です。(ユーザが気にしなければならない部分が非常に少ないです) 最近、体系的に学ぶ 安全なWebアプリケーションの作り方 第2版 (通称: 徳丸) が発売されました。 勉強のため、書の内容を Yesod で確認しているのですが、その中で面白い例を見つけました。 今回はその内容について紹介したいと思います。(セキュリティの専門家ではないので間違いがあればご指摘ください) 脆弱性のあるコード #!/usr/bin/env stack -- stack script --resolver lts-12.4 {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE QuasiQuotes

    hamamuratakuo
    hamamuratakuo 2020/04/20
    XSS まとめ ・JavaScript を動的に組み立てない ・ユーザが気をつけなけば Yesod でも脆弱性が発生する ・変数展開で全てがエスケープされると思っていたが、場所によってはそれだけでは不十分な場合がある
  • Yesod - Google 検索

    はい。イエソドは社内に散らばった人・組織データを時系列に集約管理できるサービスであり人事システムとは異なります。弊社ユーザ様は人事システムをご導入済みですが、 ...

  • Yesod Web Framework for Haskell

    Yesod is a Haskell web framework for productive development of type-safe, RESTful, high performance web applications. Yesod is a Haskell web framework for productive development of type-safe, RESTful, high performance web applications. Why Yesod? Turn runtime bugs into compile-time errors Yesod believes in the philosophy of making the compiler your ally, not your enemy. We use the type system to e

    hamamuratakuo
    hamamuratakuo 2020/04/20
    Yesod には脆弱性があるのかな? id:entry:368392548 XSS
  • 看護職に危険手当の支給を 日本看護協会が要望書を提出 | NHKニュース

    新型コロナウイルスの感染拡大に伴い、医療の現場では感染者への対応が増えていることから、日看護協会は看護師などに対して危険手当などを支給するよう求める要望書を加藤厚生労働大臣らに提出しました。 日看護協会によりますと、看護師は、感染した患者と接する時間が長いうえに、感染した人が突然診療に訪れた場合でも対応する必要があるなど、医師などと比べても感染のリスクが高いということです。 要望書では、看護師や保健師など看護職の人たちは自分も感染するのではという不安や恐怖を感じつつも業務にあたっていると訴えました。そして、新型コロナウイルスの患者がいる医療機関では、保育所で子どもの預かりを拒否されたり、帰宅の際にタクシーから乗車を拒否されたりするなど、いわれのない中傷を受けている現状を明らかにしました。 そのうえで、看護職に対し、新型コロナウイルスに感染した人や、感染した疑いのある人に接した場合の危険

    看護職に危険手当の支給を 日本看護協会が要望書を提出 | NHKニュース
    hamamuratakuo
    hamamuratakuo 2020/04/20
    医療従事者への支援は絶対に必要!麻生は看護師へ税金から危険手当を出すべき。今は神風特攻隊の時代じゃない。天皇の命令で「お国のために死ぬ」やつなんていない。ボーナス出なきゃ逃げられても仕方ない。死ぬな!
  • 医療の現場より②|四谷三丁目|note

    気が狂いそうなのでしたためておく。 私は首都圏の「けっこう大きな病院」に勤める看護師だ。 今回の新型コロナウイルス感染症の蔓延を受け、行政からの要請を受けて最大80名の陽性患者を受け入れることが決定した。80床の空床確保のために入院患者の大移動、新規入院や手術の制限が始まったのが4月の初め。そこから2週間が経過した。 ちなみに3月末より現在まで、全職員マスクは3日に一枚の使用制限がかけられている。 4月の2週目。新型コロナウイルス感染症陽性患者の受け入れ拡大が決定してからの混乱は、収まってないがなんとなく慣れてきた。混乱していることに慣れてきた。 大騒動だった患者の大移動は完了し、3日間使いまわしたマスクの臭さに辟易しながらも通常業務は続く。 丸1日患者さんと喋り倒したあとのマスクを3日間保管するとあんなに臭うなんてことは一生知りたくなかったが、とにもかくにも2週間も同じ状態が続けばなんと

    医療の現場より②|四谷三丁目|note
    hamamuratakuo
    hamamuratakuo 2020/04/20
    「怖くて仕方がない」…気持ちは分かる。今回の騒動で結果的にリモートワークができる安心安全な仕事を選んでいて良かったと実感する。憲法第22条(職業選択の自由)があるのでみんな自分がやりたい仕事を選べば良い
  • 善意の「アルコール消毒酒」が転売ヤーの餌食に 国税庁「繰り返せば酒税法違反」、監視強化へ

    新型コロナウイルスの感染拡大で、品薄になっている手指消毒剤に使ってもらおうと、日各地の酒造メーカーが善意で高濃度の「アルコール消毒酒」を製造する動きが相次いでいます。 しかし、この酒造メーカーの善意を踏みにじるかのように、インターネット上で高額で転売するケースが横行し、SNS上では「酒税法に違反している」「違反にあたらない」という論議まで起こっています。当のところはどうなのか、国税庁酒税課に聞いてみました。(ライター・国分瑠衣子、弁護士ドットコムニュース編集部) 希望小売価格1200円なのに8000円で販売 高知県安芸市の菊水酒造が、事実上の手指消毒剤として4月10日に発売したお酒「アルコール77」は、希望小売価格は500mlで1200円です。 同社の春田和城社長は「当社は、2018年7月豪雨により甚大な被害を受けましたが、各方面から多大なご支援をいただきました。当社の有する製造設備等

    善意の「アルコール消毒酒」が転売ヤーの餌食に 国税庁「繰り返せば酒税法違反」、監視強化へ
    hamamuratakuo
    hamamuratakuo 2020/04/20
    人間は本音と建前で生きている(嘘つき・二枚舌)。悪い大人達の餌食にされないよう、若い人ほど早く気付いた方が良い。メルカリもヤフオクも手数料で儲けたいのが本音。国税は税収が増えて天下り先を確保できればOK
  • 医療現場の人員・マスク不足深刻 感染リスク…「家族にうつしてしまうのでは」(産経新聞) - Yahoo!ニュース

    新型コロナウイルスの感染拡大で、医療の最前線で感染患者の命を救う看護師らの労働・生活状況が厳しさを増している。マスクや防護服などの深刻な不足に見舞われる中、一刻を争う医療現場の対応に追われ、院内感染の恐怖が常につきまとう。一方で、休校措置が続く子供のために仕事を休まざるを得なくなる人もおり、職場環境の悪化を招いている。周囲から家族が差別的扱いを受けているとの悲痛な訴えも出ている。 【表】新型コロナウイルスによる「負の連鎖」とは 「まだ軽症者が多く、ナースコール越しでも対応できるが、重症者が増えれば、マスク、ゴーグル、ガウンを身に着けて頻繁に病室へ入らなければいけない。自分も感染してしまうという恐怖心は強い」 東京都内の病院で働く看護師の女性(45)は、不安をぬぐい切れない。入院患者は日々増え続け、女性が働く一般病棟も新型ウイルス専用病棟に切り替わった。今後は重症者でベッドが埋まることも予想

    医療現場の人員・マスク不足深刻 感染リスク…「家族にうつしてしまうのでは」(産経新聞) - Yahoo!ニュース
    hamamuratakuo
    hamamuratakuo 2020/04/20
    経済協力開発機構(OECD)によると、日本の病床100床当たりの臨床看護職員数(2016年)は86・5人。スウェーデン466・1人、アメリカ419・9人など他の先進国と比べ、人員の圧倒的な少なさが際立つ。
  • 実習生の「窓口」5億円所得隠し 3監理団体に国税指摘(朝日新聞デジタル) - Yahoo!ニュース

    外国人技能実習生の受け入れ窓口として国が運営許可を出している「監理団体」の3団体が税務調査を受け、総額約5億円の所得隠しを指摘されたことがわかった。経費を架空計上して裏金をつくり、代表者による個人的な使用や海外工作に充てたとされる。監理団体は技能実習がきちんと行われているかをチェックする非営利団体で、所得隠しの発覚は初めて。 【図表】「技能実習」と「特定技能」の違いをわかりやすく 3団体は、協同組合フレンドニッポン(FN、広島市)▽全国人材支援事業協同組合(長野県佐久市)▽朝日協同組合(同県川上村)。 複数の関係者によると、監理団体で全国最大規模のFNは広島国税局から、他の2団体は関東信越国税局から2018年秋ごろに税務調査を受け、いずれも18年3月期までの数年間に不正な経理操作が発覚した。 FNは国内外の関連会社に一部の業務を委託したように見せかけて架空経費を計上するなどしたとして、約3

    実習生の「窓口」5億円所得隠し 3監理団体に国税指摘(朝日新聞デジタル) - Yahoo!ニュース
    hamamuratakuo
    hamamuratakuo 2020/04/20
    協同組合フレンドニッポン(広島市)▽全国人材支援事業協同組合(長野県佐久市)▽朝日協同組合(同県川上村)。非営利の監理団体は法人税率が一般企業より軽いことなどから、重加算税を含む追徴税額は、意外と少額
  • オリゴスマート|株式会社 明治 - Meiji Co., Ltd.

    フラクトオリゴ糖は 砂糖に近い味わい のおいしいオリゴ糖 フラクトオリゴ糖は、 ゴボウ、タマネギ、トマト、 バナナ、モモ、スイカなどに 含まれています。 フラクトオリゴ糖は 難消化性のオリゴ糖です。 フラクトオリゴ糖は、糖として吸収されず、 ビフィズス菌や乳酸菌の 栄養源になります。 その結果、腸内で短鎖脂肪酸が生成されます。 フラクトオリゴ糖は、 砂糖の半分のカロリーです。 オリゴスマート カカオコク深ミルクチョコレート 65g 機能性関与成分:フラクトオリゴ糖 3000mg オリゴスマート 濃厚ミルクチョコレート 65g 機能性関与成分:フラクトオリゴ糖 3000mg オリゴスマート 100ミルクチョコレート 60g 機能性関与成分:フラクトオリゴ糖 3000mg オリゴスマート カカオコク深ミルク チョコレート大袋 200g 機能性関与成分:フラクトオリゴ糖 3000mg オリゴスマ

    オリゴスマート|株式会社 明治 - Meiji Co., Ltd.
  • 菅直人 衆議院議員 on Twitter: "コロナとの戦い 今私に権限があれば、人の接触を8割削減するため、以下のことを実行します。食料と医療など人間の生存に必要不可欠な業務以外の会社、商店には、国として経済補償を約束し、オンラインで行う業務以外全て休止。議会は国会を含め審議も採決も全てオンラインで行う事を認める。"

    コロナとの戦い 今私に権限があれば、人の接触を8割削減するため、以下のことを実行します。料と医療など人間の生存に必要不可欠な業務以外の会社、商店には、国として経済補償を約束し、オンラインで行う業務以外全て休止。議会は国会を含め審議も採決も全てオンラインで行う事を認める。

    菅直人 衆議院議員 on Twitter: "コロナとの戦い 今私に権限があれば、人の接触を8割削減するため、以下のことを実行します。食料と医療など人間の生存に必要不可欠な業務以外の会社、商店には、国として経済補償を約束し、オンラインで行う業務以外全て休止。議会は国会を含め審議も採決も全てオンラインで行う事を認める。"
    hamamuratakuo
    hamamuratakuo 2020/04/20
    小池百合子と同じ現象。菅直人は当たり前のことを言っているだけで、安倍と麻生の無能ぶりが際立ってしまった。自民党内でも無能の安倍以外に首相が務まる人材はいるだろう。日本が壊滅する前に早く交代した方が良い
  • ネット生活を幸せにする宗教 Virtual Religion

    言葉遣いに気を遣います 正しい内容と正しい伝え方、両方がそろってはじめて相手に届く言葉となります。 例えば、以下のような言葉遣いやふるまいを避けます。 「幼稚」「幼稚園児並み」「小学生並み」などの人格批判。そのような言葉を使うことによって、むしろ自らの幼稚さをさらすことになります。 「毒舌」「毒吐き」という自称。人を傷つけることを平気で言うし、それを許してください、という主張です。 「質」。多くの文脈では、「私が言いたいこと」「私が大事だと思っていること」などで十分です。 「マスゴミ」などの罵倒。「マスコミ」で十分です。むしろ、マスコミへの過剰な期待をさらすことになります。 「マスコミが触れない」。いわゆる「悪魔の証明」です。「私はマスコミでは見たことがない」で十分ですし、あなたが知っている時点で十分マスに伝わっています。 「論破」。議論は相手あってのものです。相手を「破」してしまうと、

    ネット生活を幸せにする宗教 Virtual Religion
    hamamuratakuo
    hamamuratakuo 2020/04/20
    "怠け者の社会運動…労力や負担を負わずに、社会運動めいたことをすること。社会に意味のある影響を与えていないのに社会にとって良い活動をしたつもりになる自己満行為" https://b.hatena.ne.jp/entry/91239458/comment/moerrari
  • スラックティビズム - Wikipedia

    この項目「スラックティビズム」は翻訳されたばかりのものです。不自然あるいは曖昧な表現などが含まれる可能性があり、このままでは読みづらいかもしれません。(原文:en:Slacktivism 16:35, 21 April 2020 (UTC)) 修正、加筆に協力し、現在の表現をより自然な表現にして下さる方を求めています。ノートページや履歴も参照してください。(2020年5月) Facebookで使用されている「いいね!ボタン」は、スラックティビズムの道具として人気である。 スラックティビズム(英: Slacktivism)とは、「怠け者(slacker)」と「社会運動(activism)」とを掛け合わせたかばん語であり、SNSやネット署名などの手軽な手段により、専ら自己満足のために社会運動に参加することに対する蔑称である。 そのような行動は、自分が何かに貢献しているという自己満足を得ること以

    スラックティビズム - Wikipedia
    hamamuratakuo
    hamamuratakuo 2020/04/20
    slacktivismは、「怠け者(slacker)」と「社会運動(activism)」の合成語 → 「安全圏から絵だけ描いて感動ポルノにしないで」医療従事者が絵描きに激怒#GratefulForTheHeros絵 - Togetter https://b.hatena.ne.jp/entry/s/togetter.com/li/1495682
  • 100均のセリア、レジ接客でのコロナ対策に店独自でビニールシートで対策していたら「必ずこれにしろ」と半透明下敷き一枚という防御力低下する指示を出す

    進撃の社畜 @syatikunoturn セリアで働いてるけど、全国緊急事態宣言が出て社が出した感染予防対策が顔の前面だけをPPシートで隠して無言レジだけ。ビニールカーテンにしてほしいって言ったらコロナに感染するのは気のもちようだからって言われた。#セリア #コロナ #コロナ対策 #気のもちよう 2020-04-17 19:38:37 進撃の社畜 @syatikunoturn よその店舗だけど写真あったので…さっき呟いた内容の対策がこれです…こんな対策で飛沫感染が防げるのでしょうか?無言でレジをして、お客様が「ありがとう〜」って言ってくれるのに、当たり前の「ありがとうございました!」が言えないなんて…人間扱いしてほしい… #セリア #コロナ対策 #拡散希望 pic.twitter.com/vcHR1RjQ4X 2020-04-17 20:58:49

    100均のセリア、レジ接客でのコロナ対策に店独自でビニールシートで対策していたら「必ずこれにしろ」と半透明下敷き一枚という防御力低下する指示を出す
    hamamuratakuo
    hamamuratakuo 2020/04/20
    レジに透明ビニールシートのカーテンを張りだした店が増えているよね。コロナ対策をしっかりやって店員も客も保護しようという姿勢が伺えて好感度アップ!セリアの経営者は時代錯誤のバカなんだろう(倒産するの?)