研究テーマ 時相論理 (1989年〜1990年) 特別研究報告書 (卒業論文) 「並列分解に基づく順序機械の正則時相論理による形式的検証」 (PDF) 非決定性オートマトン (1990年〜1992年) LA シンポジウム 「非決定性有限オートマトンの状態数最小化」 (PDF) Master Thesis 「Minimization of Nondeterministic Finite Automata」 (PDF) 遺伝的アルゴリズム (1992年〜2000年) 情報処理学会 第 46 回全国大会 「遺伝的アルゴリズムによる TSP の高速解法」 (JAVA によるデモ) 情報処理学会 第 47 回全国大会 「遺伝的アルゴリズムの最適解探索能力に関する評価 ---GA と SA の比較---」 (PDF) 情報処理学会 第二回数理モデル化と問題解決研究会 研究報告 95-MPS-2 「GA
DSAS のメンテナンスは,基本的に ssh を使ったリモートメンテナンスで済んでしまいます.夜中や休日に非常事態が起こったとしても,ネットワーク接続さえ確保できればその場で対応できます.ただ,さすがにインターネットから DSAS に直接 ssh できる様にしておくのは一抹の不安があります.ですので,DSAS への ssh 接続は社内のサーバからのみ許すようにしておいて,外からログインする必要があるときは一旦社内のサーバを経由することにしています. このような形にしている場合,DSAS にログインしようとする際は,一旦社内のサーバに ssh 接続する必要があって,小さなことですが一手間かかってしまいます.できればワンステップで接続できる方法が無いかと思って色々検索してみた(※)ところ,このページで ProxyCommand という設定項目を見つけました(見つけたのがボスの個人サイトなのは本
最近発掘されて局所的な話題と人気をかっさらった、DQN系ファッション雑誌『メンズナックル』のコピーですけれども、「本当に毎号あんなテンションなのか」というのを確かめるべく、最新号を買ってきました。 もうね、目次の特集タイトルからしてヤバい。 ~知っているか? ゴールドを粋に見せるだけで女がオチるってことを!~ ●伊達ワル”ゴールド”で男のエロスを覚醒させろ! ~いつだってエロくなきゃ伊達ワルとは言えない~ ●ストール&ネクタイが今季確実にモテる男の条件だ!! ~この冬、勝ちたい男にささげるワルモテJKT特集~ ●激ワル!激モテ!ジャケット50 知っているか…?という自信150%なこの問いかけ。もちろん僕は知りませんでした。あと、「エロくなきゃ…」のくだりは新鮮というか衝撃というか、彼らは「エロい」というのを褒め言葉として使っているんですよね…!かなり付いていくのが難しい言語感覚ではあります
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く