「calc」を含む日記 RSS

はてなキーワード: calcとは

2024-02-11

anond:20240210212445

じゃあワイも無責任はてなCSS貼っとくわ

パソコン画面右上のアイコンで選ぶ表示スタイルを一番右の「ヘッドライン」表示にしといてな

/* ヘッドライン表示を切り詰める */
/* #container 指定CSS優先度を上げる必要がある */
body[data-entrylist-layout="headline"] #container .entrylist-main{
  padding-right: 0 !important;
}
body[data-entrylist-layout="headline"] #container .entrylist-contents{
  padding-left: 0 !important;
}
body[data-entrylist-layout="headline"] #container .entrylist-contents-users{
  position: static !important;
}
body[data-entrylist-layout="headline"] #container .entrylist-contents-users{
  top: 14px !important;
}

/* ヘッドライン表示にサムネイルを追加 */
body[data-entrylist-layout="headline"] #container .entrylist-contents-main{
  display: grid;
  grid-template:
    "users    body title"  28px
    "bookmark body domain" 20px
    / 60px 120px 1fr;
}
body[data-entrylist-layout="headline"] #container .entrylist-contents-users{
  grid-area: users;
}
body[data-entrylist-layout="headline"] #container .entrylist-contents-users a span{
  margin-right: 0;
}
body[data-entrylist-layout="headline"] #container .following-bookmarks-container{
  grid-area: bookmark;
  position: absolute;
  left: 20px;
  bottom: 2.5px;
}
body[data-entrylist-layout="headline"] #container .entrylist-contents-body{
  grid-area: body;
}
body[data-entrylist-layout="headline"] #container .entrylist-contents-title{
  grid-area: title;
  z-index: 99;
}
body[data-entrylist-layout="headline"] #container .entrylist-contents-title > a{
  margin-left: -120px;
  padding-left: 120px;
  margin-bottom: -28px;
  padding-bottom: 28px;
  width: 890px;
  white-space: nowrap;
  display: block;
}
body[data-entrylist-layout="headline"] #container .entrylist-contents-body{
  display: block !important;
}
body[data-entrylist-layout="headline"] #container .entrylist-contents-thumb{
  position: static;
}
body[data-entrylist-layout="headline"] #container .entrylist-contents-thumb span{
  width: 100px;
  height: 50px;
}
body[data-entrylist-layout="headline"] #container .entrylist-contents-thumb{
  background: #f0f0f0;
  width: 100px;
  height: 50px;
  background-position: 50%;
  background-size: cover;
  border-radius: 4px;
}
/* 2行目に、総合ではドメイン(domain), サイト内一覧ではカテゴリと時刻(meta), マウスバーはいずれも概要文(description) */
body[data-entrylist-layout="headline"] #container .entrylist-contents-domain,
body[data-entrylist-layout="headline"] #container .entrylist-contents-meta,
body[data-entrylist-layout="headline"] #container .entrylist-contents-description{
  grid-area: domain;
  display: block;
  opacity: 0;
  padding: 0 !important;
}
body[data-entrylist-layout="headline"] #container .entrylist-contents-meta > li{
  vertical-align: top;
}
html[data-stable-request-url^="https://b.hatena.ne.jp/entrylist/"] body[data-entrylist-layout="headline"] #container .entrylist-contents-domain,
html[data-stable-request-url^="https://b.hatena.ne.jp/site/"] body[data-entrylist-layout="headline"] #container .entrylist-contents-meta{
  opacity: 1;
}
body[data-entrylist-layout="headline"] #container .entrylist-contents:hover .entrylist-contents-domain img.favicon + span,
body[data-entrylist-layout="headline"] #container .entrylist-contents:hover .entrylist-contents-meta{
  opacity: 0;
}
body[data-entrylist-layout="headline"] #container .entrylist-contents-description{
  opacity: 0;
  position: absolute;
  top: calc(40px - 3px);
  left: calc(180px + 16px + .5em);
  height: 20px;
  line-height: 20px;
  color: #999;
  min-height: auto !important;
  padding-right: 0 !important;
  width: 890px;
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}
html[data-stable-request-url^="https://b.hatena.ne.jp/site/"] body[data-entrylist-layout="headline"] #container .entrylist-contents:hover .entrylist-contents-domain,
body[data-entrylist-layout="headline"] #container .entrylist-contents:hover .entrylist-contents-description{
  opacity: 1;
}
/* 増田調整 */
body[data-entrylist-layout="headline"] #container a[href^="/entry/s/anond.hatelabo.jp/"] .entrylist-contents-thumb{
  background-image: url('https://cdn-ak-scissors.b.st-hatena.com/image/square/b1638cdb5807a4788e4ba3c1109a984166e095fc/height=288;version=1;width=512/https%3A%2F%2Fanond.hatelabo.jp%2Fimages%2Fog-image-1500.gif');
}

