ここに何かをWiki

ツカンコ

2007-06-29T23:04:32+09:00

FrontPage

2007-01-31T03:53:49+09:00

<h1><a href

日立製作所

2006-06-23T20:11:58+09:00

TOPへ

日立製作所

四季報情報

　【求める人材】　自ら考え、自ら行動していく意欲溢れる人

　【エントリー情報】　受付開始：3月

　【採用プロセス】　エントリー　→　面接など試験　→　内々定

　【平均年収】　725万

　【記者評価】　重電から家電、情報・通信まで幅広い事業領域を擁す総合電機の雄。子会社・関連会社合わせて約1200社とグループ規模は国内最大であり、大型コンピュータなどに強みを持つが、トップシェア商品は意外に少ない。ソフト分野に重点シフトを進めるが、新中期計画ではややハード回帰も。半導体は分社化を推進し、「ノンコア」化。2001年度、大幅赤字。これを受け、積極的なグループ再編を加速、900社への集約目指す。事業グループ間の人事異動を増やす方向。規模拡大は追わず、採算重視へ。2割の不採算事業からの早期撤退を言明。

事業グループ･事業部

情報・通信グループ

公共システム営業統括本部・公共システム事業部　1750人

　事業領域：国家行政ソリューション部門。自治体行政ソリューション部門。学術情報ソリューション部門。医療情報ソリューション部門。

　ソリューション紹介：電子行政／電子自治体ソリューション。病院情報ソリューション。次世代年金情報システム。デジタルペンソリューション。

ビジネスソリューション事業部　250人

　上流指向型ソリューション事業の開発と先行実施をミッションとする。日立の情報事業において、ビジネスコンサルティング事業、ITコンサルティング事業、新分野ソリューション開発、先端ミドルウェア開発、ソリューション清算技術開発を担当。

　事業領域：業務コンサルティング、ITコンサルティング

　主な取り組みテーマ：企業ITアーキテクチャ構築コンサルティング、金融工学コンサルティング、電子行政コンサルティング、リインテグレーションソリューション、デジタルコンテンツ販売／流通システム、企業ライフサイクルシステム建築コンサルティング。

金融第一事業部･金融第二事業部･金融ソリューション事業部　1240人

　金融機関は、コスト削減とITを活用した収益拡大を両立することが求められている。最近は、多様化する商品の開発をすばやく行い、効率的に販売するチャネルとの連携を可能とするシステムが必要となっている。顧客のニーズやビジネス機会を適格に捉え、最適なソリューション、システムインテグレーションを迅速に提供。

　事業領域：銀行･証券･保険・ノンバンクなどの金融機関等を対象にしたソリューション提案･受注活動･構築／運用･アフターフォロー。

　ソリューション内容：次世代金融ソリューション「NEXTCAP」。システム基盤「Justware」。新営業店システム「FREIA２１」。インターネットバンキング共同センタサービス「FINEMAX」。

ネットワークソリューション事業部　650人

　ブロードバンド・モバイルがもたらす社会的インパクトのあるIPネットワークインフラや網管理、顧客料金などのサービス管理、また企業のIPテレフォにーなどのTCO削減にむけたマーケットトレンド、顧客ニーズを営業／SE一体となって分析、商品化、サービス提供している。

　事業領域：IPｖ６ネットワークの構築、モバイル端末を通してネットワークとの接続を容易に行うモバイル管理ゲートウェイ、アクセスネットワークとコアネットワーク間を大容量かつ高速に接続するBASの提供、音声･データを統合するVoIPソリューション等。通信事業者向けとして通信サービスにおける加入時の受付、登録、苦情処理などのフロント業務、通信ネットワークにおけるサービス状況の監視･管理･制御、通話･データ通信の利用状況に応じた課金･請求書リといった基幹業務を構築。

産業システム事業部　540人

　鉄鋼、石油、電機、精密、自動車、化学、薬品、食品など多岐にわたる製造業を対象に、日立グループの先進事例や製造ノウハウを活用した付加価値の高いトータルなシステムインテグレーションを提供。グローバルな仕様をローカライズすることで日系企業や現地企業を支援。

流通システム事業部　330人

　対応分野：小売／卸売業ソリューション部門。運輸／サービス業ソリューション部門。

　代表ソリューション：業務パッケージによる店舗業務の効率化やデータウェアハウスによる販売データ分析、分析結果に基づく商品発注、在庫管理など。ロジスティックストータルソリューション。トレーサビリティソリューション。デジタル映像アーカイブシステム。

IDソリューション統括本部　　100人

　IDをベースとしたシステム、サービスなどのトータルソリューションを提供。海外ビジネスを展開。

