情報玉手箱

  • ホーム
  • 特集
    • AIとどう付き合っていますか
    • 非機械学習AI –論理によるAI–
    • 知能システム学の博士論文
    • 高校生,あるいは高校生の心をもった人へのメッセージ
    • サイエンス・ウィズ・情報
    • 弱きを助ける情報学
    • 情報システム学とセキュリティ
    • 情報学の研究者たちの喜怒哀楽
    • 最適化技術の応用・実践
    • 見えない現象を見える化する
    • 身体の情報処理がこころをつくる
    • 情報学と名大スパコン不老
    • 情報学と自然言語処理
    • 新型コロナと情報
  • 情報玉手箱とは
  • Menu

  • Sidebar

  • Prev

  • Next

  • Search

  1. ホーム>
  2. 情報システム学専攻

教員紹介:酒井 正彦(さかい まさひこ)

研究内容

「虫のいないプログラムはない」といわれるほど、誤りのないプログラムを作るのが大変な作業であることはよく知られています。プログラムの正しさの定式化には、まず最初にプログラムが持つ意味を数学的に定める必要があります。現在、プログラムが持つ基本的な性質の研究を進めており、プログラムの持つ性質を自動証明するための枠組みやその基礎技術、与えられたプログラムと意味が同じであるがより効率的なプログラムに変換する方法などについて研究しています。これらを通して、信頼性が高くて効率の良いソフトウエアの作成法の開発を目指しています。この他、組合せ制約を解くための仕組みや、ソフトウェア保護のための難解言語、自動採譜などについても、これまで行ってきた理論研究を活かした研究活動を行っています。

プロジェクトとソフトウェア

  • 難解言語Malbolge
  • 擬ブール制約ソルバ NaPS
  • SQLに基づく組合せ最適化ソルバ CombSQL+
  • 自動採譜プロジェクト qparse
  • 音声つきスライド支援 show-pdf-slides  デモ  関連記事(情報玉手箱)

所属・連絡先など

  • 情報システム学専攻 計算論講座/コンピュータ科学科 情報システム系
  • Webサイト:https://www.trs.css.i.nagoya-u.ac.jp/person/sakai/
  • E-mail:sakai “at” i.nagoya-u.ac.jp

2021年1月5日情報システム学専攻項書換え系, 難解言語, 自動採譜, 教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系, 組合せ最適化

Posted by 酒井 正彦

教員紹介:松原 茂樹(まつばら しげき)
Next
教員紹介:山本 雅基(やまもと まさき)
Prev

関連記事

No Image

教員紹介: 佐藤 潤也(さとう じゅんや)

研究内容 数論、特に類数に関心を持っています。『類数とは?』を簡単に説明する事は ...

No Image

日本ソフトウェア科学会より研究論文賞を受賞しました。(情報システム学専攻 中澤巧爾 准教授)

No Image

教員紹介:村瀬 勉 (むらせ つとむ) Tutomu MURASE

研究内容 私は、スマート社会実現のための安全安心快適ネットワークの構築技術を研究 ...

No Image

教員紹介: 増田 豊 (ますだ ゆたか)

研究内容 集積回路の潜在能力を引き出す設計技術  私たちが日々利用する情報技術は ...

No Image

ミニ特集「情報学と自然言語処理」:対話システム研究のこれから

はじめに スマートフォン上の音声インタフェースやAIスピーカー,ペッパーなどのコ ...

タグ

アルゴリズム イベント案内・報告 グローバルメディア研究センター ゲノム コンピュータ科学科 プログラム検証 プログラム逆化 メタヒューリスティクス 人間・社会情報学科 仮想生物 価値創造研究センター 可逆計算 学会発表 心理・認知科学専攻 心理・認知科学系 情報システム学専攻 情報システム系 教員紹介 数理情報学専攻 数理情報系 海外派遣助成 海外渡航 生物リズム 知能システム学専攻 知能システム系 研究グループ紹介 社会情報学専攻 社会情報系 組合せ最適化 組込みシステム研究センター 自然情報学科 著作物紹介 複雑システム系 複雑系科学 複雑系科学専攻 複雑系計算論 複雑系計算論講座 触覚のVR 触覚センサ 触覚ロボット 計算モデル 認知科学 進化 項書換え系 鳥の歌

Copyright © 2025 情報玉手箱 All Rights Reserved.

WordPress Luxeritas Theme is provided by "Thought is free".

PAGE TOP