ブックマーク / www.ipsj.or.jp (9)

  • 萩谷 昌己 君-情報処理学会

    [対象業績]「記号処理プログラミングから分子プログラミングまでプログラミング言語の研究」 昭和57年京都大学数理解析研究所助手,昭和63年京都大学数理解析研究所助教授,平成4年東京大学理学部助教授,平成5年東京大学大学院理学系研究科助教授,平成7年東京大学大学院理学系研究科教授,を経て,現在東京大学大学院情報理工学系研究科教授.会CS 領域財務委員, CS 領域委員長,調査研究運営委員長を歴任.元理事(調査研究担当). [業績推薦理由] 萩谷昌己君は,各種のプログラミング言語,すなわち, Lisp に代表される記号処理言語, Lispを理想化した関数型言語, Prologに代表される論理型言語,さらにJavaに代表されるオブジェクト指向言語に関して,様々な処理系の開発を行うとともに,意味論,型理論,検証系などの基礎理論に関する研究を幅広く推進して来た.東京大学の学生時代は佐藤雅彦氏ととも

    萩谷 昌己 君-情報処理学会
    zu2
    zu2 2023/05/05
  • デジタルプラクティス

    UNIX系OSが組込み機器にも数多く用いられている.現在の組込み機器は32ビットのシステムも多く,32ビット版のUNIX系OSが用いられる場合も多い.32ビットのUNIX系OSでは,時刻情報を32ビット符号付き整数型で管理しており,2038年に時刻情報のオーバーフローが起きることが分かっている.この問題への具体的な対策事例の報告はあまりされていない.稿では,2038年以降も動作保証が必要な組込み機器において,2038年を超えて機器が利用できるよう,UNIX時刻の起点を変更することで問題を回避し,製品化に成功した事例を報告する. 1.はじめに 組込み機器の高機能化に伴い,そのOSとしてLinux,FreeBSDなどのUNIX系OSが一般的に用いられている[1].これらのOSは,ターゲットシステムの進化に伴い32ビットから64ビットに移行されることも多い[2]. しかし,組込み機器の開発では

    デジタルプラクティス
    zu2
    zu2 2020/06/01
    ntpとか外部プログラムはどうやったんだろう?
  • 【重要】第82回全国大会における新型コロナウイルス感染症への対策について-情報処理学会

    情報処理学会では、新型コロナウイルス感染が拡大している現状を踏まえ、第82回全国大会(3月5日~7日、金沢工業大学)の現地開催を中止する判断に至りました。現在、プログラムの一部のオンライン開催などの可能性を検討しております。また下記のコンテストについてはオンラインで審査を行う予定です。詳細は追ってアナウンスさせていただきます。ご迷惑をおかけいたしますが、ご理解・ご協力下さいますようお願い申し上げます。 中高生情報学研究コンテスト 第8回国際人工知能プログラミングコンテスト(SamurAI Coding 2019-20)

    【重要】第82回全国大会における新型コロナウイルス感染症への対策について-情報処理学会
    zu2
    zu2 2020/02/21
  • 「情報処理学会公式LINEスタンプ」一部イラストを配布開始-情報処理学会

    このたび、LINE の公式オンライストア「LINE STORE」に情報処理学会公式LINE スタンプ#include < 情報系技術者の日常.h> をリリースいたしました(プレスリリースはこちら)。このスタンプの一部のイラストを、LINE 以外でも画像ファイルとして使用していただけるように無料でダウンロードできるようにいたします。ぜひダウンロードして研究発表や資料作成などにご利用ください。 なお、ご利用になられる場合には、下記の条件に従ってください。 <情報処理学会LINEスタンプイラストの使用条件> 1.利用者個人で使用することとし、当会の許可なく再配布・販売を行わないこと。 2.等倍率による拡大・縮小以外の変更はしないこと。 3.公序良俗に反する目的での利用、素材のイメージを著しく損なうような利用を行わないこと。 4.当会から別途要望がある場合、速やかに当該要望に従ってイラスト使用態

    「情報処理学会公式LINEスタンプ」一部イラストを配布開始-情報処理学会
    zu2
    zu2 2017/03/01
  • 2014年度長尾真記念特別賞-情報処理学会

    荒川  豊 君(正会員) 「人に寄り添うモバイルアプリケーションに関する先駆的かつ実証的研究」 2001年慶應義塾大学理工学部情報工学科卒業.2003年同大学大学院修士課程修了.2006年同大学大学院博士課程修了.博士(工学).同年より同大学大学院特別研究助手.2009年3月より九州大学大学院システム情報科学研究院助教, フランスENSEEIHTおよびドイツDFKIでの客員研究員を経て,2013年3月より奈良先端科学技術大学院大学准教授.現在に至る.主として,ネットワークアプリケーション, ソーシャルデータマイニングに関する研究に従事.  APCC 2008 Best Paper Award(2008), MBL研究会優秀論文賞(2009, 2011, 2013),DICOMO優秀論文賞(2010, 2013), DICOMO優秀プレゼンテーション賞(2010),山下記念研究賞(2011)

    2014年度長尾真記念特別賞-情報処理学会
    zu2
    zu2 2015/06/07
  • 「世界最先端IT国家創造宣言」に対する意見-情報処理学会

    以下のとおり,2015年5月27日付で意見書を提出しましたので,ご報告いたします. (協力:情報システムと社会環境(IS)研究会) 以下の通り意見を提出しますので宜しくご査収ください. 情報処理学会は,平成25年6月の「世界最先端IT国家創造宣言」に対する意見募集,および平成26年6月の「同改定(案)」に対する意見募集に応じて継続して意見を提出してきており,今回の意見募集についても学会内で意見を募りました.今後の「創造宣言」推進方策や改訂検討のご参考になれば幸いです.既に提出した意見でも繰り返し述べているように,情報処理学会はIT利活用を成長戦略の柱と位置づける「創造宣言」を大いに支持し,学術・科学技術教育の側面から積極的に貢献してゆく所存です. (1)[全般に関して] 工程進捗情報の公開と共有 今回は「創造宣言」体に対する意見募集となっていますが,今後の推進方法や改訂に対して意味ある

    「世界最先端IT国家創造宣言」に対する意見-情報処理学会
    zu2
    zu2 2015/06/02
    “せっかくの公共オープンデータも,時間が経過すると利用できなくなってしまう状況に陥るとその価値が大きく損なわれてしまいます”
  • [プレスリリース]情報処理学会とニコニコが提携-情報処理学会

    一般社団法人 情報処理学会(部:東京都千代田区、会長:喜連川 優)と株式会社ドワンゴ(社:東京都中央区、代表取締役社長:荒木隆司)及び株式会社ニワンゴ(社:東京都中央区、代表取締役:杉誠司)は、情報処理学会の学術コンテンツ(動画や論文など)をドワンゴのniconico(ニコニコ動画など)を活用して配信することで、より一層効果的に学術研究の推進と社会への貢献に取り組むべく提携いたします。日学術会議協力学術研究団体と動画共有サイト運営企業が提携する初めての事例となります。 提携の最初の取組として、2015年3月17日(火)~19日(木)に京都大学で開催される「情報処理学会第77回全国大会」をニコニコ生放送で生中継いたします。また、情報処理学会は公式ニコニコチャンネルを開設し、学術講演などの生中継(ニコニコ生放送)を実施するとともに、永続的なアーカイブを行います。さらに今後はニコニコで

    [プレスリリース]情報処理学会とニコニコが提携-情報処理学会
    zu2
    zu2 2015/01/08
  • untitled

    zu2
    zu2 2013/06/10
  • 情報処理学会が日本将棋連盟に「コンピュータ将棋」で挑戦状 - 情報処理学会

    社団法人情報処理学会(会長:白鳥則郎)は、コンピュータ将棋でトッププロ棋士との公開対局を望むべく、社団法人日将棋連盟に対し挑戦状を送りました。 対戦は今秋から順次実施予定であり、具体的な日時・対戦場所は決定次第広報いたします。 ●件に関するFAQ 挑戦状 社団法人 日将棋連盟 会長 米長 邦雄 殿 コンピュータ将棋を作り始めてから 苦節三十五年 修行に継ぐ修行 研鑚に継ぐ研鑚を行い 漸くにして名人に伍する力ありと 情報処理学会が認める迄に強い コンピューター将棋を完成致しました 茲に社団法人 日将棋連盟殿に 挑戦するものであります 平成ニ十ニ年四月二日 社団法人 情報処理学会 会 長  白鳥 則郎 社団法人 情報処理学会 会長 白鳥 則郎 殿 挑戦状確かに承りました いい度胸をしていると その不遜な態度に感服仕った次第 女流棋士会も誕生して三十五年 奇しくも同年であります 今回は初

    zu2
    zu2 2010/04/03
    天下一将棋会の音楽をBGMで流すとか
  • 1