はてなブックマーク

はじめに Qiita運営が、Qiita 10周年記念イベントの一環として、「10年前の自分に伝えたい、勉強しておきたかった技術」を募集していました。 私も直近10年を振り返って、 過去10年の間に生まれ、現代では欠かせないものとなった技術 10年間の技術 10年前に勉強していて、今も活用できている知識 を考えてみたいと思います。 10年間の技術 この10年間に登場したエポックメイキングな技術を振り返りたいと思います。 2013年 Docker登場 2013年に、コンテナ型仮想化ツールのDockerが登場してから、あっという間に世界中で使われるようになりましたね。 コンテナ型仮想化ツールのDockerとハイパーバイザー型仮想化のVMWareの過去10年間の検索件数をGoogle Trendsで比較してみると、 日本の検索件数 全ての国の検索件数 出典：Docker, VMware Works

はじめに Linuxが普及してきたので、ウイルス対策なしのノーガード戦法は怖い。 無料のウイルス対策ソフトのClamAVを入れておこう。 環境 動作環境は以下の通り。 $ cat /etc/os-release NAME="Ubuntu" VERSION="20.04.2 LTS (Focal Fossa)" ID=ubuntu ID_LIKE=debian PRETTY_NAME="Ubuntu 20.04.2 LTS" VERSION_ID="20.04" HOME_URL="https://www.ubuntu.com/" SUPPORT_URL="https://help.ubuntu.com/" BUG_REPORT_URL="https://bugs.launchpad.net/ubuntu/" PRIVACY_POLICY_URL="https://www.ubuntu.co

事象 Ubuntu 20.04 でGoogle Chromeでキーボードをタイプするたびに、/var/logs/syslogに"google-chrome-stable has no capability of surrounding-text feature"ワーニングが出力される。 May 24 20:07:29 <server_name> gnome-shell[73920]: (google-chrome-stable:73901): IBUS-WARNING **: 20:07:29.454: google-chrome-stable has no capability of surrounding-text feature May 24 20:07:32 <server_name> gnome-shell[73920]: (google-chrome-stable:73901)

はじめに Web API成熟度モデルについてまとめる。 Web API成熟度モデルを解説した日本語のサイトはすでにいくつかある。 RestfulなAPI RESTとは何か しかし、これらのサイトで解説されているモデルは2009年にRichardson氏が提唱したRichardson Maturity Model(RMM)だけ。 実は、2017年にAmundsen氏が新たな成熟度モデル、Web API Design Maturity Model(WADM)を提唱している。Amundsen氏は、O'REILLYでMicroservice Architectureを上梓した方で、マイクロサービスにも造詣が深い。 ここでは2つの成熟度モデルを紹介し、その違いをまとめる。 Richardson Maturity Model Richardson Maturity Model(RMM)は、文字通りRi

TecoGANとは TecoGAN(TEmporally COherent GAN)は、動画向けの超解像アルゴリズム。 名前の通り教師なし学習の一種のGANを動画に適用したもの。 元ネタの論文は以下。 TecoGANを簡単に試せるOSSがGitHub上で公開されているので実際にやってみた。 インストール CUDA 公式サイトからCUDAをダウンロードしてインストール。

概要 自宅サーバのセキュリティチェックをして見た。 脆弱性診断ツール nikto niktoは、Web アプリケーションセキュリティスキャナー。 $ sudo apt install nikto -y $ nikto -h localhost - Nikto v2.1.5 --------------------------------------------------------------------------- + Target IP: 127.0.0.1 + Target Hostname: localhost + Target Port: 80 + Start Time: 2019-08-23 22:26:00 (GMT9) ---------------------------------------------------------------------------

オフライン環境構築 目次へ 概要 はじめに オフライン環境でフロントエンド及びバックエンド（java）開発用のリポジトリを構築する手順を示す。 リポジトリマネージャの選定 オフラインリポジトリを構成するツール（以降、リポジトリマネージャ）として著名なものはSonatype Nexus、Apache Archiva、JFrog Artifactoryの3つがある。 Google トレンドで「Apache Archiva, sonatype nexus, jfrog artifactory - すべての国、過去 12 か月間」の 人気度の動向 を見る - https://t.co/3bb4CxYQZR — kannkyo (@kannkyoshi) 2018年2月18日 以下の比較を見ると、このうちOSS版でフロントエンド開発に対応しているものはNexus3だけであることがわかる。 アーティフ