　主な取り組みテーマ：、トレーサビリティ･RFID事業。MOPASSを利用したモバイルコマースソリューション事業。次世代スマートカード応用システム。ID証業務運営設計コンサルティング。

情報制御システム事業部　2200人（ここは研究開発かねぇ）

　社会インフラ、情報インフラなど私たちの生活を支える大規模システムの開発･設計･製造を行う。新幹線列車運行管理システムをはじめ、高い信頼性を誇るシステム製品を、数多く世界に送り出す。現在は通信、ネットワーク、画像処理などの分野の最新技術を駆使し、新たなシステムの提供やお客様のニーズに応えるソリューションを提供。

　事業領域：電力システム。交通システム。公益・産業システム。情報制御ソリューション。

アウトソーシング事業部

　基幹系システムやオンラインシステムなどの開発及び運用にかかるコスト･人材といったお客様の負担を低減するだけではなく、ビジネスの価値を高めていく新たな経営改革を、システム運用代行から経営戦略に密着したシステムのありかたの提言に至るまで、トータルでサービスを提供

　主な取り組みテーマ：アウトソーシングサービス。エンタープライズITコンサルティング。業務システム開発･運用サービス。セカンドセンターサービス。センタバックアップさーびす。データセンタ。

ソフトウェア事業部　2000人

RAIDシステム事業部・SANソリューション事業部

クロスマーケットソリューション事業　480人

IPネットワーク事業部　200人

エンタープライズサーバ事業部　1700人（研究開発？）

デバイス開発センタ　900人

国際ソリューション統括本部　48人

　米国では、最新コンサル技法を活用したソリューション事業を展開。中国では、100%出資のHISS社を設立し、主に日系顧客の中国シフトに対応すべくSI事業拡大を行う。勧告では財閥LGグループとの合弁会社に増資を行い、韓国ソリューション事業の拠点としてトータルソリューションを提供。その他、欧州、東南アジア、台湾にもソリューション事業拠点を設置。

国際情報通信営業統括本部　150人

　システムソリューションビジネスのグローバル展開、オープンストレージ製品、オープンミドルソフト等ハード／ソフトの単体販売、ハード製品の機能を有効に活用させるソフト･またその導入･運用･稼動管理などのサービスをソリューションとして提供するプラットフォーム･ソリューションビジネスを展開。

SATsolver

2005-11-19T16:59:18+09:00

SATsolver

DeductionAlgorithm（パワポ）

DPLL

卒論キックオフ資料　PDF　PPT

ネタ･メモをつらつら書いていこう。

意義

　以下の応用分野に適用できるSATソルバだが、SAT問題はNP完全問題である。何も工夫せずに解こうとすると（総当り）、2のn乗という指数的コストがかかってしまう。要素数がちょっと増えただけで使い物にならなくなってしまうわけだ。SATソルバの大きな目的として、この探索域の削減が挙げられる。調べる必要が無くなった探索域は、ばっさり切り捨ててしまうのだ。

　SATソルバは長年研究が成されていて、最近はDPLLベースのアルゴリズムに落ち着いているらしい。しかしながら、SATCompetitionという大会があるのだが、そこで1位になるようなSATソルバでも制限時間内に解けない問題が沢山ある。まだまだSAT問題は速く解くことが求められている分野だと言えよう。

　また、並列環境をうまく利用する事で、SATの性能を何倍にも上げる研究も成されている。並列化において問題になるのは、如何にうまく探索域を分割するかに尽きる。なのだが、SATソルバにおいて探索域は動的であり、大幅に削減される可能性があるため、均等な分割は不可能といえる。

　SATソルバは2種類ある。『確率的な探索をする事で、素早く充足可能性を見つける。しかし充足不可能性は見出せない』もしくは『虱潰しに探索域を削っていき、最終的に充足可能か充足不可能か判断可能』である。前者は充足可能な問題において力を発揮する。

　並列環境で考える場合、確率的SATソルバと完全SATソルバを両方の考え方を同時に利用することも可能となる。つまり、PE１で確率的な探索を行い、PE2で完全探索を行い、互いに学習したLemma（後で解説する）を交換すれば、互いの速度向上にも繋がるのではないか。この問題は、充足可能性と比べて充足不可能性の判断が時間かかりそう、って点か。

メモ

SATの応用分野

　－AI Planning

　　　動的制約充足問題や不完全制約充足問題などのバリエーションがある。

　－ハードウェア検証

　　　LTTLやITLなどで論理式に変換した後に、CNFに直し、SATを解くことで証明する。

　－ソフトウェア検証

　　　上と同じ。

　－定理証明