/* マウスバー時にサムネも反応させる見た目調整 */
.entrylist-contents-title:hover ~ .entrylist-contents-body .entrylist-contents-thumb{
  opacity: .90;
}

2023-01-24

ありきたりなシェアウェア代替オープンソースソフトウェアリスト

MS OfficeがどうのこうのAdobeがどうのこうの

いやわかる、MS OfficeとかAdobe業界標準だしファイル互換インポートとかも楽だ。
ただまぁその万人へ必須か?と言われたら圧倒的にそれが必須じゃない仕事をしている人のほうが多い。
何なら仕事じゃなくて趣味レベルであるならばなおさらMS OfficeとかAdobeとか業界標準ソフトウェアじゃなくても良くなっちゃう。

ということで、ありきたりなシェアウェア代替オープンソースソフトウェアリスト作ってみた

Libreoffice

定番中のド定番オープンソースオフィススイートだ。
MS Officeじゃなくて良い人はLibreofficeGoogleクラウドのヤツを使ってる。
やはり主に使われるのはワープロソフトWriter表計算ソフトCalcプレゼンテーションソフトImpressだが、MS Access代替として挙げられるBaseは厳密な意味代替とはならないためMS Access代替無料でゲットしてやろうと考える人が陥りがちの罠だ。
まぁただデータベースフロントエンドソフトとしてBaseはそこそこ使えるので、MS Access代替として捉えるのではなく別種のデータベースフロントエンドソフトとして割り切れば想定されることの大半ができる。
MS Visio代替としてDrawも挙げられがちだがMS Access場合と同様にDrawVisioの厳密な代替とはならないので注意が必要だ。

Inkscape

Adobe Illastratorの代替として挙げられがちなオープンソースベクターグラフィックスソフトウェア
機能なのだがIllastratorと比較すると恐ろしいほど使いにくいUIを持っており、折角の高機能アクセスするにはどうしたら良いのかわからないと挫折する人が多く出る。いやなんでホントこんなUIなんだ。
ただ、諦めずクソUIに付き合っていると不思議もの人間は慣れてしま結構自由度高くベクターグラフィックスを生成できるようになる。
Adobe Illastratorには無い長所としてSVG規格へ厳密に従うという方針で開発されているため、Illastratorで生成したSVGWebでそのまま使うとWebブラウザで謎の描画バグWeb屋は悩まされるがInkscapeではそれが無い。描画バグが起きるとき製作者が間違った設定を行っているかWebブラウザ側が使っている設定に未対応場合ほとんど。
将来的にサポートする気はあるらしいが現状はアニメーションSVGに弱いのも残念でならない。どうしてもアニメーションSVGをやりたいのであればInkscapeで生成された静止画SVGアニメーションSVG化することを想定しているaniGenというWebベースエディタがあるので調べてみると良い。

GIMP

Adobe Photoshop代替として挙げられがちだが、元来Web用の画像製作するためのラスタグラフィックスソフトウェアなのでRAW現像写真を加工するためのソフトじゃないが、本家すらその辺のことを忘れたふりをしている。
画像編集や加工で求められる基本的機能はほぼ網羅されているが、RAW現像に関しては標準状態のままではできず、最近Adobeが搭載している人工知能を用いた機能もないのでクラシカルラスタグラフィックスソフトウェア表現することもできる。
GIMPInkscapeが使えると大半の画像製作は何とかなってしまうため一部の情報技術者寄りのギークPhotoshopやIllastratorは触ったこともなく使えないがGIMPInkscapeは困らない程度には扱えるというデザイナーツッコミ入れそうなおかしスキルセットになっていることがある。

Raw Therapee

