ウォッチ
形式手法(表形式)の文献を探しています
…[概要] パーナス博士が紹介している形式手法の文献を探しています。 [パーナス博士の形式手法] 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代前半、既婚、男性です。 皆様は後輩の指導方法で悩んだことはありませんか? 最近聞くのは「コー...…
キーボードで打ち込んだ内容が筒抜け
…相手がPCからキーボードで打ち込んだ内容を筒抜けで 知ることが出来るソフトがあるって聞いたこと あるんですけど、本当でしょうか? 筒抜けにしたい相手にメールで添付?したファイルを...…
WindowsMediaエンコーダのようなものを・・・
…ライブ映像をストリーム配信したいと思っています。 WindowsMediaエンコーダを使用すると、すぐに配信することができました。 このようなソフトを自作でプログラミングしたいと思うのです...…
アマテラスとスサノヲの関係に
…やれ公民圏だの市民だのと、なんだか対立的な権力関係を読み取っちゃったみたいな見解があるようですが、古事記をいくら読んでも、優等生アマテラスに対してはスサノヲはどこまでもや...…
形式手法に関連する検索キーワード
検索で見つからないときは質問してみよう！
質問する（無料）
