文化審議会の小委員会は4日、著作物の違法ダウンロードに対する刑事罰について、悪質な行為に限定するとの報告書を公表した。全ての違法ダウンロードに刑事罰を科すとの当初案から後退した。
スマホゲーム運営のコンサルティングをやっております、あかおぎ(@akahiro0211)です。 今回はみなさん大好きな「炎上」をテーマにnoteを書いてみようと思います。 といっても「ネット上の炎上」ではなく笑、 「炎上しているプロジェクトに自分がアサインされた時、それをどうやって鎮火させるか」 という、もっと身近なやつです。笑 ネット上で炎上したことはないけど、炎上プロジェクトにアサインされて辛い経験をしたことのある人は、なかなか多いんじゃないでしょうか。 これを書こうと思ったのは、ぼくが今までの経歴上、炎上プロジェクトに途中からアサインされて火消しをするということが多く、 ・炎上しているPJの共通点がだいたい見えてきて ・火消しの際、やることが毎回一緒だと思ったので これを共有したら、日本のどこかで炎上プロジェクトに疲弊している人の助けになるかな、と思ったためです。 ※炎上プロジェクト
「太陽光パネルとケーブルは屋根材と近接しており、重大な住宅火災や生命被害に至る可能性がある」。消費者庁で太陽光パネルの事故調査を手掛けた今洋佑氏は警告する。「保守点検の義務は所有者にある。他人事と思わず、保守点検の意識を高める必要がある」 家庭用の太陽光発電システムで相次ぎ火災が発生している。消費者庁の消費者安全調査委員会が1月末にまとめた報告書によると、2017年11月までの9年間に全国で127件の火災などの事故が起きているという。同庁はそのうち、パネル部分やパネルにつながっているケーブルからの発火が原因だった13件について検証した。報告書をつぶさに読み解くと、大きく3つの原因が見えてくる。 1つ目は「施工不良」。ケーブル配線工事に不備があると接合部分が異常に発熱したり、火花が散るアーク放電が起きたりするという。太陽光パネル本体でもはんだ強度が不十分だと、経年劣化によって電流抵抗が増し異
(どうでも良いですが，モノリポにした方良かったと思う... Marpit で更新があると全てのリポジトリで PR を出して更新する必要があるので...) ちなみに，旧 Marp のリポジトリの Issue ラベルに Marp Next や Supports in Marp Next というのができている． 旧 Marp の Issue には，かなり要望っぽい Issue がたくさんあり，その中でも Marp Next では対応する予定のものには Support in Marp Next を付けたようだ． 旧 Marp との非互換な機能 これらは旧 Marp ユーザーしか意味ないが，適当に書き連ねていおく: ==AAA== というハイライト機能がない（辛い） 打ち消し線記法 ~~AAA~~ もない 画像の拡縮ルール (Marpit) より細かいルールができて書きやすくなった しかし前のは記法
京都大学大学院 情報学研究科 通信情報システム専攻 修士2回生の五十嵐雄です．大学では，プログラミング言語理論，その中でも特に型システムの研究をしています． この記事では，私が特に力を入れて研究している漸進的型付けという種類の型システムについて紹介します．プログラムや型システムといった基本的な概念から解説していくので，プログラミング経験のない人も安心して読み始めてもらえたらと思います． はじめに プログラムとはコンピュータへの命令を記述したものです．2018年現在，私たちの生活は数多くのプログラムに支えられています． あなたがこの記事を Windows が入ったパソコンで見ているなら，まずその Windows がプログラムです．お家にテレビや冷蔵庫があれば，それらの中にもプログラムが内蔵されているでしょう．空いた時間にスマートフォンでゲームをするなら，遊んでいるゲームも全てプログラムです．
【こちらのログは、2014年12月7日に開催された演説の書き起こし記事となります】 ここ数日報道されている、麻生太郎氏の失言問題。「高齢者が悪いようなイメージを作っている人がいっぱいいるが、子どもを産まないのが問題だ」との言葉は、どのような流れのなかから発せられたのか？ 当該演説の全文を書き起こした。 「飛行機のパイロットは民主党かな？」 麻生太郎氏：麻生太郎です。手稲って僕はじめてだと思いますが、今日、生ではじめてこの僕の面を見た人？ テレビで見るよりいいと思った人？ ……奥さん見る目あるね。 （会場笑） ありがとうございます。 あっちこっち行くと「ホンモノですか？」って時々聞かれるんで。テレビに映ると、映し方がヘタなせいもあるんでしょうけど、だいたいロクな顔で映ってないらしくて、生のほうがよっぽどええわ、と言っていただけると大変ありがたいんですが。 さて、今日はここ、北海道4区の中村ひ
nanomsg is a socket library that provides several common communication patterns. It aims to make the networking layer fast, scalable, and easy to use. Implemented in C, it works on a wide range of operating systems with no further dependencies. This project has largely been superceded by the nng project. Users are encouraged to use nng if they are able. The nng project is wire compatible with this
Bencode (pronounced like Bee-encode) is the encoding used by the peer-to-peer file sharing system BitTorrent for storing and transmitting loosely structured data.[1] It supports four different types of values: byte strings, integers, lists, and dictionaries (associative arrays). Bencoding is most commonly used in torrent files, and as such is part of the BitTorrent specification. These metadata fi
Nikita Sobolev for wemake.services Posted on Jan 31, 2019 • Updated on Feb 9, 2019 Originally published in my blog: https://sobolevn.me/2019/01/simple-dependent-types-in-python I am quite excited about this new feature in python: simple dependent types. "Dependent types" might sound complex, but it is not. Instead, it is a useful feature and I am going to show how it works and when you should rely
↓の話 実際singletonsが乱舞するんだけど，singletonsから提供されてる型レベル関数の中には使うと「それ以上証明が進まなくなる」やつが結構な割合で含まれてて，面白味のあるない以前に怒りが先行してしまう．あれは型レベル計算のためのライブラリでしかなくて証明のためのライブラリにはなれてない． https://t.co/ckCcUpWQLK— Noriyuki OHKAWA (@notogawa) January 3, 2019 サンプルコードはここ サンプルコードでやろうとしていることは「リストの反転はリスト内要素の置換の一種であることを示す」というもの まず，2つの型レベルリストが置換の関係にあることを定義する． data Permutation :: [k] -> [k] -> Type where PermutationNil :: Permutation '[] '[]
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く