Adobe Lightroom代替として挙げられがちなオープンソースRAW現像ソフトウェア
実はdcrawというRAW現像のためのオープンソースライブラリフロントエンドであり、GIMPRAW現像するために活用されるUFrawも同様にdcrawフロントエンドであるため中身は同じだったりする。オープンソースRAW現像ソフトウェアはdcraw使いがち。
オープンソースソフトウェアRAW現像を賄っている人はGIMPでUFraw活用してRAW現像するよりもUI的に使いやすいのでRaw TherapeeでRAW現像TIFFを出力しGIMPで微調整するような使い方をしている人が多い。

LibreCAD

オープンソース2D CADで以前はQcadと呼ばれていた。
一部の読者はJw_cadJWWファイルを扱うことが可能という特徴を持っているというだけで興味を惹かれてしまうのではないか
Jw_cadとは違ってWindowsmacOS、各種Linuxディストリビューションで動くので2D CADデータネット上の友人知人などとやり取りしたいときに向くんじゃなかろうか?ニコニコ技術部的な遊びとか、最近流行りのルール無用JCJCタイムアタックとかで。

FreeCAD

オープンソース3D CADで、近年は3Dプリンターあたりの需要でよく目にするようになった。
Autodesk AutoCADFusion 360、Dassault Systèmes SolidWorksよりも草の根では広まっており日本語でのハウツー記事オープンソースソフトウェアとしては比較的多い印象。
シミュレーション機能シェアウェア比較すると弱い傾向があるもの草の根でそこまで必要か?と言われたら悩む。無料シミュレーションやりたいならOpenFOAMにでも流し込め。

Krita

オープンソースお絵描きに特化したラスタグラフィックスソフトウェア
歴史的経緯ではLinux界隈でのGUIツールキットの2大巨塔にGTKQtがあり、GTKGIMPを作り上げるために生まれたこともありGTK側には高度なラスタグラフィックスソフトウェア存在していたがQt側には存在していなかった。そこでGIMPの対抗としてQtを用いたKritaの開発が進められたが次第にGIMP的な画像編集ソフトウェアよりもお絵描きに特化していき現在のような性格を帯びるようになった。
SYSTEMAX ペイントツールSAIセルシス CLIP STUDIO PAINTからの影響が強く現れており、オープンソース界隈のSAIクリスタなどと呼ばれることがある。クリスタがそうであるようにスマートデバイスへの対応も計られAndorid OS版やChrome OS版が存在する。
ただ日本需要を敏感に拾えるクリスタなどと比較して漫画作成機能に関してKritaは弱いと言われることがあるものの、GIMPと同様に無料とは思えない機能が充実しているのもまた事実である

Blender

オープンソース3DCGアニメーションソフトウェアで、非常に多機能のため何故かAdobe After Effects代替として挙げられることもある。
YoutubeBlenderYoutubeチャンネル広告を載せろと迫ってBlender公式がそれを拒否してYoutubeから撤退したり、庵野秀明が率いる株式会社カラー出資したことなどオープンソース界隈でも異彩な存在感を放っており日本国内でも非常に注目されているプロジェクトだ。
ただ、初期状態では独特なUIによる使い勝手が非常に悪くユーザー自分で使いやすい配置を模索する必要があったりタイムラインが使いにくかったりと何故オープンソースソフトウェアUIがクソになりがちなのか?という問題にぶち当たる。

Godot

オープンソース2DG/3DCG兼用プログラミングIDE。つまりUnityとかみたいなやつ。
MIT Licenseロイヤリティフリー、開発言語はC#もしくはC++、そしてPythonライクなGDScriptで、Unityみたいにマウスポチポチしてオブジェクトへ色んな設定を決められるので「Unityみたいのでゲーム作りたいけど運良くヒットしたときライセンス料がなぁ」と懸念している人に役立つ。
ちなみにWiiニンテンドーDS用向けにリリースされたSEGAゲームタイトルソニックカラーズSwitchPS4などのマルチプラットフォーム移植ソニックカラーズ アルティメットはGodotを用いて移植されているので商用でも耐えうることはSEGA証明している。あのSEGAソニックでだ。

Shotcut