1. Spring Bootとは Spring Boot では、本番に対応可能なスタンドアロンの Spring ベースのアプリケーションを簡単に作成して、「そのまま実行」することができます。私たちは Spring プラットフォームとサード・パーティーを私たち自身の主張に基づいた見解で捉えることにより、最小限の手間でアプリケーションの作成に取り掛かれるようにしています。- Spring Boot の基礎 2. 特長 スタンドアローンなSpringアプリケーションを作る。 Tomcat, Jetty 又は Undertow ディレクトリを組み込む。（warのdeploy不要） Mavenのコンフィギュレーションを簡素化するための自律的スタータを提供する。 できうるかぎりSpringを自動設定する。 メトリクス、ヘルスチェック、外部化されたコンフィギュレーションのような実用的な機能を提供する。

概要 なんで今さらFPGA ここ数年で以下のような動きがあり、FPGAがCPU,GPUに並ぶ処理系の選択肢の1つに入ってきた。 AIブームとNVIDIAのGPGPUの台頭 IntelがNVIDIAに対抗してFPGAメーカのAltera買収 MicrosoftとGoogleがFPGAをデータセンタのサーバに導入 Amazon Web ServiceのEC2でXilinxのFPGAの提供開始 しかし、ぐぐって勉強しようとすると、以下の難しさがあった。 レガシーなFPGAの情報と新しい話が混在している ソフトウェアエンジニア向けの情報が少ない 資料が英語そして英語 ということで情報をまとめる。 FPGAとは FPGAとは、Field Programmable Gate Arrayのことらしい。 ナンノコッチャ。 要するにフリップフロップ（Gateと呼ばれる）が大量に集まった集積回路（Array）

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 概要 星の数ほどあるOSSから適切なものを選択することは難しい。しかし、方法さえ知っていれば人気OSSのトレンドを知ることはたやすい。ここではOSS選択の一助とするために、OSSのトレンドの調べ方を整理した。 OSS関連用語 OSS関連の用語。 FOSS : Free/Open Source Software フリーソフトウェアとOSSの総称。 OSS : Open Source Software ソースコードを公開、配布しているソフトウェアのこと。公開、配布の条件は問わない。このため、商用不可、再配布禁止などの様々なライセンス形態を取

Alloyとは Alloyとは、「ソフトウェアのモデル化のためのオープンソースの言語およびアナライザ」であり、「セキュリティホールの発見から電話交換ネットワークまで、幅広く応用」される。 Alloy is an open source language and analyzer for software modeling. It has been used in a wide range of applications, from finding holes in security mechanisms to designing telephone switching networks. - Alloy - Website Alloyは、形式手法の困難さを克服するために、ある種の制約を仮定する代わりに表現力と自動検証能力を両立した「軽量形式手法（Lightweight Formal Met

フロントエンド開発に供するツールがたくさんあって位置づけがよくわからんので、整理してみた。 環境構築 Bootstrapping tool VirtualBox, Docker Vagrant, HashicorpのBox サーバOSの設定や仮想マシンによるサーバ立ち上げの自動化に関するツールのこと。VirtualBox とVagrantやDockerは直接仮想サーバを構築できるが、VagrantはVirtualBox とVagrantやDockerのラッパーであり、直接仮想サーバを構築することはできない。また、Vagrantはウェブ上からHashicorpに登録された仮想イメージを自動的にダウンロードし、VirtualBox とVagrantやDockerを自動操作して仮想サーバを構築することができる。 Configration Ansible, Ansible Galaxy サーバやミ

形式手法概論 形式手法関連のリンク集 ディペンダブル・システムのための形式手法の実践ポータル 中島震, 形式手法入門―ロジックによるソフトウェア設計―, オーム社, 2012 赤間世紀, 形式手法教科書, I・O BOOKS, 2012 IPA, 形式手法活用ガイドならびに参考資料, 2012 ディペンダブル・システムのための形式手法の実践ポータル 吉川健, JAXAにおける形式手法に対する取組み ～ソフトウェアIV&Vにおける形式手法の活用事例～, 2012 数理論理学関連のリンク集 オンラインで入手できる数理論理学・数学基礎論のテキスト Event-B Event-Bとは以下のような形式手法である。 Event-B is a formal method for system-level modelling and analysis. Key features of Event-B ar