形式手法

の検索結果 (1,000件 1〜 20 件を表示)

形式手法(表形式)の文献を探しています

…[概要] パーナス博士が紹介している形式手法の文献を探しています。 [パーナス博士の形式手法] IPAのSECで、セミナーが実施されました。 http://sec.ipa.go.jp/seminar/2009/20090410.html です。 実際に...…

解決

google画像検索 画像が大きく表示されるようになったんですか?

…google画像検索は、 以前は、画像を含むページそのものが表示されました。 しかし今日、画像検索をかけてみると、 サムネイルで示された、画像そのものが、大きく表示されるようになっ...…

締切

勉強した知識を企業で生かしたい

…現在大学で、形式的仕様やプログラムの検証などを勉強しています。 しかし、残念ながら企業では、この手法は殆ど使われていないようです。(コスト面などに問題があるようです) 企業で...…

締切

NEW STYLE(ニュースタイル)

…結婚式の時に、こう言う言葉を貰いました 「走り続ける事は、変わり続ける事だ」とね・・ まあ、国鉄のCMからだとは思いましたけどね・・? 乗り越えていく為には変化も必要に成ってき...…

解決

「構造化プログラミングの基本的な考え方について述べなさい.また,構造化

…「構造化プログラミングの基本的な考え方について述べなさい. また,構造化プログラ ミングと関連付けて基本制御構造について説明しなさい。」という問題があるのですが、調べてると構...…

締切

構造化プログラムについて

…構造化プログラムは何か教えてください・またなぜこの 技術が使われるようになったかも知りたいです. お願いします。…

締切

プログラム脳の作り方

…プログラマーの皆様はどうやってプログラム脳を作られましたか。 今JavaとPHPの勉強をしていますが、プログラムを作るための考え方がなかなか身に付きません。 習うより慣れろという事...…

解決

C言語のGOTO文(組み込み系)

…私は組み込みでソフト開発を行っているものです。 (アセンブラでの経験は長いが、Cは短い) 基本的な質問になってしまいますがご了承ください。 C言語で"goto文は使うな、スパゲティプ...…

解決

C++BuilderやDelphiでVC++用のDLLの作成

…C++Builderの画面から新規作成からDLLウィザードを選ぶと、VC++スタイルのDLLを選択して作成できるようになっています。 VC++用のDLLを作成出来るとは書かれていません。 実際、VC++コンパイラか...…

解決

XMLファイルの編集をExcelでする方法

…既に http://okwave.jp/qa141627.html QNo.141627にて、同じ質問と回答が掲載されているのですが 紹介されているHPからツールをダウンロードすることが できませんでしたので、どなたか同様のツー...…

解決

フーガの教本を探してます

…対位法の本は何冊か所持しているのですがどれも対位法のことばかりで対位法を使った具体的なフーガの作曲の仕方が載った本が見つかりません。 音大生ではなく趣味程度でやってます。 ...…

解決

小説と物語の違い

…小説と物語とはどういう違いがあるのでしょうか? いろいろな本を見ると、小説は作り話のため、しっかりとした因果律をもって話が進み、物語は偶然の積み重ねで話が進むとあるのですが...…

解決

時代に合わせられない人の方がナンセンスですかね?(後輩の指導方法)

…時代に合わせられない人の方がナンセンスですかね? (後輩の指導方法) こんにちは。 30代前半、既婚、男性です。 皆様は後輩の指導方法で悩んだことはありませんか? 最近聞くのは「コー...…

解決

モーツァルト ヴァイオリンソナタ第22番

…モーツァルトの「ヴァイオリンソナタ第22番ホ短調(か、変ロ長調(定かでない。))」を入手したいのですが、どうすればよろしいですか。…

締切

今更ですけど、ホリエモンってなに悪いことしたんでしたっけ

…今更ですけど、ホリエモンってなに悪いことしたんでしたっけ…

締切

キーボードで打ち込んだ内容が筒抜け

…相手がPCからキーボードで打ち込んだ内容を筒抜けで 知ることが出来るソフトがあるって聞いたこと あるんですけど、本当でしょうか? 筒抜けにしたい相手にメールで添付?したファイルを...…

解決

ハムレット

…シェイクスピア「 ハムレット」が世界中で過去現在にわたり演じつづけられているのはなぜなんでしょうか 彼の性格が仮面的だから?…

締切

ラプラス変換を初等的関数に適用したら

…数学は中学程度なのですが、今はラプラス変換にあこがれています。 この変換はたとえばy=xのような関数に施すとラプラス変換について何かわかるでしょうか。…

解決

WindowsMediaエンコーダのようなものを・・・

…ライブ映像をストリーム配信したいと思っています。 WindowsMediaエンコーダを使用すると、すぐに配信することができました。 このようなソフトを自作でプログラミングしたいと思うのです...…

締切

アマテラスとスサノヲの関係に

…やれ公民圏だの市民だのと、なんだか対立的な権力関係を読み取っちゃったみたいな見解があるようですが、古事記をいくら読んでも、優等生アマテラスに対してはスサノヲはどこまでもや...…

解決

検索で見つからないときは質問してみよう!

Q質問する(無料)

おすすめ情報

Q&A検索履歴