オープンソース動画編集ソフトウェア
様々な部分で動画ライブラリFFmpeg依存しているためFFmepgのフロントエンドソフトとしての性格も持つ。
この手の無料動画編集ソフト国内だとAviUtlや近年ではBlackmagic Design DaVinci Resolveが人気だけれど、海外オープンソース界隈ではShotcutは比較知名度が高い。
カラーグレーディングに関して不足のない機能を有しているので高度なトランジションを用いるというよりも色を追い込むような使い方が合っているだろう。
ていうかFFmpegのフロントエンドなのでFFmpegができることは理論上なんでもできる(理論上なので追加でコマンドを叩く必要があったりするけどね)。

Tenacity

オープンソースレコーディングソフトウェア旧名称はAudacityと言われるとご存じの方も多いハズ。プライバシー問題Audacityからプロジェクト分岐されTenacityとして再出発することとなった。
Audacityは開発の主な拠点ロシアを中心に行われていたという経緯があり、現在ウクライナ-ロシア戦争へ至る前の影響から個人情報収集ロシア企業が行うと発表され、それに反発したユーザーらによってプロジェクト分岐しTenacityプロジェクトが立ち上がった。
Audacity自体VSTプラグイン動作するなど非常に高機能レコーディングソフトウェアであったがウクライナ-ロシア騒動に巻き込まれたと言った感じだ。
Audacityから分岐したTenacityもそのまま高機能レコーディングソフトウェアなのでこれからはTenacityを使ったほうが色々面倒が少ないだろう。

Ardour

ProTools代替として挙げられがちなオープンソースDAW。非常に高機能DAWとして求められることの大半ができるものの、これもまた通例通り最近流行りの人工知能を用いた云々かんぬんは標準状態だとできない。
Ardourプロジェクトの立ち上げをし主要開発者であるポールデービス氏はJACK Audio Connection Kitのプロジェクトの立ち上げをし主要開発者であるという事実を伝えると驚く人がいるかも知れない。LinuxGitリーナス・トーバルズ的な文脈だ。

LMMS

オープンソース界のFL Studioと呼ばれることもあるDAWステップシーケンサーを中心に作曲するタイプDAW電子音楽が得意。LMMSという名称Linux Multi Media Studioの略でLinuxに端を発してマルチプラットフォーム展開をしたDAW
オープンソースDAWにしては珍しく初期状態から多数のソフトウェアシンセサイザープラグインが用意されておりインストールした時点で遊び始めることができるものの、オープンソースの例に漏れずクソUIを持っており使いにくい。GIMPBlenderもそうだが1990年代後半〜2000年代前半あたりに流行したMDI(Multiple Document Interface)を未だに引きずっているためクソUIになりがちなのだ
ググる日本国内にも意外とユーザーは居て、DTMやりたいけど初期投資は低く抑えたいみたいなユーザーが選んでいる模様。そういう需要ならLMMSの他に基本無料で全機能が使えて一部のプリセットが有料のVitalっていうソフトウェアシンセサイザーも導入しておくと延々遊べるよ。

Mozilla Firefox

オープンソースWebブラウザとして非常に有名な存在
Google率いるChromiumWebブラウザに近年物凄く押されているもの独禁法回避するためGoogleMozilla出資しているという歪な構造を持つ。
Mozilla運営が下手すぎて資金をドブに捨てることを繰り返しているためGekkoレンダリングエンジン未来があるのかと一部の識者から不安がられている。
Firefoxは使いやすいのか?と言われたら、それはもう好みの問題しか返せないのだがカスタマイズ性は非常に高い。


というわけで書いていて飽きたからこの辺でやめておく。気が向いたら何か追記するかもしれない。

2021-07-18

PCRをたくさんするといいことあるの?

国別の100万人あたりのPCR件数と1000人あたりの死亡数でグラフ作ってみたけどPCRをたくさんしている国って何かいいことあったの?

バカからこんな比較の仕方しかからないし、英語を読み違えているかもしれないけど。

https://d.kuku.lu/e0885dab2

  

グラフ作成方法

1.https://www.worldometers.info/coronavirus/#countriesデータで100万人あたりの検査数(Test/1M pop)で件数が多い順にソートする。

2.コピーしてLibreOffice Calcに貼り付ける。

3.比較できるように100万人あたりの死亡数(Deaths/1M pop)に1000を乗じる。

4.縦棒と折れ線のグラフを作る。青の縦棒が1000人あたりの死亡数で赤の折れ線が100万人あたりの検査数。

  

追記

日本は100万人あたりの検査数で141位

