wassup?
TODO多めのまま公開します。別に書いてた下書きが消えたので。 定理証明のコンテストシステムを作って、今日の夕方に第1回のコンテストを開催していた。https://t.co/8vi0dWszRW— あしぃ (@asi1024) 2019年8月18日 これです。 定理証明コンテストとは, 定理証明支援系を用いて与えられた定理に対して証明を与えるコンテストです。 現在コンテストサイトに実装されている支援系はCoqです。 Coqで解く問題の見た目はこんなかんじです。 Definition task := forall n m, n * S m = n + n * m. Theorem solution: task. Proof. unfold task. (* FILL IN HERE *) Qed. これはn×(m+1)とn+(n×m)が任意の自然数n,mについて等しいことを示せというものです
完成形 経緯 プログラム経験がないアプリケーションエンジニアだが、僅かなプライドからプログラム教室に通わず、Youtubeの動画にてPythonを学び始めた。 その中でTwitterAPIを説明した動画を視聴し、同時期にデビューが決まったにじさんじのタレント7名のフォロワー数の推移を表せれば面白いと考えた。 プログラム経験がなく、興味の赴くままのコードを使用しての記述のため、ソースコードにてお作法が守れていない、迂遠なロジックな部分が多々ある。 作成版→修正版→習熟版とソースを更新していき、自分の学習段階を図測るものとして使用したい。 使い方 ①main.py にてTwitterAPIをたたき、ユーザー情報、フォロワー数などを取得し、niji_count.xlsx に更新する。 ③test.py にてniji_count.xlsxを参照し、にじ新人ツイッターグラフ.pngを作成する。 ③m
アイコンフォントを試してみました | wald-grun
アイコンフォントとは、一応書いておくとアイコンをフォントデータ化して、サイトのアイコンをウェブフォントで表示するやり方及びそのフォントのこと、と理解しています。 まずはアイコンデータが含まれるウェブフォントを用意する必要があります。本来はそのデータを作成するところからなのですが、アイコンを選択してフォントデータにして利用できるウェブサービスがいくつかあるので、それを利用しました。 今回利用したのは以下のサイトです。（日々チェックしているphpspot開発日誌さんで紹介されていました。） Create Your Icon Fonts – Free icon Vectors – Fontastic こちら、アクセスしてメールアドレスとパスワードを登録すると、すぐにアイコン選択画面が表示されます。 アイコンの作者ごとに一覧で表示されており、各アイコン群の右上（赤枠）にライセンスについて書いてあり
1 ：名無しさん＠お腹いっぱい。：2015/02/17(火) 13:35:14.21 ID:D7asMS8F0 専用ブラウザを作る訳じゃないから問題なし 2 ：名無しさん＠お腹いっぱい。：2015/02/17(火) 13:37:41.60 ID:FnpFJPOQ0 すべては終わりの始まりが始まってから 3 ：名無しさん＠お腹いっぱい。：2015/02/17(火) 14:03:37.12 ID:41fzODbV0 普通に「したらば用」のスクレイピングツールを作ればよくね 専用じゃなきゃいいっぽいし 4 ：名無しさん＠お腹いっぱい。：2015/02/17(火) 14:06:10.39 ID:DkiqvBEU0 2ch放棄した方がマシでは 5 ：名無しさん＠お腹いっぱい。：2015/02/17(火) 15:22:27.10 ID:xNg1dS/z0 >>1 もうすでに作っている人がいる件 ためし
『Amazon Kindle 2 導入。』
Forlyの徒然日記 Forlyという、プロ野球とWRCと気まぐれなドライブをそれなりに愛するユルイ人のブログ。 僕は昔から電子ブックに肯定的、というか趣味的にかなり電子ブックに入れ込んでまして、以前MI Zaurusを使っていたときはそれはもうブンコビューア＋Sharp Space Townブックスなんかでガリガリ本を買って読んでました。 今でも、携帯電話を機種変すれば最初に入れるアプリは青空文庫ビューアだし、PDAも、やっぱり購入して最初に漁るアプリはスケジューラと青空文庫ビューアです。 本っていうのは勿論、書籍の形で購入する方が所有欲も満たせますし、なにより「紙のページをめくって読む」あの感覚がなにより大好きなんです。 なんですが、問題なのは可搬性。 2～3冊の文庫本でも、一緒に持ち歩くとなると通勤では不便。 自宅で休日にゆっくりとソファに腰掛けて読む、ってならもちろん紙の書籍ですが
フォント情報から文字コードを得る方法です。 まず、Font情報はそのフォントを使用するページのResourceとして登録されているので、その情報を取り出します。 CGPDFPageRef page; // page ページオブジェクトを取得。。。 CGPDFDictionaryRef pageDict = CGPDFPageGetDictionary(page); CGPDFDictionaryRef resourceDict = NULL; CGPDFDictionaryRef fontDict = NULL; // フォント辞書をスキャン if(CGPDFDictionaryGetDictionary(pageDict, "Resources", &resourceDict ) ) { if(CGPDFDictionaryGetDictionary(resourceDict, "Fon
90度回転方式の縦書きテスト
90度回転方式の縦書きテスト ボックスの回転{transform: rotate(90deg)}と縦書きフォント指定{font-family: "@メイリオ"}により、縦書きに見せます。（Windows版のSafari、Chrome、Operaで確認） 縦中横も、平成22年6月15日のように可能です。 生麦生米生卵。赤パジャマ黄パジャマ茶パジャマ。坊主が屏風に上手に坊主の絵を描いた。隣の客はよく柿食う客だ。にわの庭には二羽の鶏は鰐を食べた。東京特許許可局長今日急遽休暇許可拒否。 ここは引用ブロックで２字下げ{margin-left: 2em}。生麦生米生卵。赤パジャマ黄パジャマ茶パジャマ。坊主が屏風に上手に坊主の絵を描いた。隣の客はよく柿食う客だ。にわの庭には二羽の鶏は鰐を食べた。東京特許許可局長今日急遽休暇許可拒否。骨粗鬆症訴訟勝訴。
システムフォントの変更(2)
さて、システムフォントの大部分を「メイリオKe」に置き換えた、うちと会社のパソコンだが、とくに会社では、「MS *ゴシック」系は既存文書で多く使われているため、すべてを「メイリオKe」系にしてしまうのはかなりの問題があり、泣く泣く、置き換えは「MS UI Gothic」のみとしていたのが現状。 このメイリオ系は、UXGA（1600×1200）など、できるだけピクセルサイズの細かい液晶モニタと「ClearType」の組み合わせで最高の威力を発揮する。とにかく非常に読みやすくて、一度これに慣れてしまうと、普通のMSゴシック系でフォント指定されたサイトやソフトを開くと、あまりに汚くて気分が萎えてしまうほど。たとえば、Operaなんかは、どうやってもフォントをメイリオKeに変更できない。 こうなると、なんとかしてMSゴシック系フォントを、最も影響の少ない方法でClearTypeに対応させたいのだが
セイコーインスツルメントの電子辞書、SR-G9003 を買ってみました。 リンク: SR-G9003－セイコーインスツル株式会社 "うんのさんの辞書"（Project-Pothos.com）が搭載された初めての電子辞書として、ちらほらと話題になっていますが、私としては以前にも触れたことがある PASORAMA（# 辞書やテキスト入力まわりに好ましい傾向が続く）を使ってみたいという動機もありました。 話題の "うんのさんの辞書"（第 5 版）はもちろんもう持っていて EPWING 環境で使用しているので、搭載コンテンツとしては必ずしも目玉があるわけではないのですが、 - 研究社 新編 英和活用大辞典 - 研究社 ルミナス英和辞典2版 - 岩波書店 岩波理化学辞典 第5版 が、いずれも導入していない辞書でした。そのほか、Concise Oxford Dictionary も電子辞書としては珍し
さっそく初回はCREAMU様で拝見した、 「普段使われないが、これは使うべき！フォント８選」 をお送りいたします。 以下に、フォントを適用した実例を挙げてみます。 無事表示された人はおめでとう！表示されなかった人は、くじけずにがんばってください！ ちなみに私の環境では運よく、ほぼすべてのフォント指定が反映されました。 Windows、Mac普及率70％以上のもの Palatino Linotype / Palatino Tahoma Impact Arial Black Arial Narrow Windows中心のもの Century Gothic Mac中心のもの Copperplate / Copperplate Gothic Light Gill Sans / Gill Sans MT Arial Brackは目にしたことのある方も多いんじゃないでしょうか。 ちなみに、フォントを変
Apple、Webサイトのフォントを「San Francisco」に変更 | Apple | Mac OTAKARA
※本サイトは、アフィリエイト広告および広告による収益を得て運営しています。購入により売上の一部が本サイトに還元されることがあります。 Appleが、同社のWebサイトフォントを「Myriad」から「San Francisco」に変更しています。 ページソースを確認すると、スタイルシートのフォント指定が「family=Apple+TP ;v=4」「family=Apple+Icons ;v=1」から「fonts?families=SF+Pro,v1|SF+Pro+Icons,v1|SF+Pro+JP,v1」に変更されているのが確認できます。 このSan Franciscoフォントは、Apple Watch用に開発され、現在は、iOS 10、macOS Sierraでも採用されています。
[Safari 6] Safari 6 CSS Overwrite - Safari 6でフォントの設定を変更する方法
[Safari 6] Safari 6 CSS Overwrite – Safari 6でフォントの設定を変更する方法 Pocket Tweet Mountain Lion出ましたね。もちろん入れました。その日にサクっとMacBook Air初期化してクリーンインストールぶっこきました。概ね快適なんですが、いくつかアレゲな点もありますね。その中でも特に困ったのが「Safariの環境設定内から表示パネルが消えてる！！」という点。いやこれ困りました。表示パネルがないとSafariの標準フォントを変更できない。となるとフォント指定のないサイトでは日本語が明朝体になってしまう・・・。個人的にかなり気持ち悪いので、CSSを置き換える手法で対応しました。力業ではあるけどわりとサクっと変更できました。 なんつーか。 便利になるのはイイし、Safari 6も実際良くなった点の方が多いんだけど、なんかこう仕
NGUI 攻撃ダメージ表示の作成
ゲームを作成すると必須になってくるのがダメージ表示。ドラクエ風でいえば「ゆうじは10のダメージ！」ってやつだね。最近だとキャラクターの上にダメージの大きさが表示されて何秒後かに消える。 NGUI作者はWinwardというゲームを別に開発していて、NGUI使ってダメージの大きさ表示している。今回はそのツールの説明を翻訳してみた： July 12, 2012, 02:32:39 AM http://www.tasharen.com/forum/index.php?topic=997.0 どんな内容？ 一番簡単な使い方はゲームのWarcraftで出てくる攻撃ダメージテキスト。数字がポップアップして、飛んでいくやつ。違うところは数字が加算される（一秒間の間）ことと、プラス値とマイナス値を別に扱えること。 つまりダメージとヒットを自分でスクリプト工夫せずに表示できるってこと。 テキスト表示にも使えて
概要 PDFファイルの結合、追加、分割、抽出、削除、回転、セキュリティ設定、プロパティ設定、ヘッダー・フッター設定、しおり追加ができます。 画像ファイル、WebページのPDFへの変換も可能です。 ソフトの動作には .NET Framework 3.5 が必要です。 このソフトを作成するにあたって次のライブラリを利用させていただいております。 itextsharp.dll http://itextsharp.sourceforge.net/ dllの変更はしておりません。 ダウンロード pdf_as (621988 ダウンロード ) 更新履歴 Ver 1.00 リリース版です。Ver 1.01 ・複数の画像を１つのPDFに変換できるようになりました。 ・ページ番号を追加できるようにしました。Ver 1.02 ・ページ番号を追加する際に任意の文字列をセットできるようにしました。Ver 1.03
グラフの例：男女別睡眠時間の推移
平成18年社会生活基本調査 の「生活時間編・時間帯編・平均時刻編」の「結果の概要」のp.8にあるデータです。ここで 7.56 などとあるのは 7+56/60 の意味です（誤解を避けるために 7:56 などと書くほうがいいでしょう）。「15歳以上」とのことですが，睡眠時間は年齢に依存するので，日本人の年齢分布が時間とともに変われば，それだけで睡眠時間の平均値は変わってしまうので，このようなグラフは注意して見なければなりません。 # par(family="HiraKakuProN-W3") # Macでのフォント指定 par(xpd=TRUE) # プロットエリア外に text() を描く par(mgp=c(2,1.8,1)) # 軸マージン（デフォルト: c(3,1,0)） par(las=1) # 縦軸の文字を横向きにしない 睡眠時間 = data.frame( 年=seq(1986,
メイリオ使ってみました。 その2
昨日紹介したWindows Vistaから標準となるメイリオフォントですが、一日使ってみた感想はすげーー（・∀・）ｲｲ!! フォント指定されてるページや、MSゴシックを前提で整形されているようなページだと効果無いですが、基本的にはかなり見やすいです。 すべてアンチエイリアシングがかかるので重くなるかなぁ・・・と思いましたが、気になるほど重くはなりませんでした。 参考 フォントのインストール方法 IEの日本語表示でもClearTypeの恩恵に浴する
MiC Factory／BINGO Machine
MiC BINGO v3.1 バージョンアップ情報 2006.12.10 V3.1 NEW! ・最大数の変更（9999まで対応） ・選択中などにボタンを操作できないように変更し誤動作の防止 ・景品選択ボタンが「スペース」「esc」キーでも動作（番号選択は「return」キーで動作します。） ・各種設定を設定画面に集約 ・その他文字サイズなどを微調整 2006.08.13 V3.0 ・背景色の設定が可能に ・景品紹介時方法の追加 ・番号選択時方法の追加 ・インターフェースの変更 ・添付画像の追加 ・設定変更してもゲームを継続できる 2006.01.01 V2.0 ・結果の表示数の変更 ・最大数の変更（999まで） ・インターフェースの変更 2005.11.13 V1.1 ・サウンド機能の追加 ・自動番号選択機能の追加 ダウンロード（最新版） BINGO
こんばんは、さじです。 CSSのフォント問題の考察です。 Adobeなどで契約しておりますと ちょいちょい出てくるキーワードが「Webフォント」。 見る人側の環境に委ねることなく、 制作側が意図した見た目でお届けすることが できるようなのです。 が、大体こういうのって有料なんですよね。 無料でGoogleのWebフォントもあるのですが うーん。。初心者（自分）にはわかりにくい？ 昨日のCSSのグラデーション文字、 もっと綺麗にグラデを出したいので 太いフォントを使いたかったのです。 が、Adobeのwebフォントを使ってしまうと これを誰かにコピペして使わせることは おそらく出来ない。。ということがネックでした。 webフォントじゃない、普及されているフォントのまま サイトに使うことを前提に今回は考えます。 昨日の時点ではこのテーマのデフォルト指定の ヒラギノ角ゴシックのboldを使用して
最近やっとOperaが調子よくなってきて以前の高速Operaが復活しつつある。そういえばOpera9.5に9.6を上書きインストールしてしまった記憶があるなぁ。あれが不調の原因だったんだろうか。opera:config#UserPrefs|IgnoreTarget （a要素のtarget属性を無視）を見たら、いつのまにかチェックが外れていたし… 話は変わって、２ちゃんねるで見つけたレス。 42 名無しさん＠お腹いっぱい。 [sage] Date:2009/02/14(土) 05:49:20 ID:MqvSEm8/0 Be: ver.9.5 くらいからかな， ニュースフィード(RSS) の本文フォントが固定(MS Pゴシック) で変更できないのって， 回避手法あります？ MS Pゴシック 嫌いなんで，メイリオ に したいんだが． 昔は 確か ニュースフィードも フォント指定 効いてたよな？
iTunes 9になってから iTunes Store を見てるとフォントが下の画像のように見づらくなってしまいました。何故こうなるのかというと iTunes Store が「MS Pゴシック」というフォントを、フォント指定の先頭で指定しているのが原因のようです。ちなみにこのフォントは Microsoft Office をインストールすると一緒にインストールされます。 最近は困ったことがあったらまず Twitter につぶやいてアドバイスを頂いていたので、この件についてつぶやいてみたところある方から解決方法を教えていただくことができました(^_^) その解決方法とは Font Book で「MS Pゴシック」を取り除くか、使用停止にするというものでした。 フォントを取り除くのはちょっと嫌だったので使用停止にして、もう1度 iTunes Store を見てみたところ下の画像のように非常に見や
フォント（覚え書き） - you/uni/ps
home / uni / ps / font PostScript言語 / フォント ちょっとした覚え書き。 ●フォントは辞書だ GS>/MS-Gothic-90ms-RKSJ-H findfont Loading a TT font from /cygdrive/c/windows/fonts/msgothic.ttc to emulate a CID font MS-Gothic ... Done. GS<1>pstack -dict- GS<1> ●指定したフォントがあるかどうか？ GSにしろDistillerにしろ、findfontが指定したフォントを見つけられなくてもデフォルトではエラーになりません。 一生懸命置き換えようとします。 でも指定したフォントがきちんとあるかどうか確かめたい場合もあるわけで。 そういうときはfindfontして/FontNameを調べます。 GS>/M
iOSのアクセシビリティではフォントサイズや画面の拡大などが可能です。 通常のアプリだと考慮しなくても大した問題にならないかもしれませんが、高齢者向けのサービスなどだと、利用ユーザーがフォントや画面の拡大率を設定している可能性があり、UIの崩れの原因となってしまいます。 逆に、フォントを大きくしたい大きく表示させたいユーザーに対して、その機能を制限してしまう場合もあります。 今回、この問題の仕様や対応策を考える機会があったので記事にまとめました。 フォントサイズの拡大とは？まずはフォントサイズの拡大機能についてです。 iOSの 設定 ＞ 画面表示と明るさ ＞ 文字サイズを変更 をタップすると出てくる端末のフォントサイズを全体的に拡縮できる機能のことです。 Apple公式のガイドさらに詳しく設定画面を見ていきましょう。 こちらはiOS15のアクセシビリティのフォント拡大メニューです。 7段階
私的なSmartphone備忘録
エコポイント狙って昨年度末に買った 日立のWooo P42-XP05（プラズマ42インチ） PCの動画もDLNAで見られると言うことだったが 当然？見られるフォーマットは限られてるので 変換作業が必要になった。 使うのは以下のフリーソフトのみ ・XMedia Recode が、なかなか上手くいかない うまく出来たって設定の一部を見かけることはあるのだが どうもまだ条件がありそう。。。 ってことで色々試した結果うまくいったので 設定ファイルにしてしまって保存。 ▽Open more. 結局 全部が文字化けしたり アプリケーション内部でフォント指定されているのか、ほとんど問題ないのに特定のアプリケーションでのみ文字化けしたり・・・ 最終的には一部に目をつぶってフォントを入れ替え 次回のハードウェアリセットの時にでも再考しようと思う。 フォントをインストールします。 SH G30 の場合、SH
Positive Thinking
Try and Goちょっと今日は暑かったです。集中力がいかんせん（元々ね。 Linuxを常用OSにしているのは事実ですが、メールと絵 印刷に関しては、Windowsです。 ボクの場合、半年に一回くらいはOSをクリーンインストールします。面倒なのは絵と、メール、そしてブックマークですね。 これはC区画に入れている為、一時回避しています。他は論理区画なので、弄る必要はありません。そのほうが安全だと思っています。 XP用 ○ メールのバックアップ Outlook Express メッセージルール 復元(バックアップ）方法 以前この手法を書きました。Outlookを使っている場合、メールフォルダーを指定して振り分けされている方が多いと思います。regを弄りますが、一度やってみれば意外に簡単だと思います。 今の時期になぜ整理かと。未整理フォルダー すなわち受信フォルダーが1000件を越したからで
翻訳さんぽみち−数式
99年6月号 数式 （数式記号や分数など、本誌では綺麗に印刷されているものでもウェブでは多少粗いです。ご了承下さい。） 母国語で聞けば中学生でも簡単に理解できるのに、翻訳をしようと思うと意外に困るものの1つに数式があります。数字と記号とで書かれた式を英語で綴ったり英文の綴りで書かれたものを数字と記号の式として「和訳」したりといったことが必要になると、まったく手も足も出ないという翻訳者は結構たくさんいるようです。 かくいう私も、最後に理数科目を習ったのは16歳の時という極端な文系出身で綴りどころか記号で書かれたものを見てもほとんど意味が分からない時期がずいぶんありました。駆け出し翻訳者だった頃は数式の綴りに遭遇するたびに辞書を片っ端から引いていましたが、辞書で解決することは10回のうちの1回か2回だというくらい「辞書にない」ものでもあります。 そこで今月は、数式が出てきてもあわて
Gmail Labs で15種の機能カスタマイズを極める Gmail Labsは、 Gmailの実験的機能を一般ユーザ向けに公開するWebサイトです。 このラボでは、現在で13種の機能が公開されており、 それをみていきたいと思います。 1.クイックリンク：Quick Links 検索結果を保存して利用することができます。 Macなどを利用しる人なんかは利用していると思いますが、 検索結果をフォルダのように扱うことができる機能です。 Greasemonkey スクリプトなどでの実装は可能でしたが、 今回はラボで利用できます。 2.スーパースター：Superstars スターのオン／オフ、複数のスターを使い分けることができます。 3.ピクチャーチャット：Picture in Chat チャットで話をしているときに、友人のプロフィール画像を
Macユーザーがサイトに游ゴシック(Yu Gothic)を設定する際は気を付けたほうが良い！ | チェス犬趣味日記
意外と気付かぬ落とし穴 こんにちはchessinuです。 皆さん游ゴシック(Yu Gothic)は好きですか？ 自分はそこそこ好きです。だから自分のサイトには游ゴシック体を使用しています。ただ游ゴシックは使用する上で、色々と面倒くさいのも事実です。 何が面倒くさいのかというと、OSやブラウザによって表示のされ方(見え方)が少し変わる事！ もっと細かく言うと、見え方というのは「文字の濃さや薄さ」の事です。 普段サイトの更新や記事の編集作業などは、パソコンでしている方が大半だと思います。 そしてこの問題に関してWindowsユーザーならばすぐに気付くとは思うのですが、ことMacユーザーでMacから更新・編集作業をしている人はかなり見落としがちです。 何故Macユーザーだけなんだろうか…？ というわけで今回はWindowsユーザーの自分が、サイトに「游ゴシック(Yu Gothic)」を使用してい
統合オフィスソフトウェアLibreOfficeを用いた文書作成 LibreOfficeはオープンソース統合オフィスソフトウェアOpenOffice.orgを源流として枝分かれ（Fork)したソフトウエアである．開発・改良の進展が非常に早いプロジェクトとして知られている． 平成24年度まではLibreOfficeというMac OS X向け専用派生ソフトウエアを使用していたが，ソフトウエアの入手が有償になってしまったので平成25年度よりLibreOfficeに切り替えた． 統合オフィスソフトウェアとしてはMicrosoft社のMS-Officeが著名だが，それに対してLibreOffice（及び，OpenOffice.org）は次のような特徴を有している． Windows, Linux, Mac OS Xなど，各種プラットフォームで動作する． 基本的に「自由に」利用できる．この「自由」には，入
id:tsukasa57さん ポイントの送信ありがとうございます！ id:lady_ladyさん http://q.hatena.ne.jp/1236305510 上記の質問が終了時間間際なので、回答をしてもオープンされない可能性があるために日記でアップしました。 まだ必要でしたらお試しください。 なお、TinyMCE3.2.2で確認しましたが、HTMLソースボタンを押すとFirefox3ではデフォルトの状態でもエラーが出て、ソースも表示されませんでした。 自分の環境で試しただけですので、他の環境でもエラーになるかどうかは分かりません。 少し試しただけですが、IE7でも特に問題ありません。 ※テキストエディタの検索機能で探してみてください。 ※先に見つかる箇所から順番に記述しています。 tinymceを解凍したフォルダ→「jscripts」→「tiny_mce」→「themes」→「adv
gpyp3
gpyp peercast用チャンネルブラウザ。pcypのようなもの。だいたい月一更新。 gpyp-3.6.1.tar.bz2 - 20090930 更新チェックはブログのRSS(Atom)で。 注意事項 makeにメモリが最低512M必要。 make時にgoogle等各種faviconの取得を試みる(wget)。 src/icons/favicon/以下に対象ファイルを予め用意すれば回避可。 通信対象のリストはsrc/icons/favicon/Makefile.amを参照。 3.6.1の既知の不具合 Ubuntu Jauntyでメニューアイコンが表示されない。たぶんGTKのバグ。 Ubuntu Jaunty Alpha6で終了時に必ずクラッシュする。原因不明。通常使う分には支障はないはず。 GTKのバージョンによる制限について。 2.12より古い場合。 boostの正規
ぐわぐわ団はこんな感じでカスタマイズしていますよ - ぐわぐわ団
文字の大きなブログは読みやすい。 jiyumemo.hatenablog.com すでに自由ネコさんが『自由メモ』でカスタマイズの方法を書かれていますね。「文字のサイズをデカくしてみましたが、どうでしょうか。」という記事を書かれていたけれど、記事を読んだときはカスタマイズの方法が書かれていなかったので、じゃあこっちで書こうかな〜と思っていたら、すでに書いておられて、こちらとしてはすることがなくなりました。思っていたけど『YAKSA』を読むのに忙しかったのと、読んだあとに文章を書きたくていてもたってもいられなくなって、勢いにまかせてガガガガーッと書きまくってホッと一息ついたら、もうカスタマイズの方法は載っているし、別の記事も新たに書かれているし。 とはいえ、せっかくなので、ぐわぐわ団のカスタマイズがどうなっているのかを書き記しておきましょう。デザイン→カスタマイズ→{ } デザインCSSまで
CSSページ組版入門
CSS ページ組版入門 アンテナハウス株式会社 はじめに CSS は，ブラウザ，エディタ，その他のアプリケーションで広く使用されています．CSS は，Web デザインのためだけではなく，広範な印刷アプリケーションや PDF として配布 される電子的なページ組版のスタイルシート仕様としても使われています． CSS1（Cascading Style Sheets Level 1）は 1996 年に W3C の勧告になり，CSS2 は 1998 年に，CSS 2.1（CSS Level 2 Revision 1）は 2011 年に，W3C の勧告となりました．2018 年 初頭の時点で，CSS 2.2 が開発中です． レベル 2 後の CSS は， 一般的に CSS3 として知られていますが， 単一で一枚岩の CSS3 仕 様はなくなるでしょう．レベル 2 を超える CSS は，それぞれが CS
popular 12 クラフト化した電子パーツの数々(Fabric Sensor KIT) イケアのギロチンは€99。(SOKKOMB) F1的手法で作られたロードサイクル(Factor 001) 気に入った時計をAR試着する(Nooka Augmented Reality Accessorizer) 抜き出された屋根裏。(Public Attic) あり得ない体勢で空港ロビーで寛ぐ男(KLM Economy Comfort Product) 永久機関の作り方(The Steorn Orbo motor replication) デコ・バックミラー(Frames) Untitled (Tower 42) セカンドライフな大皿(Una seconda vita) 1560ページのEric Owen Moss構築マニュアル(Construction Manual 1988-2008) 陶器をプ
昨日、無事にsafari3にしました。 噂になっている「鬼の様なパフォーマンス」を若干感じ、幾分快適に思います。 さて今日はsafari3より変更された、form周りの表示をmixiのインターフェイスを使って見ていこうと思います。 Here we go! まず、以前のsafari2.0.4でmixiをアクセスしたときを見てみましょう。 画像は日記を書くページです。（画像クリックで拡大します） Windowをお使いの方、またはMacでもsafariを使っていない方は何か違和感を覚えるかも知れません。 一目で違うとわかるのはボタンですね。 mixiの日記投稿画面というと、茶色のボタンが印象的（個人的に）なのですが、safari2.0.4以前ではそれではありません。 これはsafari2.0.4以前ではform関連のものにCSSの変更が当たらない仕様になっているからです。 ボタンだけ
dINDEX.2 実際のフォルダ構造にかかわらずファイルをわかりやすく分類・管理し、すばやく参照できる 実際の格納場所とは関係なく、ユーザが自分のわかりやすいように分類・整理できるファイル管理ソフト。複数のデータファイルを同時に開いて、切り替えながら操作することも可能。「dINDEX.2」は、関連ファイルを独自のグループでまとめたり、アイテムに独自の名前を付けたりして、より“円滑に管理”できることを目指した多機能ファイル管理ソフト。異なるフォルダに存在するファイルでも、同一フォルダアイテムのファイルアイテムとして登録でき、フォルダアイコンの変更やカラー指定、チェックマーク・評価の設定などで、わかりやすく管理できる。「dINDEX」の後継にあたる「2」では、同時に複数のデータファイルを開けるようになったほか、アイテムリストや検索などのウィンドウがドッキング対応になった、イメージ/テキストファ
[PDF] MathML数式組版入門
1）連絡先は http://moji.gr.jp/mich/ MathML数式組版入門 2017 年 7 月 28 日 ver. 1.1 道廣勇司1） 本文書は数式記述言語 MathML を使って数式組版を行うためのガイドです。内容の大 半は特定のアプリケーションソフトに依存しないものですが，MathML に対応した組 版ソフト Antenna House Formatter（以下，AH Formatter）の使用を前提とし，そのため に有用な知識を随所に盛り込みました。 執筆にあたっては，AH Formatter の開発元であるアンテナハウス株式会社の方々より 多大なご支援をいただきました。ただし内容についての一切の責任は筆者にあります。 筆者は MathML の専門家ではありません。誤りなどがあればぜひご指摘ください。 第 1 章 はじめに ······················
＊OpenCVのバージョンは2.4.1です 【元の画像】 ＊Raspberry Piのカメラで撮影したのでサイズが大きめです 【線分】 line関数を使えば線を引くことができる cv2.line(画像, 始点座標, 終点座標, 色, 線の太さ) # -*- coding: utf-8 -*- import cv2 # 画像の読み込み img = cv2.imread("test.jpg", 1) # 画像の高さ、幅を取得 height = img.shape[0] width = img.shape[1] # 左上から右下まで、太さ10の赤い線を引く cv2.line(img, (0, 0), (width-1, height-1), (0, 0, 255), 10) # 右上から左下まで、太さ50の青い線を引く cv2.line(img, (width-1, 0), (0, height
[Web Design] 18 Time Saving Web Apps for CSS/Web Designers - デザイナーが時間を節約できるウェブアプリ
[Web Design] 18 Time Saving Web Apps for CSS/Web Designers – デザイナーが時間を節約できるウェブアプリ Pocket Tweet ウェブデザイナーが時間を節約する事のできるウェブアプリ。まぁいわゆるHTMLやCSSのジェネレーターです。CSS3のジェネレーター、Canvasコード生成、イメージエディタ、カラースキーム生成、ブラウザウィンドウのリサイザー、CSSグラデーションのジェネレーター、グリッドビルダー、フォント指定、レイアウト、フォーム装飾、メニューボタン生成などが紹介されてます。いくつか便利そうなのがあったので、早速ブックマークしときました。ただし「仕事の早いデザイナー」と思われ過ぎると仕事量増えたりするので、そのあたりアレだしナニだったりするのでアレゲな感じですな。何事もほどほどが良いというか、そんなアレです。 18 T
[Typography] 20 Useful Typography Tools - タイポグラフィーに関するウェブアプリ
[Typography] 20 Useful Typography Tools – タイポグラフィーに関するウェブアプリ Pocket Tweet タイポグラフィーに関するWebアプリのまとめ記事。20のオンラインツールが紹介されてます。CSSのフォント指定ジェネレーター、独自フォントエディタ、サイズやLine-Heightなどの単位換算一覧、フォントテスター、フォントファインダーなどがその内容。サイト内でテキストを使ってタイポを組む時に役に立ちそうなツールが多い印象。 20 Useful Typography Tools
Macintoshのウェブブラウザ「Safari」。最近の「Safari」では、デフォルトで表示されるフォントが明朝になっています。とても見づらいのでヒラギノに変更しました。設定方法が結構面倒臭いので、表示フォントの変更方法を解説します。 以前は環境設定から簡単に変更できたのですが、今はCSSファイルを作らないとならないのです。改善して欲しいですね。 フォントを見ると詰めたくなる皆さんこんにちは、よしぞう（@otonahack）です。 先日「Mac mini」を購入しました。ウキウキしながらセッティングをしていたところ、ウェブブラウザの「Safari」の表示がなんか変。 「んあ！初期設定のフォント表示が「明朝」じゃん！」と思って変更しようとしたら、なんだか簡単にはフォント指定ができない仕様になっていました。 そういえば、今まで使っていたMacでも設定した記憶がある。というわけで思い出しなが
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Python初心者がTwitterAPIを使用してにじさんじの新人のフォロワー数を取得する - Qiita
専用ブラウザを助けるプロクシ作らね？ [転載禁止]©2ch.net
アジア言語圏のPDFのテキスト抽出 3 - ぽんぽこ日記
禿頭帽子屋の独語妄言 side A: # 電子辞書 SR-G9003 を導入
隠れた名作フォント World of granshe.
pdf_as | ファイルの部屋-Dream Space-
３OSで表示する英字フォント。 - ゆるっと広告業界
Operaメールとニュースフィードのフォントを変更する @ ArtSaltのサイドストーリー
iTunes Store の表示がおかしかった原因がわかりました | Ringo Base
iOS文字の拡大率(ダイナミックフォント)を考慮したUIデザイン｜Nviveto
The Paradigm Shift：パラダイムシフト | ジーメール（Google Gmail）情報
統合オフィスソフトウェアLibreOffice
TinyMCEのカスタマイズ - 気まぐれ日記
いつでもテントになるウインドブレーカー(JakPak) : monogocoro ものごころ
safari 3 - mixiでみるsafari3より変更されたform周りの表示変更 [ wwwusic.net ]
「dINDEX.2」 - 実際のフォルダ構造にかかわらずファイルをわかりやすく分類・管理し、すばやく参照できる
PythonとOpenCVで画像処理③【描画処理】 - ダメ元エンジニアのお勉強おメモ
Safariのデフォルト表示フォントを明朝以外に変更する方法 - おとなのらいふはっく