　　　SATで証明の検証を行う事が出来る。正当性を示す。

SATの基本用語

　Literal－変数もしくは変数の否定

　Clause－リテラルを論理和（∨）で繋げた物

　Conflict－衝突。まぁ、矛盾の事かね。

　FreeVariable－自由変数。まだ何も割り当てられてない変数。

　Desicion－自由変数を分岐ヒューリスティックに従い、真または偽に割り当てる。

　Implication－Decisionの変数割り当てから決定できる他の自由変数の割り当てを行う。

　CNF（ConjunctiveNormalForm）－SAT問題ではClauseを論理積（∧）で繋げた形で表現される。CNF表現は探索空間を削減するのに役立つ。

　バックトラック－衝突が起きたとき、いくつか前のDesicionの状態にClauseを戻す。

DPLLについて

　大まかに言うと、decision→deduce（Implicationみたいなもん）→analyze_conflictの流れで実行される。

　まぁ詳しいアルゴリズムを見ていこうか。

　Decisionの分岐ヒューリスティック

　　MaximumOccurrencesonMinimumsizedclauses（MOM）

初期に考案されたヒューリスティック。最小Clauseの中で最も多く出現する自由変数を選ぶ。最も多くのClauseを充足させる･伝播させる事を目標とした貪欲アルゴリズムである。ランダムな問題に強い。

　　DynamicLargestCombinedSum（DLIS）

式全体で最も多く出現する自由変数を選択する。各変数の出現回数を記録するカウンタを使うので実装は簡単なのだが、分岐の効果はとても高い。新たな割り当てやバックトラックが発生した時は、カウンタの値を更新しなければならない。

　　VariableStateIndependentDecayingSum（VSIDS）

LearnClauseを使ったヒューリスティック。変数分のカウンタを用意する。カウンタの初期値は変数の出現個数にする。LearnClauseが加えられた時、その分の変数のカウンタを増やす。そして、カウンタの値は定期的に減少させる。最近アクティブだった変数のカウンタ値が高くなる仕組みだね。VSIDSは良い選択をするにも関わらず、全体実行時間に対する実行時間が少ない。

　Deduceアルゴリズム

　　UnitClauseRule

Clause内のLiteralに関して、1つのLiteralを除く全てのLiteralがFalseの場合、残りのLiteralはTrueと割り当てる事が出来る。

　BCPメカニズム

　　変数カウンタ方式

初期に考案された。各Clauseごとにカウンタを用意し、偽と割り当てられたLiteralをカウント。カウンタがClauseのリテラル数－１になったら、UnitClauseとする。問題がMclause　N変数　LLiteralとすると、新たな変数割り当てがあったときに平均してL*M/N　回の更新が必要となる。

　　HeadTailList

Clauseの先頭と末尾をポインタによって監視する。また、各変数は4つのリストを所有する。(正/負のHead/TailなClause番号を保持)。Backtrackに弱い。

　　2-LiteralWatching

Clause中の2つのLiteralをポインタで監視する。ポインタの開始位置はどこでも良い。また、各変数は2つのリストを所有する。詳しくはDeductionAlgorithm（パワポ）を参照。

　Conflict解析

CONFLICTが見つかった時、ソルバはdecisionをUndoし、backtrackをする必要がある。ConflictAnalysisは、矛盾の原因を解明し、ソルバを再開させるのを目的とする。

　　ChronologicalBacktracking

幅優先探索でバックトラックをする。直近のDecisionLevelな変数から順番に、真/偽のどちらか一方を未だ試してない変数が無いか探す。見つけた場合、そこまでバックトラックする。

　　Antecedent of the Variable

UnitClauseによって決定されたClauseのこと。DeductionEngineとしてUnitClauseのみ採用している時に用いられる考え方。

　　Asserting Clause

もしResultClauseのLiteralが全てFalseであるようなら、Assertingと呼ぶ。そしてそのClauseの中で最も最近のDecisionLevelのLiteralが2つ以上重複しない事も条件だ。そして、そのDecisionLevelまでBacktrackする事で、このClauseはUnitClauseとなる。

　データ構造

　　SparseMatrixRepresentation

　　Trie構造

SAT Competition

　どんな感じにCNFを表現してるのか。

　　１．まずコード冒頭のにコメント文を書く。これからやる問題の概要とかを書く。（cを冒頭につける）

　　２．次に、これから解く問題のclause数と変数の数を書く。（p　cnf　変数の数　clauseの数）

　　３．そして、CNF文を書いていく。例えば-3　4　2　-10　0　と書いてあったら、￢３∨４∨２∨￢１０の事である。

Solver

　SatELiteGTI