死亡数が0のところはデータなしのところもある。

2021-07-11

昨日からjava勉強し始めたんだけど

ラッツ予想の計算過程を出力するプログラム書いたんだけどもっと簡単に簡略して書く方法おしえてけろ

public class Calc{
	public static void main(String[] args) {
		for(int i=2; i>0; i++) {
			int a = i;
			System.out.println("-----"+ a +"の場合-----");
			while(a != 1) {
			if(a % 2 == 0) {
					System.out.println(a +" ÷ 2 = "+(a = a / 2));
				}else{
					System.out.println(a +" × 3 + 1 = "+(a = 3* a +1));
				}
			}
		}
		}
}

2021-04-22

anond:20210422151825

OpenOfficeというか、今はLibreOffice使ってるけど、BASICBaseほとんどまともに使ったことがない

重宝しているのはCalcDrawImpress

役所とかGIGAスクールとか、みんなMicrosoft Office基準に考えてるけど、

MS Officeライセンスがないパソコンパソコンじゃない、

MS Officeライセンスを持ってない人なんて存在するわけがない、

みたいな風潮が自分には酷く不愉快だし、それが不便で困っていた人も過去に見た覚えがある

(締め切り近くに急いで書類を提出したいのだけどMS Office自分パソコンに入ってなくて困ってた人がいて、

誰かがMS Officeが入ってるパソコンを貸して事なきを得たみたいなんだけど、なんだかなー、と思いながら見てた)

あと、iPhoneアプリを作るとき米国の税申告は記入式のPDFだった気がする

それを当時所有していたMac電話モデム機能があるのがあったので、それで国際電話送信した

お役所仕事が怠慢なのは米国でも同じだろうに、返信の封筒比較的早く届いた

まあ、iPhoneアプリ開発がブームだったかでもあるんだろうけど

そして、マイナンバーカード申請をだいぶ前にやったはずなのに、未だに音信不通である

事情あって、明確に申請をした証拠となる控えの書類があるので、まあ気長に待てるけど、

これもそろそろ催促しないと知らないトラブルに巻き込まれてる可能性もあるのだよなあ

2020-02-10

anond:20200210132229

分かる。

LibreOffice Drawで、図形の中の文字サイズを変えると

アルファベットだけはサイズが変わって漢字無視されたりな。

Calcの図形に至っては、ツールバーから文字色や文字サイズをいじれないしな。

ちょっとお高めのMSOfficeがシェアを保ってる理由って、こういう事なんだろうな。。。

(それでも、俺は意地でも個人でMSOfficeを買う事はしないが)

2017-07-06

はてブの新ユーザページ用ユーザスタイルシートを書いた

ずっと旧ページ使ってて、どうにも窮屈な感じがしたので。

.wrapper-container-inner {
    box-sizing: border-box;
    width: 100%;
    padding: 20px 20px 0;
    background-image: none;
}

#right-container {
    display: none;
}

#center-container {
    box-sizing: border-box;
    padding: 0 0 0 20px;
    width: calc(100% - 180px);
}

カラムは消した。

あくまで広くしただけ。

幅が広すぎる!って場合最後の width: calc(100% - 180px); にある100%の値を調整すればいい。

にしても、まさかレイアウトでfloat使ってるとは思わなかった。

いろいろ見ててCSSレガシーすぎて大変なんだろうなー、と思った。

2017-04-05

ブログフリー素材の写真画像を貼るのって効果あるの?

はてなブログありがちななのだけど、ブログ自分で作ったわけでもない出来合いの写真イラストを貼るのが半ば義務であるかのように行われているじゃないですか。文章テーマ関係ないわけじゃないけれど、読者から見たら全く読解の助けになってないやつ。あれって客寄せとか魔除けとか何か効果があるものなのだろうか?

そういうのがあると、どうせ内容のない文章なんだろうなと期待値が大幅に下がってしまうようになってきた。

逆にペイントで描いたような下手なポンチ絵やLibre Calc丸出しのグラフ期待値が上がる。自分で撮ってきた全く関係ない本日の日記的な写真ですら自分で撮ったなら評価は微増する。読ませたいなら無理に借り物の画像を載せないほうがいいんじゃないのと思う。

どこかで紹介されたときサムネイルで釣れるから載せてるのだろうか。ちょっと開いてくれたら直帰されても構わないみたいな感じで。

