タグ

2018年7月19日のブックマーク (6件)

  • How to downgrade a package via apt-get?

    How can I downgrade a package to an older version via apt-get? Other tools are also acceptable but apt-get is preferred.

    How to downgrade a package via apt-get?
    takc923
    takc923 2018/07/19
  • How to install specific version of some package?

    Stack Exchange Network Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers. Visit Stack Exchange

    How to install specific version of some package?
    takc923
    takc923 2018/07/19
  • 東京23区、全面ドーム化へ エアコン完備「全天候型都市」目指す

    東京23区内を超巨大ドームで覆い、内部温度をエアコンで調整する計画があることが、関係者などへの取材で18日までにわかった。早ければ8月にも着工し、20年7月までの完成を目指す。完成すれば、天候に左右されない「全天候型都市」として快適な市民生活が期待できそうだ。 都の都市計画関係者が明らかにした。ドームの直径は約20キロで、23区の大半を覆うものになる見込み。ドーム内部には巨大エアコン50万台を設置。ドーム外に排熱することで、内部の温度・湿度を適切に管理する。 急な着工に踏み切る理由は、異常とも言える近年の酷暑だ。都内では連日30度を超える暑さが続き、毎日多くの人が熱中症で病院に搬送されている。中でも都にとって深刻なのは、20年7月24日から8月9日まで開催される東京五輪・パラリンピックだ。メイン会場となる新国立競技場付近の気温は40度近くに達しており、暑さ対策が喫緊の課題となっていた。 新

    東京23区、全面ドーム化へ エアコン完備「全天候型都市」目指す
    takc923
    takc923 2018/07/19
  • News Up うなぎ絶滅キャンペーン!? | NHKニュース

    ことしも僕たち、うなぎにとってちょっと憂な季節がやってきました。それは「土用の丑の日」。みんなが僕たちをべたいという気持ちはわかるけど、あまりの人気ぶりで数が減って絶滅危惧種にも指定されている微妙な状況だからです。さらに衝撃的なのはツイッター上に「うなぎ絶滅キャンペーン」というなんとも怖いアカウントが現れ注目されていることなんです。(ネットワーク報道部記者 飯田耕太 宮脇麻樹) そのアカウントが登場したのは7月5日。「2018年の土用の丑の日は7月20日(金)と8月1日(水)です」と高らかに宣言するとともに、レストランやファストフードチェーンがこの時期提供するおいしそうなうなぎのメニューの写真を次々と掲載しました。 そして、「うなぎを安く大量にべつくしましょう!」と呼びかけているのです。 僕は戦慄を覚えました。名はニホンウナギ。4年前、大西洋クロマグロと同じランクの絶滅危惧種に指定

    News Up うなぎ絶滅キャンペーン!? | NHKニュース
    takc923
    takc923 2018/07/19
  • とある517桁の素数 - INTEGERS

    この記事は非公開化されました。 integers.hatenablog.com 非公開前の内容要約: ある517桁の素数の紹介。 この記事の内容は部分的に書籍『せいすうたん1』の第12話に収録されています。 integers.hatenablog.com

    とある517桁の素数 - INTEGERS
    takc923
    takc923 2018/07/19
  • Archived MSDN and TechNet Blogs

    If you were looking for MSDN or TechNet blogs, please know that MSDN and TechNet blog sites have been retired, and blog content has been migrated and archived here. How to use this site Archived blogs are grouped alphabetically by the initial letter of the blog name. Select the initial letter from the TOC to see the full list of the blogs. You can also type the name of the blog or the title of the

    Archived MSDN and TechNet Blogs
    takc923
    takc923 2018/07/19