Tseitin Transformation

　参考リンク：http://fmv.jku.at/papers/BiereKunz-ICCAD02.pdf

(x∨￢a∨￢b)∧(￢x∨a)∧(￢x∨b)
⇔　x=a∧b
x→a
x→b
a∧b→x

S=(Gx∪Rx)∪(G￢x∪R￢x)
S'=S''∪G'∪R'

SatELiteGTIメモ。

./SatELiteGTI +ve+ [benchmark cnf]

zChaffがpave用。

MPI

printenv　

GXX_ROOT=/usr/lib/gcc-lib/i386-redhat-linux/3.3.2

ソフトウェア構成論（中島）

2005-10-18T17:23:46+09:00

課題2メモ。

socket(int protocolfamily ,int type , intprotocol);

ソケットの作成。　失敗すると-1を返す

＜int protocolfamily＞

PF_UNIX	ローカル通信
PF_INET	IPv4 インターネット・プロトコル

＜int type＞

SOCK_STREAM	順序性と信頼性があり、双方向の、接続されたバイト・ストリーム(bytestream)を提供
SOCK_DGRAM	データグラム(接続、信頼性無し、固定最大長メッセージ)をサポート
SOCK_SEQPACKET	固定最大長のデータグラム転送パスに基づいた順序性、信頼性のある双方向の接続に基づいた通信を提供。受け取り側はそれぞれの読み出しシステム・コールごとにパケット全体を読み取ることを要求される。
SOCK_RAW	生のネットワーク・プロトコルへのアクセスを提供する
SOCK_RDM	信頼性はあるが、順序は保証しないデータグラム層を提供する

＜int protocol＞

IPPROTO_TCP	プロトコルとしてTCPを使う
IPPROTO_UDP	プロトコルとしてUDPを使う

int bind(int sockfd , struct sockaddr*myaddr , intaddrlen);

ソケットとポートの結合

＜sockfd＞

　socket()で作成したsocket番号を入れる。

＜struct sockaddr *myaddr＞

実際に使うのは sockaddr_in構造体で、sockaddr型にキャストして使用する。

構成は以下の通り。

struct sockaddr_in{
unsigned short sin_family;//procotolfamily
unsigned short sin_port;//ポート番号
struct in_addr sin_addr;//IPアドレス
}

protocolfamilyは、socket()におけるprotocolfamilyと同じと考える。

使用するポート番号を、TCP/IPネットワークにおけるバイトオーダーに変換するためにuint16_thtons(uint16_tx) という関数を使用する。

また、使用するIPアドレスもTCP/IPネットワークにおけるバイトオーダーに変換するためにuint32_thtonl(uint32_t x)という関数を使用する。

htons	16ビット値をホストのバイト順からネットワークのバイト順に変換（リトル円ディアンからビッグエンディアンへ）
htonl	32ビット値をホストのバイト順からネットワークのバイト順に変換（リトル円ディアンからビッグエンディアンへ）
uint16_t	16ビット符号なし整数
uint32_t	32ビット符号なし整数

構造体を使用する前には

memset(&srcAddr , 0 , sizeof(srcAddr));

のように初期化すると良い。

int listen(int sockfd ,int backlog);

この関数はconnection-orientedなserverで使われ、
connectionを受け取ろうとしていることを示す。
これは socketと bindの関数の後、 accept関数の前に履行される。
backlog引数はacceptされる前にいくつのconnectionのリクエストを
待ち行列にいれるかを指定する。
その最大値は５であり、普通５が取られる。

int accept(int sockfd, structsockaddr *peer, intaddrlen);