魔除けのために貼っているのだと言うならまあ納得する。

2016-11-05

http://anond.hatelabo.jp/20161105032504

2016-09-07

みんなで決めるゲーム音楽程度のファイルさえLibreOffice Calcフィルタかけるだけで勝手フリーズして許可無くクラッシュしやがる。

どうしてここまで使いものにならないようにしてるんだろう。MS癒着してんじゃねーだろ‐な。

2015-11-20

UWSCOpenOfficeCalcをいじる時のメモ

CurrentControllerがミソ。

xls = XLOPEN("ファイル名", XL_OOOC) // Pro版でない場合はCreateOLEObjectに置き換えれば動くかも?

sheet = xls.CurrentController.ActiveSheet

// A1セル文字色を青、背景を黄色にする

sheet.getCellByPosition(0, 0).CharColor = "&H0000ff"

sheet.getCellByPosition(0, 0).CellBackColor = "&Hffff00"

プロパティメソッドはここを見たら大体書いてあります

http://hermione.s41.xrea.com/pukiwiki/index.php?OOoBasic%2FCalc

2015-06-18

Excel正規表現使えたらなぁ

Excel正規表現使えなくって、

OpenOfficeCalcなら使えるんだよね。

これだけはOpenOfficeが便利。

話変わるけど、Windowos/MaciPhoneAndroid、みたいな銃撃戦が起こりそうなネットの人が大好きなネタあるじゃない

表計算に関しては、みんな冷静にExcel便利しか言わないよねw

OpenOfficeCalcデータパイロット、集計めちゃくちゃ楽よ!

そういえば三四郎、Lotus1-2-3どこ行ったの?

2015-03-03

世界 2015-03-03

↑new

対象を具体的に構成することによって証明可能ならば, 存在しないと仮定して云々ではなく, 実際に構成したほうがよい」あるいは「(最狭義の)背理法なしでいけるならそうすべきだ」(これらは別の主張である)という主張なら意味は通りますが. もっともこの種の議論教育云々に属すので.

彼の意味の非背理法証明古典論理に従う通常の証明であり構成証明直観主義的な証明などとは異なる. だから直観主義型理論証明からrealizerとしてプログラム正当性証明抽出する話とか, 直観主義論理存在具体化性なんかの話とは全く関係がない.

機械的に書き換え可能なら情報量は変わらないのでは」という簡単な突っ込みもできる. 幾らかの人達は「とはい計算数学なんかでは背理法に依らない証明を考えるのは意味があるのでは」といったことを述べているが

件の著書の内容紹介に【「背理法による証明」を、格段に情報量の多い「背理法によらない証明」に機械的に書き換えることができる】とある. これは, 彼の意味背理法による/よらない証明と, 古典論理/非古典論理による証明, または非構成的/構成証明, との対比を混同している.

---

「LKもcut-free LKも非背理法的ということではないのか. そうだとするとカット除去定理背理法除去とは無関係ではないのか.」

他方で彼の著書では竹内・八杉『証明論入門』を引用してカット除去定理背理法除去を一般化した定理だとも主張している. ここでひとつ反論ができるとすれば「sequent calc.も非背理法的な証明体系ではないか. 証明に現れるsequentは全てvalidではないか.」

---

他方で彼のいう非背理法証明というのはそういう状況が起こらない証明をいう. Hilbert流の証明体系では途中にprovableなformulaしか現れないことを想像せよ. したがって彼の数学としての主張は「自然演繹とHilbert流の体系は同値. よって背理法は除去できる」

実際efqを用いた証明ではefqの適用の直前に矛盾が導かれているはずだから「途中に正しくない主張が現れる」という状況に適合している.

から彼の拒否する証明法は広義の背理法よりももう少し広いものと考えられる. 例えばex falso quodlibetがnonsenseな証明法だと捉えていることは彼のサイト記述から明らか.

正確にいうと彼のいう背理法は「否定導入と最狭義の背理法」を合わせたもの. 背理法拒否する根拠は「背理法を用いた証明では途中に正しくない主張が現れる」こと. 自然演繹証明図は途中にunprovableなformulaが現れることを想像せよ.

