macOSでDockerを使って簡単にTOPPERS/EV3RTのビルド環境を構築する
はじめに 本稿はLEGOマインドストームで、リアルタイムOSであるTOPPERS/EV3RT用のプログラムをビルドする環境をmacOSでDockerを使って簡単に構築するための方法を記しています...
7
6
Comment1
13 search resultsShowing 1~13 results
Stocked
You need to log-in
DockerでらくらくLaTeX環境構築
はじめに 卒論を書くために、MacでLaTeX環境の構築を行っていましたが、フォント周りの問題でうまくコンパイルできなかったため、Dockerを用いてLaTeX環境の構築をしようと考えました。 ...
111
98
Comment0
PostgreSQLコマンドチートシート
よく使うPostgreSQLで利用可能なコマンドのチートシートです。 環境：psql (PostgreSQL) 9.5.0 端末上で使うコマンド サーバの起動 $ pg_ctl start -D...
557
607
Comment1
Windows10 HomeでDockerを使って簡単にTOPPERS/EV3RTのビルド環境を構築する
はじめに 本稿はLEGOマインドストームで、リアルタイムOSであるTOPPERS/EV3RT用のプログラムをビルドする環境をWindows10 HomeエディションでDockerを使って簡単に構...
13
20
Comment0
[Bash on Windows] ev3rt開発環境をWindowsで作る2
はじめに [Bash on Windows] ev3rt開発環境をWindowsで作る1の続きです。今回はEV3をC/C++で動かすための環境を構築します。 [2018/01/17 追記] Wi...
5
3
Comment0
[Bash on Windows] ev3rt開発環境をWindowsで作る1
はじめに 今回はWindowsでBashを使えるようにします。 [2018/01/17 追記] Windows10 HomeでDockerを使って簡単にTOPPERS/EV3RTのビルド環境を構...
2
0
Comment0
[Python3] サーバ上でウェブページのスクリーンショットを撮って、さらにそれをクロップする
はじめに やりたかったこと heroku上でWebページのスクリーンショットを取得して、HTML要素でクロップしたい。 問題点 seleniumでPhantomJSを動かす場合、要素の位置のロケ...
21
26
Comment0
VDM++における型定義
はじめに VDM++は形式仕様記述言語と呼ばれる言語で、形式手法を適用するために用います。 VDM++についての詳しい説明はこちら 本記事は型定義に関してのまとめです。 型定義 VDM++はプロ...
5
4
Comment1
DjangoアプリをHerokuにデプロイする[その2]
はじめに DjangoアプリをHeroku上で動かすときの備忘録として記録する。 その2ではDjangoアプリの管理ページを使えるようにし、モデルの作成、操作を行う。 前回 Djangoアプリを...
9
23
Comment0
DjangoアプリをHerokuにデプロイする[その1]
はじめに DjangoアプリをHeroku上で動かすときの備忘録として記録する。 その1ではDjangoアプリのスタートページ(It Workのページ)をHerokuで表示するところまでやる。 ...
82
119
Comment0
brewでGitressをインストールする方法とglコマンドが使えない問題の解決策
はじめに Gitlessはgitの仕組みを簡単にするために作られたCUIツールです。 詳しくはGitless公式サイト(英語)または、gitをシンプルでわかりやすくするツールGitlessの紹介...
1
0
Comment0
gitをシンプルでわかりやすくするツールGitlessの紹介[和訳]
gitについていろいろ調べていたら、Gitlessというgitのわかりにくい部分をシンプルにするツールを見つけましたが、日本語ドキュメントが現在(2017/02/19)さっぱりなかったので、勉強...
8
8
Comment0
[C/C++]プログラムにコマンドラインからUNIX風のオプションを渡す方法(getopt関数)
はじめに 自分で作ったCのプログラムにUNIXライクなオプションを与えて動作を変えたいと思ったことはないだろうか？ おそらくまず思いつく方法がコマンドライン引数(main関数に渡す引数のこと)を...
77
70
Comment3
13 search resultsShowing 1~13 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles