DSpace コレクション: 2016-12-012016-12-01http://hdl.handle.net/10928/8612024-03-29T11:07:45Z2024-03-29T11:07:45ZWorst case bounds on facial reduction for conic programmingLourenço, Bruno FigueiraMuramatsu, MasakazuTsuchiya, Takashihttp://hdl.handle.net/10928/8722022-03-21T17:00:26Z2016-11-30T15:00:00Zタイトル: Worst case bounds on facial reduction for conic programming
著者: Lourenço, Bruno Figueira; Muramatsu, Masakazu; Tsuchiya, Takashi
抄録: Conic linear programming is a powerful modelling technique with many applications in engineering, planning, statistics and many others. Typically, a conic linear program (CLP) is expressed as the task of minimizing some linear function subject to linear equations and conic constraints. Sometimes, however, the CLPs can exhibit nasty theoretical behavior. This is where regularization techniques come to play. They fix ill-behaved problems and put them in a shape that solvers can successfully handle them. In this note, we present a brief account of Facial Reduction Algorithms and discuss worst case bounds for their termination.2016-11-30T15:00:00Z関数型プログラミング言語における遅延評価機構高野, 保真http://hdl.handle.net/10928/8682022-03-21T17:00:26Z2016-11-30T15:00:00Zタイトル: 関数型プログラミング言語における遅延評価機構
著者: 高野, 保真
抄録: Lazy evaluation is an evaluation strategy in programming languages. Lazy evaluation delays the evaluation of an expression until its value is needed. With lazy evaluation, there are some advantages. One of the advantages enables to avoid unnecessary evaluations. Another advantage enables to help programmers write clear programs. In case of linked list, programmers can divide functions into two kinds, generation of list and consume of list. In this paper, we introduce an overview of lazy evaluation and our continuous research for lazy functional programming languages.2016-11-30T15:00:00Z大学Webページからの研究室Webページの抽出宮崎, 敦也酒井, 浩之坂地, 泰紀http://hdl.handle.net/10928/8692022-03-21T17:00:26Z2016-11-30T15:00:00Zタイトル: 大学Webページからの研究室Webページの抽出
著者: 宮崎, 敦也; 酒井, 浩之; 坂地, 泰紀
抄録: In this paper, we propose a method that extracts laboratory front pages from university web sites. Our method extracts the laboratory front pages by using SVM and applying some rules. Moreover, we developed the laboratory search system which is able to retrieve laboratory front pages extracted by our method. We evaluated our method and it attained 85.0% precision and 65.5% recall, respectively2016-11-30T15:00:00Z信号交差点左折時における横断自転車に対する規範確認行動の分析竹本, 雅憲野中, 智弘http://hdl.handle.net/10928/8702022-03-21T17:00:26Z2016-11-30T15:00:00Zタイトル: 信号交差点左折時における横断自転車に対する規範確認行動の分析
著者: 竹本, 雅憲; 野中, 智弘
抄録: This study aimed to reveal normative precautionary observation for crossing bicycles when turning left at signalized intersections. We analyzed eye movement data of a driving instructor when he drove a vehicle equipped with a driving recorder and four cameras, Through conducting hearing survey with the recorded images and analyzing the experimental data, we concluded that the instructor assumed crossing bicycles closed to a pedestrian crossing from four directions and he checked the existence of crossing bicycles by three steps. Finally, we revealed the sequence of normative precautionary observation which could prevent the accidents with crossing bicycles in all directions.2016-11-30T15:00:00Z