また「背理法を用いて証明できるなら用いないでも出来る」というのは彼の言葉定義では正しいので「直観主義論理が云々, 派生規則から暗黙に背理法が使われてる云々」は反駁にならない.

教育の話だろ」という人間には「教育論の補強に数学を濫用しているし, 数理論理学教科書まで出版している」と反駁しましょう.「それでも教育的な価値は云々」という人間には「教育論として批判しているのではなく数学として批判しているのだ」と反論しましょう.

適切に批判しないと「(最狭義の)背理法なしでは(通常の述語論理形式的体系において)証明できない命題があるなどという人間は(彼の意味では背理法なしでも証明できるので)数理論理学理解していない初心者である」などと云われて, 傾げる首を切り取られてしまった人間賛同するので

2010-02-26

http://anond.hatelabo.jp/20100226151925

うーん、そこは JUnit の使い方でなんとでもなる。

1つのテストケース動かす度にテーブル作り直すとかありえないし。

テーブルは作り直さずとも、テーブルの中身を truncate でひっくり返して、事前データをブチ込み直すくらいならば平気。

銀行系での例。マジ怒られそうだから、若干ボカして書くけど、

ひとつテストメソッド TestXxxDAO.testRetrieveFooBar() は、XxxDAO.retrieveFooBar() メソッドについての複数のパターンテストを全てやる事にする。そのテストメソッドの中で

  1. 事前のデータDB に突っ込む
  2. メソッドへの引数を準備
  3. XxxDAO.retrieveFooBar() を実行
  4. 想定結果と比較して、テストに失敗した箇所について報告
  5. 最初に戻る(次の事前データや、メソッドへの引数を準備する)

というサイクルを繰り返す。テストデータや想定結果は、全て OpenOffice calc なんかを使って、視覚的に書いておく。その ods ファイルを読み、DB突っ込み、想定結果と比較する処理は独自フレームワークとして用意。ods ファイルは、「こういうデータを準備して、こういう引数でメソッドを呼ぶと、こういう結果になりました」というテストエビデンスにもなる。

insert 後に select とかってのが切り離して考えられない処理ならば、それはそういう 1 単位の挙動だ。俺なら例えば、XxxDAO.insertFoo()、XxxDAO.retrieveBar() を作ってテストした上で、そいつらを XxxLogic.doSomething() に押し込むね。そしてやはり上記のようなテストが出来る。

頭の中だけだと「それって現実的じゃなくね?」と思えるかも知れないけど、実際やってみるといい。テスト順なんか気にせずにやっつけてしまえるし、案外これで効率よく厳密なテストが出来る。それでもヘタクソな野郎は、テスト順に依存したテストを作りやがって、後でメンテする俺涙目みたいな事にもなるけど。

これでテストデータを作るのが死にそうなほど大変であれば、メソッドの粒度を見直すべきかも知れない、というセンサーにもなる。・・もっとも、XxxLogic.doSomething() などを処理順に纏めた XxxAction.action() なんかのテストともなれば、やっぱ大変なんだけども。

2010-02-14

http://anond.hatelabo.jp/20100214191937

途中で止まる場合も有るのだが

a b c d e f
a b c
a b c
a b c

ってなってる時に、d e fを一番下までコピペしようとするにはどうすればいいかな?

CalcではShiftでf→e→dって囲んでコピーして、そのまま→cまで囲んでShift押したまま、Ctrl矢印下で一番下までいって、→一回押して一番下までいけた。

Excelだと世界の果てまでいってQ

Office 2007な

ExcelOpenOffice Calcもクソすぎる

表計算は何使えばいいんだよwwww

2008-08-10

Windows起動後に自動起動するアプリケーションの順番を指定する方法

単に起動させるだけで良いならば「スタートアップ」に起動させたいプログラムファイルショートカットを片っ端からぶち込めば良いわけだが、Photoshopのような巨大なプログラムメモ帳のような軽いプログラムを同時に起動すれば、十中八九メモ帳が先に起動してしまうわけで。人によってはそういったプログラムの起動する順番まで制御したいという人も居るはず。タスクバーやタスクトレイの並び方に気を遣う人も居るだろうしね。

以下の手法はそういった人向け。

スタートアップフォルダを開き、(任意の名前).batというファイルを作成する。

「新規作成」→「テキスト ドキュメント」。これは誰にでも出来るはず。

作成したファイルに以下のように記述する