clientから実際のconnectionが行なわれたら、 accept関数によって処理される。
acceptは待ち行列にある最初のconnectionを取ってきて
sockfdと同じ性質のもう一つのsocketを作り出す。(newsockfdを返す。）
connection requests がないときは、ブロックされる。

int connect(int sockfd, structsockaddr *servaddr, intaddrlen);

client プロセスはconnect 関数が server と結合を
確立することによってsocketにconnectする。
sockfd は（client側の） socket 関数によって返されたsocketdescriptorである。

富士通

2005-06-09T03:22:18+09:00

TOPへ

富士通

四季報情報

　【求める人材】　「ともかくやってみる」という企業風土のもと、行動力のある人材

　【エントリー情報】　受付開始：12月　終了：定員に達ししだい

　【エントリーシート受付】　10000件（これが受験者数の上限か・・・倍率20倍くらい？）

　【採用プロセス】　筆記　→　1次面接　→　2次面接・TOEIC・グループディスカッション　→　最終面接

　【平均年収】　751万

　【記者評価】　コンピュータ機器、ソフト・サービス、通信、半導体の4本柱。コンピュータは機器のダウンサイジングと競争激化で価格が下落。代わって好採算のソフト・サービスが収益を牽引する。民需低迷の下、e-Japan戦略に乗って官公需狙う。通信は大顧客のNTTが投資を削減、北米の光関連低迷も継続。半導体はフラッシュメモリの価格低下続き、システムLSIに活路探る。リストラで2001、02度と連続巨額赤字となり、03年度は正念場。いち早く導入した成果主義人事制度は、評価方法や実効性の面で疑問の声多し。

色々。見ちゃダメ。面接用。

　多岐にわたる業界に、ITを実用化することで貢献する仕事がやりたいと考えています。
　ITインフラが世の中に行き渡って整備された今、今度はITを用いたサービスが求められています。ITによるサービスが提供されることで、ライフスタイルの幅が広がります。これは言い換えると、社会を変わって行くと言う事です。御社がイメージしているように、ITインフラをフルに活用したサービスを適用したスーパーですとか、オフィスというのが10年後には普通になっている可能性は多いにあります。そのようにITを用いたビジネスというのは今とても活発な市場で、また専門家の数が足りてない市場だと私は考えます。上記の理由から、私はシステムエンジニアでキャリアを積んでいきたいと考えました。
　システムエンジニアの中でも役割分担が幾つかあると思いますが、私が今一番やりたい仕事は官公庁や自治体を初めとした、公共機関に対するシステム提案です。私は小さい頃、長い間外国に住んでいたせいか、日本という国に思い入れがあります。そして今、日本は政府･自治体でITインフラの整備が概ね終了し、電子政府･電子自治体へ移行しつつあります。私は、そのような国を変えていく仕事をしたいです。また、この先何年後か分かりませんが、概ねのサービスが行き渡り、ビジネスとして成り立たなくなる時が来るかもしれません。もしくは、現在ほど専門家の人手が要らなくなる時期が来るかもしれません。そのような時は、海外の政府･自治体へ目を向けたいと考えています。海外には、日本よりもITインフラの整備が遅れている国が沢山存在すると思います。ちょうど日本の電子政府が一段落した頃に、今これから電子政府を実現したいという国が出てくるだろうと私は考えます。それまでの仕事で蓄積したノウハウを活かし、海外の発展に貢献することが出来れば、やりがい的にもビジネス的にも、面白いことになるのではと考えます。何より、日本の会社が海外にも影響力を持つというのはとても素晴らしい事だと思うのです。以上の理由から、グローバル展開に力を入れている御社を志望しました。

　私は、充足可能性問題を解くためのSATソルバを、並列環境下で効率よく実行するための研究をしています。充足可能性問題とは、ある事柄が成立し得るか、矛盾はしていないかという問題で、SAT問題と呼ばれています。このSAT問題の応用分野としましては、人工知能のAI、ハードウェアやソフトウェアの検証、定理証明などが挙げられます。SAT問題は、NP完全問題なので、最悪の場合解くのに指数時間かかります。
　SAT問題を速く解くためには、効率よく探索域を削減しなければなりません。そのためのSATソルバの研究は40年ほど前から今も世界的に続いています。ですが、未だに一定時間内に解けないような問題も数多く存在するようです。
　私は、このSATソルバをうまく並列環境下で実行することで、ソルバの性能を何倍にも上げるという研究をしています。並列化の大きなメリットは、全く異なるタイプのソルバを一緒に扱うことでの性能向上が期待出来ると言う事です。並列化の難しい点としましては、SAT問題では探索域が動的に変化するため、式の均等な分割が不可能なことです。この問題点の解決策を考えることが、当面の課題となっております。

　この先システム設計の仕事をする際に、ソフトウェアの知識だけでなくハードウェアの知識･経験も必要になってくる局面があると思います。私の研究ではLINUXを乗せたクラスタマシンを使用しています。クラスタマシンを個人で所有するのはとても難しいので、クラスタマシンの扱いに慣れる事が出来るこの研究はとてもいい経験だと思っています。そしてこの経験は必ずやシステム設計の仕事で活きてくる局面があると思います。

　ソフトウェアの品質評価をするアルバイトを通じて、品質とはどういうものなのか考えさせられました。学生と社会人の違いは、社会人には納期があり、出来ません、じゃ済まされない点。学生時代は、例えばプログラムを書く時、大まかな設計を頭に入れ、とりあえずプログラムを書きます。そして出来上がったプログラムからバグを取り除く作業を繰り返すことで、作品の完成を目指します。しかしこれは、問題意識のある熟練したプログラマならば極論で言いますと要らない作業です。品質とは、設計段階で各エンジニアが常に気を配る事から実現するものだと、私は学びました。

圧迫面接対策とか。

圧迫面接では主に、『どういう仕事がしたいの？』→『その仕事じゃなきゃ駄目なの？』のような流れで、どう返答しても厳しい質問が投げかけられてくる。

回答例。

面接官『君はどういう仕事がしたいのかね』

私『私は公共分野でシステム構築をするSEでキャリアを築きたいと考えております。』

面接官『ほう、フィールドですか。じゃあ君、その仕事が出来ないとしたら、我が社では働けないのかね。』

私『必ずしもそういう訳ではありません。会社から違う職種を勧められるという事は、それなりの理由･必然性があっての事だと私は考えます。例えば、私が志望している分野は既に専門家が足りている状況にあるのかもしれません。また、ビジネス的観点から見た場合に、会社が勧める分野のほうが将来性があるかもしれません。私は、社会経験がまだまだ少ないため、柔軟に自分のキャリアを見つめなおせるのが、若者の特権だと考えます。無限に広がる自分の可能性を、狭い視野でシャットアウトしてしまうのは、とても勿体無い事だと考えるのです。』

人によっては、自分の道はひとつだけだ!!という人も居るでしょうが、僕はこういうスタンスです。まぁ圧迫面接というのは、このようにある程度論理立てて回答することが出来れば良いんじゃないかな。めげたら負けだよ。

志望動機とか色々。

現在興味のある分野の詳細、理由、こだわり500字。
　私が就職活動を進める際に、留意している点がいくつかあります。公共機関等を始め、多岐に渡る業界に影響力を持つ仕事であるという事です。また、私は情報技術に高い関心を持っていて、ITに関する机上の知識を実用化してサービスを世の中に提供している企業で仕事をしたいと考えています。
現在興味があるのは『基盤システムの開発･運用、IT技術活用の企画･設計･評価や個別技術または製品の適用･支援』に関する業務です。今まで身に着けてきた知識と、業務に必要な知識の方向性が似ていると感じたためです。また、海外向けの業務に興味を持っています。
企業の信頼性というのは、高い技術力は勿論、納期までに高品質な商品を提供する点から生まれると考えます。そのためには高い精度の品質保証が必要になって着ます。『エンジニア一人一人が品質を意識していれば、極論を言うと品質保証という業務は必要が無い』という考えのもと、高い品質とは何たるかを常に念頭に入れ、業務に励むエンジニアでありたいです。将来的にはプロジェクトマネージャを目指したいと考えています。

研究テーマ500字
充足可能性問題(SatisfiabilityProblem:以下SAT)は世界的に研究が成されているNP完全問題です。NP完全問題は決定問題で、多項式時間で計算できないと予想されています。近年数多くのSATソルバが提案されています。SATのアルゴリズムは完全アルゴリズムと確率的アルゴリズムの2種類に分類できます。完全アルゴリズムは解があれば解を見つけるまで探索を続け、解が無い時は解がないことを判定することが出来ます。一方、確率的アルゴリズムは一部の問題を非常に高速に解くことが出来ますが、充足不可能性の判定が出来ません。多くの問題でSATの充足不可能性を判定することが第一意義であるため、完全アルゴリズムの必要性は高いといわれています。
本研究は、SATソルバをクラスタ上で並列実行し高速化することを目的とします。近年、計算機の処理速度は飛躍的に上昇し、計算機を相互接続したクラスタ構成による並列･分散処理に対する期待が高まっています。本研究では、SATcompetitionにて優秀な成績を収めたソルバコアを用いてSATの探索木をクラスタ上で並列探索をし、ソルバを高速化することを目指します。

私は小学校から中学校にかけて5年間ハワイの現地校に通いました。様々な国籍を持つ生徒らと成長を共に過ごし、自分の常識が通用しない人の存在に苦悩する事もありました。同様に相手から見たら私の常識が受け入れがたい事もあったかもしれません。その様な環境で育ったため『物事を決め付けず、色々な考え方を受け入れる』考え方をする様になりました。また物事の問題点･特徴を見出し、分析する事に興味を持つようになりました。

研究課題
　『ＳＡＴソルバのＭＰＩによる並列化』という方向で研究を進めています。

資格
　基本情報技術者

私の特徴　
『物事を決め付けず、人の考えを受け入れる』が私の信念です。私は海外に住んでいた時期があり、それぞれ異なる常識を持つ、様々な国籍の友と成長を共にしたためです

志望動機
　私が就職活動を進める上で、拘っている事があります。１つは公共機関等を始め、多岐に渡る業界に影響力を持つ仕事がしたいという事です。また、私は情報技術に高い関心を持っており、情報技術の習得に喜びを感じる性格です。そのため、情報技術を実用化してサービスを提供するという仕事で自分を伸ばしたいと考え、最も私の考えとマッチしている御社を志望しました。

ソフトウェアの品質評価というアルバイトを通じて、補佐的業務をする有意義さを見出しました。どの様な点でバグが起きやすいかを把握する事で、自分が開発側に回ったときにその経験を活かせるのです。

メモっすよ。

2005-06-07T09:28:31+09:00

就職：採用したい若者いない…県内企業の半数－－若者支援センター調査　／群馬

　◇「意欲」認識に落差
　「若者を採用したいが、採用したい若者がいない」。こんな悩みを企業の人事採用責任者の約半数が抱えていることが、県若者就職支援センターのアンケートで浮かび上がった。企業側が求める仕事への意欲など自分でキャリアを作っていく力（キャリア形成力）について若者はそれほど重視しておらず、これらへの認識を高めることが就職のミスマッチ解消の鍵を握りそうだ。
　アンケートは、今年１月に若者の新規就職者の増加と離職者の減少を目的に実施。無作為に抽出した県内企業３０００社に郵送、人事採用責任者と３０歳未満の正社員を対象に選択式を中心として尋ね、若者に求められる人材の質や企業と若者間の意識ギャップなどを調べた。回収率は人事採用責任者１３％、若者正社員６％。
　調査によると、「採用したい若者がいない」との悩みは、「若者の採用、育成で困っている点は」との選択式の問いに対し４８・２％の人事採用責任者が回答した。
　企業側が採用で重視する２本柱は「キャリア形成力」と「社会人としての考え方・態度」。キャリア形成力の中でも「仕事に対する意欲」を最多の企業（約２５％）が最重視項目に挙げた。
　企業側が若者に身に着けてほしい能力や態度の中で、若者が重視せず認識のギャップが見られたのは、キャリア形成力にかかわる▽自発的行動▽長期勤続意思▽誠実性▽課題発見能力――の４点。同センターは「若者は、やりたい仕事を描けている人が少なく、キャリア形成力の重要性に気付いていない」と分析する。
　一方、若者の正社員の中には▽給与・賞与が安い（４８％）▽経営者の考えや経営方針に共感できない（３６％）▽会社に将来性が感じられない（３４％）――などの不満があった。
　同センターは、「企業側の悩みは若者自身の働く意思や努力が足りないためと言えるが、一方で企業側も若者に夢を抱かせることも大切」と指摘。若者、企業、行政が三位一体となって取り組む必要性を訴えている。

lmntal

2005-06-06T17:56:09+09:00

適当なLMNtalメモ。

実行コマンド　java runtime.FrontEnd

-cp　：　フォルダ名を指定できる　ex.　java-cpbinruntime.FrontEnd

-e　：　直接ソース書き込めるのかな。　ex　javaruntime.FrontEnd-e'p(1).p(2).'

-t　：　トレース。

プログラムの書き方とかサンプルとか。

リストの書き方。
r = [1,3].
r(A) , cons(1,B,A), cons(3,C,B),'[]'(C).

bubble sort
H=[X , Y|R] :- X>Y| H = [Y , X|R].
r=[1,5,2,3,6,8,85,3].

append
R=append([], A) :- R=A.
R=append([H|T], A) :- R=[H|append(T , A)].

局所的に使えるようにするとこうなる。かな？
H = [X | A] :- X mod 2 = 1 | H = A.

ぼちぼちCHRの例題をやってみる。

Greatest Common Divisor(justtworules)　つまり最大公約数を求める
gcd(0):- true.
gcd(N) , gcd(M) :- N =< M | gcd(M mod N).

a(A,B) :- a(A)　とした場合、Bのルールが無いと怒られる。これを回避するために、ガードにunary(B)　と記述する。つまりa(A,B) :- unary(B).　中野的には、「アトム1個がUnary。」

a(X,Y) :- b(X , Y , Y).　とした時、Yが2回出てくるので怒られる。回避するためにはガードにground(Y)と記述する。つまりa(X,Y) :- ground(Y) | b(X , Y , Y).　中野的には「アトムが繋がってground。」

ちなみにa(X,Y) :- ground(Y)| b(X , Y , Y , Y). もOK。

ということは、a(X,Y,Z) :- unary(Z) , ground(Y) | b(X , Y , Y).　ってことかねぇ？

リンクじゃなくて数字の時はint(B)とか使え。

のだめカンタービレﾋｮｰ

2005-05-16T13:27:27+09:00

酔いどれ二宮和子に惚れた人集まれーっ mixi行けよ。

就職

2005-03-06T20:47:32+09:00

TOPへ

就職

リンク

キャリアセンター　（平日　９：３０～１７：0０　　　土曜　９：３０～１２：３０）

みんなの就職活動日記

リクナビ

推薦をもらいたい企業

　第一希望：日立製作所　　第二希望：日本IBM　第三希望：富士通

受けるのがほぼ確定な企業

　NEC･NTTデータ･野村総研･松下電器

　（NTTコミュニケーション･日本HP）

エントリーシート受付

　NTTデータ　3月17日まで

　松下電器　3月31日まで

選考会受付

　NEC　3月22日まで

確定済み　選考プロセス

　NTTデータ　

　　エントリーシート提出　→　Web適正試験　→　筆記試験予約　→　筆記試験　→　一時面接　→　最終面接

NECソフトのエントリーシート

①あなたは「情報処理資格」を取得されていますか？もし所有している場合はその内容を明記してください。（全角200文字）
②英語の資格（TOEIC、TOEFL、英検）を所有している場合はご記入ください。
③英語以外の語学を勉強された方は、その内容（資格等特筆すべき内容を中心に）を明記してください。（全角200文字）
④あなたの人生における最も重要な決断について教えてください。またその時、あなた自身がどのように考え、どのように行動したかもあわせて教えてください。（全角400文字）
⑤あなたが「これだけは他人に負けないくらい優れている」と思うものを教えて下さい。また、それを実証する具体的な例もあわせて教えてください。（全角400文字）
⑥あなたがＮＥＣソフトに入社してやってみたい仕事についてあなたの興味・関心、自身の専攻そして過去のキャリアなどと照らし合わせて具体的に教えてください。（全角200文字）

野村総研のエントリーシート

　NRIでやってみたい仕事(４００字以内）

　面接字に最も聞いて欲しいこと（１０００字以内）

日本IBMのエントリーシート

テーマ１　あなたにとって、これまでの人生の中で、もっとも困難だったことは何ですか？　また、それをどうやって克服したのか、なるべく具体的に教えてください。(500字以内）

テーマ2　あなたは、IBMの中でどのような仕事に取り組みたいと考えていますか？　またその際、どのように自分の強みを生かしたいと考えているかについて述べてください。(500字以内）

テーマ3　IBMに入社してからのキャリアを、あなたはどうデザインしていきたいと考えていますか？
キャリアデザイン講座を参考に、今思うことを率直に書いてください。（400字以内）

＜NTTデータHPにて＞

エントリーシートのご提出はお待ちください

あなたの在籍されている学科は、エントリーシートご提出について調整中です。
エントリーシートがご提出可能になりましたら、改めてメールにてご連絡いたします。
恐れ入りますが、もうしばらくお待ちください。

企業別データ

日立製作所 HP

NEC HP

NECソフト HP

富士通 HP

NTTデータ HP

日本IBM HP

松下電器 HP

野村総研 HP

大塚商会 HP

ヒューレットパッカード HP

TIS HP

終わった事

・上田研にて就職活動面接対策 2005/1/25 16:20～

・早稲田大学進学説明会　2005/2/5　13:00～

･NRI　ITソリューションビジネスセミナー　2005/2/7　13:00～

・NEC　NEC会社説明会　　2005/02/17/09:00 本社ビル

・日立製作所　会社説明会　2005/02/20　12:10(受け付け開始11:40〜) 新宿NSビル

・日立ソフトウェアエンジニアリング株式会社　　2005/02/21　14:00　文京シビックホール

・NTTデータ　EntryForum2005　　2005/02/22　14:00　東京厚生年金会館

ここに何かをWiki

ツカンコ

FrontPage

日立製作所

日立製作所

四季報情報

事業グループ･事業部

情報・通信グループ

SATsolver

SATsolver

メモ

SAT Competition

Solver

ソフトウェア構成論（中島）

富士通

富士通

四季報情報

色々。見ちゃダメ。面接用。

圧迫面接対策とか。

志望動機とか色々。

メモっすよ。

lmntal

適当なLMNtalメモ。

プログラムの書き方とかサンプルとか。

ぼちぼちCHRの例題をやってみる。

のだめカンタービレﾋｮｰ

就職

就職

エントリーシート受付

選考会受付

確定済み 選考プロセス

日立製作所 HP

NEC HP

NECソフト HP

富士通 HP

NTTデータ HP

日本IBM HP

松下電器 HP

野村総研 HP

大塚商会 HP

ヒューレットパッカード HP

TIS HP

終わった事

確定済み　選考プロセス