衆院本会議で代表質問に立った自民党の稲田朋美筆頭副幹事長=国会内で2018年10月29日、川田雅浩撮影 稲田朋美・自民党筆頭副幹事長が10月29日の衆院本会議で、聖徳太子の十七条憲法にある「和をもって貴(たっと)しとなす」を引用して「民主主義の基本は日本古来の伝統」などと主張した。しかし、1400年前の日本にそもそも民主主義という考え方はあったのだろうか。歴史をひもとくと、さまざまな矛盾が浮かび上がる。【大村健一、佐藤丈一、小国綾子/統合デジタル取材センター】
さいたま市は31日、昨年4月に市内で開催された「第8回世界盆栽大会inさいたま」の公式ホームページ(HP)のドメイン(インターネット上の住所)が第三者に再利用され、リンクを開くとアダルトサイトにつながる状態になっていると発表した。 市によると、世界盆栽大会の公式HPは大会事務局を務めた日本盆栽協会…
Note: Videos are based on an older version that has an outdated configuration format. For up-to-date configuration, see this section for keymaps and this section for behaviors ###Starting Light Table So let’s start by simply opening Light Table. The main screen is pretty basic, but it contains an important link - Light Table’s documentation. These docs have basic directions if you ever get lost or
REALFORCEのPFU限定モデル ■ PFU Limited Edition専用仕様 ・押下圧45g:HHKBユーザーに評判の高い45gを採用 ・静音機能:HHKB Professional Type-S同等の静音機能を搭載 ・APC機能:スイッチのオン位置を3段階に変更可能 ・カーボン調デザインの専用LEDプレートを採用 ■ 静電容量無接点方式 ・長い時間使っても指への負担が少なく疲れにくいキースイッチ ・高速入力に適したキー形状 ■ かな無刻印の採用 ・かなの刻印のないシンプルで見やすいデザイン ■ 高い信頼性と優れた耐久性 ・5,000万回のキー入力耐久試験をクリア ■ PFU Limited Edition専用仕様 ・押下圧45g:HHKBユーザーに評判の高い45gを採用 ・静音機能:HHKB Professional Type-S同等の静音機能を搭載 ・APC機能:スイッチの
どうもです。メリークリマスマス!!! LightTableとQuilがなかなか良いねーって感じなので、そんで、簡単に紹介して、クリスマスツリーでも書きますかー、って書いてみました。 LightTableとQuil さて、まずは、LightTableですが、Clojureで書かれたエディタです。Clojureで書かれたエディタであって、リアルタイムにプログラムを評価して、実際に値を見ながら、ソースを編集できます。設定等もClojureで書かれており、僕はClojureを書くなら、このエディタを積極的に利用しています。(Emacsも使うけど) QuilはProcessingのAPIを利用する、グラフィックライブラリであり、Creative Codingでの利用など、アート系のプログラミングをするときに、良くつかわれる、ライブラリです。 環境構築 leiningenで手軽にプロジェクトを作れます
ちょっと前にkickstarterで20万ドルを集めて話題となったLight TableというIDEですが、順調に開発が進んでいてClojureアプリの開発に十分使えるレベルになっています。 完成したあかつきには、どういうライセンス体系になるのか不明ですが、現状は「Try the alpha」という位置づけで、自由に試してみることができます。 上記サイトから、Mac OSX、Windiws、Linux それぞれパッケージがあるのでダウンロードしてインストールします。 起動するとオシャレ感ただようウィンドウが開きますが、Clojureのコードを動かすために、バックエンドでJarファイルを取りに行ったりするので、プロキシ環境下で使う場合には、環境変数http_proxyとhttps_proxyを設定しておくとよいかと思います。 Clojureを試してみたい場合には、メニューのView -> C
#インストールする LightTableのインストール #テーマの変更 Settings: User behaviorsの中の:lt.objs.style/set-themeの値を変更します ##デフォルトで存在するテーマ ###3024-day ###3024-night ###ambiance ###base16-light ###base16-dark ###blackboard ###cobalt ###codemirror ###elegant ###erlang-dark ###eclipse ###ibdknox ###lesser-dark ###monokai ###midnight ###neat ###night ###paraiso-light ###paraiso-dark ###rubyblue ###solarized ###solarized-light #
千葉県市原市が生活保護受給者や身元が分からない人の遺骨57体を庁舎内のロッカーに保管していたことが同市への取材で判明した。保管が3年以上に及んだ遺骨もあり、同市は厚生労働省に「不適切だった」と報告。識者は「死者を冒とくする行為だ」と指摘している。【加藤昌平】 独り身で遺体の引き取り手がない生活保護受給者や身元不明者の遺体は生活保護法や墓地埋葬法などに基づき市区町村が火葬から埋葬まで行うことになっている。同市は斎場で火葬後、引き取り先を探す間、遺骨を庁内の一室のロッカーで保管。この部屋には就労支援員4人が常駐し、生活保護や就労支援の相談に応じ、ロッカーは入り口付近にあった。3カ月ごとに合葬墓に移すことになっていたが、2017年4月に担当者が代わった際に引き継ぎがなされず、庁舎内に保管され…
4. Different cars, same road 注) Rich Hickeyのスライドに大いに煽り成分を加えてあります。要は表面的な違いしかないってことです。 ● ● ● ● 多重継承もMix-inもインタフェースも大した違 いなんてねーよ 動的型付けだろうが、静的型付けだろうが、 ダメプログラマはゴミコードを書く 文末セミコロンもインデントスタイルもブ ロックも、個人の趣味でしかないって クロージャもインナークラスも大差ないっ て。Java8ラムダに何期待してんの? http://wiki.jvmlangsummit.com/images/a/ab/HickeyJVMSummit2009.pdf
目的 定理証明支援とは何かと現状の整理。 定理証明支援とは 定理証明支援とは数学の定理を自動で証明することではなく、ステップバイステップでコンピュータに命令を送り、数学の定理を証明するのを助けるシステムである。 支援だから意味ないということでなく、最近の数学の証明は長くなり証明の検証が難しいのを助ける意味がある。定理証明支援の意義についてはこちらが詳しい。 また、信頼性が求めらる難しいアルゴリズムの検証、たとえばTLS(暗号通信)やRaft(分散合意アルゴリズム)のサーバーに利用されつつある。 ここでいう定理は大げさなものだけでなく、$1+1=2$、$0何か=0$、$ab=b*a$といった簡単なものを証明しながらどんどん積み上げていく。通常のプログラムと違うのは証明であるので使用する変数が整数ならそのすべての値について成り立つ定理を証明する。 定理を証明するのに使うツールは下記である。(他
2. スクリプトファイルの作成 scilabを起動して入力してみると,一行ずつ実行されることがわかると思います。 実際に計算する場合に,毎回一行ずつ入力・実行するわけにはいきません(そんなめんどくさい…)。 そこで,スクリプトファイルを作成する必要があります。スクリプトファイルは通常のテキストファイルですので,ノートパッドや秀丸で作成してもかまいませんが,ここではscilab付属のエディタを使います。 scilabを立ち上げた後に,scipadと打ち込んで実行(Enterキーを押す)か,窓の上の方にあるEditorをクリックして下さい。そうすると下記のような窓が立ち上がると思います。これがエディタです。 ここにスクリプトを書き込んでいきます。入力例を示します。 入力した内容を実行するには,ExecuteメニューからLoad into Scilabを選びます。(下図) 実行された結果やエラー
仕事が合わなくなり50歳で早期退職、その後2年間は挫折の連続で苦しみましたが何とか独立、その時の経験を中心に「社会的弱者を応援する」記事を書いています。プロフィール 世の中には、風邪を引きやすい人、逆にほとんど風邪を引かない人がいます。 僕は小さいころから風邪をひきやすくて、ほぼ毎月のように風邪をひいていました(涙)。 そして一旦風邪にかかると、必ず長引きました。 なかなか治らないのです( ;∀;)。 風邪が治った!と感じるまでには、早ければ半月くらい、ひどい時は数か月以上もかかりました。 そんな時は、まったく自分が嫌になります(^^;)。 僕と同じように、 原因はよく分からないけどすぐ風邪を引いてしまう人、 そして風邪を引くとなかなか治らない人は、意外と多いですよね。 どうして風邪を引きやすいのだろうか? そう思って、僕はよくネットで情報を調べてきました。 ネットの情報には【対策】として
文 窪橋 子育てをしながら働いている、はてなブロガーの窪橋さん。就職、転職、結婚、出産といったさまざまな転機を経ながら、自分に合った働き方を探してきたこれまでについて振り返っていただきました。 *** こんにちは。「はたらく女性」カテゴリの端っこで細々と働いている、窪橋と申します。今はこんなことに携わっています。 在宅(業務請負、出来高制) アルバイト(雑務、時給制) 家庭内労働(夫との共同経営、たまに実家に外注) 子育て(同上、やりがい搾……やりがい) 「在宅+バイト」という働き方が特徴的かなと思います。流れ流れてこんな就労形態になったのですが、どうしてこうなったのか、ちょっと振り返ってみたいと思います。思い出話にお付き合いください。 振りカエル(言いたかった) 最初の会社で、細く長く働くつもりだった 大学を卒業後、就職氷河期の中で就活をしていた私は、やりたい仕事に就きたいなどという希望
はじめに 1章では、環境構築をしてきました。しかし、どのようなアプリケーションを作るか、何も考えていませんでした。基盤は整ったものの、何を作るか決めないことにはシステムは開発できません(当たり前)。そこで、本章は以下の順序で記述していきたいと思います。 要件の検討 システム構成の検討 不足していたライブラリ・ソフトウェアの導入 動作確認 まだまだタイトルのdockerに触れるには時間がかかりそうで、タイトル詐欺もいいところですが、是非一読ください。1章同様、指摘・要望お待ちしております。 辞書整理 本文章(第2章)を読む上で頭に入れておいたほうが良い文言をピックアップ。文中分からない文言が出たら見返してください。(不足あれば、コメントいただけたら追記していきます) スクレイピング WebページからHTMLデータを収集・抽出し、整形・加工すること。 似たワードにクローリングがあるが、クローリ
Intelがユーザーからの問い合わせに対し、他社にフラッシュメモリコンポーネントを販売はしているものの、「これらコンポーネントは(中略)intelの品質基準を満たしていません」「インテルの保証サービスまたはその性能と品質について主張なしで販売されています」と回答したという(@pana_junk_pcのTweet、@usagihoshiiのTweet)。つまり、Intelは社内の品質基準を満たさないフラッシュメモリを「Intelという名前を使うな」という契約で他メーカーに卸しているということのようだ。 昨今ではIntelのフラッシュメモリを搭載すると主張する廉価なSSDが出回っているが、こういったSSDに対しては品質に問題があるのではないかという指摘も出ている。今回挙げられているCOLORFULLはこういったメーカーの1つとして以前話題になったメーカーで、同社SSDはIntelのフラッシュメ
長崎県沖の端島の全景。軍艦のような姿をしていることから一般的には軍艦島と呼ばれている。© 2018 野口貴文 30年間の研究生活の大半を、古くなった鉄筋コンクリートの状態を診断することに、また「手術」を施すことでコンクリート建築を長生きさせることに費やしてきました。 そんな野口先生に7年前、長崎県のとある無人島にある、世界で最も劣化の進んだコンクリート建築の調査と修復に知恵を貸してほしいという依頼が舞い込んだ時、断る理由はありませんでした。 その島の名は端島(はしま)。鉄筋コンクリートの建物が詰め込まれた6ヘクタールの島が、軍艦のようなシルエットを呈していることから「軍艦島」と一般的に呼ばれています。 海底炭鉱を抱える軍艦島は1974年に無人島となり、そのまま放置されてきました。 住宅を含む木造の建物はすべて台風と高波で吹き飛ばされて消滅してしまいました。コンクリートの建物はかろうじて残っ
MT-WN1201E 価格比較 ホーム > パソコン > タブレットPC タブレットPC ノートパソコン 2in1タブレット > マウスコンピューター(mouse computer) タブレットPC > マウスコンピューター(mouse computer) ノートパソコン > マウスコンピューター(mouse computer) 2in1タブレット > マウスコンピューター(mouse computer) > MT-WN1201E マウスコンピューター タブレットPC > マウスコンピューター ノートパソコン > マウスコンピューター 2in1タブレット > マウスコンピューター 2018年 4月27日 発売 MT-WN1201E お気に入り登録 32 最安お知らせメールが受け取れます 2製品を比較(同じメーカー同時期発売) ショップが販売価格を掲載するまでお待ちください 価格推移グラフ
SSSS.GRIDMAN オタクたちは2018年後半に入り、グリッドマンとボンバーマンを性の対象とすることに夢中です。文章の意味がわからない方は、早急に下記のリンクから1話を視聴した後、ゲームセンターへ通って下さい。 個人的には、グリッドマンやボンバーマンを性的に見ていること以上に、ゾンビ同士がイチャついていると嬉しくなる方が異常事態な気がしますが。でも、ゾンビランドサガのキャラの掛け合い完璧なんですよね。脱線するので割愛しちゃいますが。 覚・醒 発売日: 2018/10/07 メディア: Prime Video この商品を含むブログを見る ・新条アカネ 閑話休題。グリッドマンのヒロインの一人に「新条アカネ」ちゃんなるキャラクターがいます。 作中の描写から見て、登場人物で最も相貌(かお)が良いとされているのが彼女です。恐らく現在SNS上で最もえっちな画像が生産されている速度が早いのも彼女で
iPad Pro (2024) review: So very nice, and so very expensive
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く