START "" "C:\WINDOWS\NOTEPAD.EXE"

STARTコマンドで、任意のプログラムを開かせる事が出来る。

第一パラメータは何も指定せず、ダブルクオーテーション「"」を二つ並べ、第二パラメータに起動させたいプログラムファイルパスを書く。上記例はメモ帳を起動させる場合。

次に起動させたいプログラムを書く前に

このまま二行目を同じように書くと、スタートアップショートカットを並べるやり方と実質的に同じになってしまうので、ここでひと工夫入れる。要するに、前の行で指定したプログラムが起動し終えるまで次の行の実行をある程度待機させれば良いわけで、自分の場合は以下のように書いている。

START "" "C:\WINDOWS\NOTEPAD.EXE"
PING -n 10 localhost
START "" "C:\WINDOWS\SYSTEM32\CALC.EXE"

一行目を実行した後、LOCALHOST、つまり自分自身に10秒ほどPINGを打ち続けるコマンドを挟み、その後二つ目プログラム(上記例では電卓)を起動させている。これで前の行のプログラム起動に十分な時間が確保され、起動する順番が思い通りになる、という寸法。

ウィルス対策ソフト等のサービスが完全に起動し終えるまで実行したくないという場合、PINGコマンドの方を一行目に書いて、打ち続ける秒数を少し長く(60秒程度)指定しておけば、最初に起動するタイミングを遅らせる事も可能。

もう少しマシな方法もあるような気もするんだけどね。知ってる人が居たらフォローお願い。

2008-03-13

覚えるべき数字を列挙する

ちょ、ブックマ増えてるしw

そんなことしたら兄ちゃん改定しちゃうぞっ!

0.251/4
0.301log10 2
0.477log10 3
0.502/4
0.683正規分布において±1σに含まれる確率
0.753/4
0.785π/4
0.954正規分布において±2σに含まれる確率
0.997正規分布において±3σに含まれる確率
1n/n n0 log10 10
1.12標準数R20の1番目 101/20の近似
1.25標準数R10の1番目 101/10の近似 約5/4
1.41√2 一夜一
1.60標準数R5の1番目 101/5の近似
1.73√3 人並みに
2.0021 R10の3番目
2.24√5 富士山
2.50R5の2番目
2.72自然対数の底 e
312/4
3.14円周率 π
3.15R10の5番目
4.022 12/3 R5の3番目
5.0R10の7番目
612/2
6.3R5の4番目
8.023 R10の9番目
10十進法の底
121ダース
1624 16進数の底
242ダース
3225
363ダース
484ダース
605ダース
6426
726ダース
968ダース
12827
14412ダース
25628
1024210
65536216
1048576220
16777216224
  • log10 15 = log10 (3*10/2) = log10 3 + log10 10 - log10 2 ≒ 0.477 + 1 - 0.301 = 1.176
  • √15 = √(3*5) = √3 * √5 ≒ 1.73 * 2.24 ≒ 3.88
  • 鉄板のよく使われている厚さは標準数R10に近い。
理工
-273.15絶対零度 T
6.626e-34Jsプランク定数 h
0.1013MPa大気圧 P0
0.75kW1馬力の近似値 3/4
1.38e-23J/Kボルツマン定数 k
1.40乾燥空気の比熱比 κ ちょっと混ざったらしいw
4.19J/cal熱の仕事当量 J 水の比熱に等しい
7.86g/cm3鉄の密度
9.81m/s2重力加速度 g
22.4L/mol標準状態における理想気体の体積 V0
25.4mm/inch1インチの長さ
299792458m/s光速 c
6.022e23mol-1アボガドロ数 NA
  • 100万馬力は大体750MWくらい
  • ペットボトルの水500mlを1200Wで沸かそうと思うと 500mL*(100-20)℃*4.19/1200W=140秒は最低でもかかる
    • 注:実際は効率の問題があるのでもっとかかる。
  • プロパン(C3H8)は分子量44だから、ボンベが1kg軽くなると1000*22.4/44=509Lくらいのガスが出る
付記
  • 理工はついでで適当
  • 実はあまり覚えてない
  • 列挙することに意義がない
  • なんだかんだ言って実は工学系である
参考

他。

http://anond.hatelabo.jp/20080313121625

 
ログイン ユーザー登録
ようこそ ゲスト さん