2017-01-01から1年間の記事一覧

Docker for Windowsでカレントディレクトリをボリュームにマウントする

概要 Docker for Windowsではpwd(または Get-Locationコマンドレット)で取得したWindows表記の絶対パスがLinux表記に読み替えられるので、pwdでディレクトリ指定可能 ただし、ホスト側ドライブのマウント許可が必要 手順 ホスト側ドライブのマウント許可 …

Windows10とUbuntu16のデュアルブート環境構築 GPUあり、UEFIモード

はじめに Windows10とUbuntuのデュアルブート環境を構築しようとしても、以下が問題になってうまくいかないことがある。 GPU UEFI これらを回避しつつインストールする方法の説明 目標 Windows10・Ubuntu16 のデュアルブート環境 Windows10がインストールさ…

Cloud9のNode.js環境でkeras-jsのデモをビルドする

※Node.jsの基礎知識があれば特別な操作は必要ないです。 Nodeは初心者でビルドの仕方がわからなかったので、備忘として残します。 概要 keras-jsはブラウザ上でkerasモデル(ニューラルネットモデル)を実行できるライブラリ、GPUも利用できる。 GitHub - tr…

SuperDevModeでデバッグしているがページ右下にリロードボタンが表示されないとき

GWT

http://localhost:9876/ にアクセス ページの内容に従い、「Dev Mode On」のブックマークレットをブックマークバーに登録 該当ページで「Dev Mode On」を実行 (「Can't find any GWT Modules on this page.」と表示される) ページ再読み込み これをしなか…

GWTでString.format("%.2f",value)をしたい

概要 JavaでDoubleの桁数を制限してStringに変換するときは //double値を小数点2桁でStringに変換 String.format(“%.2f”,value) とするが、GWTのJRE EmurationはString.format()に対応していない 参考:http://www.gwtproject.org/doc/latest/RefJreEmulati…

GWTアプリでキーボードショートカットを設定

概要 キーボードショートカットを実装するには、画面のどの要素がアクティブな時でもキーイベントをハンドルする必要がある。 widget.addKeyDownHandler(...)では実装できない。EventクラスにNativePreviewHandlerを追加することで実現する。参考:https://g…

GWTとBootstrapの併用でレスポンシブWebデザイン

概要 GWTとBootstrap3でレスポンシブWebデザインをするときのサンプルと注意事項GWTBootstrapなるオープンソースもあるけど日本語資料が少ないので今回は使用しない。 GWT-Bootstrap メリット javaコードに画面のレイアウト情報が入ってこないので、ビジネス…