Uzta oparoa Euskararen Egunean (aplikazio informatikoak, Wikipedia, bertsoa, azpitituluak)

[EU]
Gaur, abenduak 3, Euskararen Nazioarteko Eguna ospatzen dugu, eta Euskaraldia kanpainari bukaera emateko ekitaldi oparoa antolatu dugu Informatika Fakultatean.
5 atal hauek izan ditu ekitaldiak: Bertsoak, gure ekarpena Wikipedian, Aplikazio infomatikoen lehiaketako irabazleak eta Ada Lovelace filmerako azpitituluak.
Ez da makala aurtengo uzta! Bejoindeizuela, hori da hori Euskaraldian parte hartzea! 😉


Beñat Molina ikaslearen bertsoak

Hemen dago Beñat Molinaren bertsoen transkripzioa:

Euskarak jasan ta bizi ditu
hainbat mende eta aro
baina o(ra)in euskara bultzatzea
egiten zaie arraro.
Euskaraldiak izan du aurten
onarpen ona zeharo
eta nik txokolatea baino
hainbat hiztun dut nahiago,
o(ra)in arte asko egin den arren
egiteko asko dago.
Egun batean gutxi izanak
orain nahikotxo bagara;
euskara(re)ngatik bota ditugu
hainbat malko ta algara.
Euskaraz dugu guk adierazi
tristura eta zirrara,
zer dela eta egin erdaraz
euskaraz egin (ah)al bada?
Goza dezagun, egin dezagun,
babes dezagun euskara.

Euskal Wikipedian azken bi urteetan egindako lanak

Ana Zelaia irakasleak aurkeztu du (gardenkiak.pdf). 2016an hasita fakultateko 130 ikasletik gora izan dira parte hartzaile, 85 artikulu baino gehiago sortu ditugu. Adibidez artikulu hauek:

Fakultatearen ekarpenaren laburpena:   EHU-Wikipedia Informatika Fakultatean (pdf ,53.31 Kb)
Aurrera begira, gu informatikariak gara. Artikuluak idazteaz gain askoz gehiago egin dezakegu!
Wikidata-tik datu andana jaso dezakegu gure programetan prozesatzeko.
Programak egin ditzakegu Wikidata eta Wikipedia automatikoki elikatzeko, zuzentzeko, aberasteko…
(gardenkiak.pdf)


Euskaraldia – Garapen informatikoak LEHIAKETAren sari-banaketa.
Eta ikasle sarituen lanen aurkezpenak

Kasu bietan egindako programa kode irekian zabaltzen dute ikasleek. Hauek izan dira irabazleak:

  • Euskarazko testu bat Wikitzea, Belarriprestentzako laguntza (Wikitu.zip)
    Laura Prieto, Garazi Urkizu eta Julen Urroz

    Garazi Urkizu, Julen Urroz eta Laura Prieto.

  • Euskaraldia-ko koordinatzaileek txapen banaketa erregistratzeko web aplikazioa (Txapa_banaketa.tar.gz)
    Martxel Eizagirre.

    Martxel Eizagirre


Calculating Ada filmerako euskarazko azpitituluak

Urrian ingelesez ikusi genuen fakultatean Calculating Ada: The Countess of Computing filma. Geroago Iñigo Ortega ikasleak euskarazko azpitituluak sortu ditu. Hemen daude deskargatzeko moduan.
Orain euskarazko azpitituluekin ikus dezakegu filma.

Euskarazko azpitituluak moldatu ditu Iñigo Ortega ikasleak. Calculating Ada: The Countess of Computing.


[ES]

Coincidiendo con el final de la campaña Euskaraldia, esta mañana hemos celebrado el Día del Euskara presentando nuestra cosecha en 2018.

  • El alumno Beñat Molina nos ha aportado un par de versos.
  • La profesora Ana Zelaia nos ha mostrado que desde 2016 130de nuestros alumos y alumnas han participado en la creación de 85 artículos en la Wikipedia en euskera, 🙂
  • Se han entregado los dos premios Euskaraldia-Aplicaciones Informáticas. Han sido estos dos programas de código abierto:
    • Euskarazko testu bat Wikitzea, Belarriprestentzako laguntza (Wikitu.zip)
      Wikificación de un texto en euskera, para su mejor comprensión por las personas Belarriprest
      Laura Prieto, Garazi Urkizu eta Julen Urroz
    • Euskaraldia-ko koordinatzaileek txapen banaketa erregistratzeko web aplikazioa (Txapa_banaketa.rar)
      Aplicación web para el registro del reparto de chapas por los coordinadores de la Euskaraldia
      Martxel Eizagirre.
  • Creación por el alumno Iñigo Ortega de los subtítulos en euskera para la película Calculating Ada: The Countess of Computing que en octubre vimos en la facultad.

STM: Robotika eta feminismoa

[eu] Azaroaren 28an, Jakiunde eta STM-San Telmo museoak antolatutako jardunaldia “Robotika eta feminismoa” gaiaren inguruan.

Bertan, gure fakultateko irakasle diren Txelo Ruiz eta Elena Lazkanok hartu zuten parte.

[es] En el acto organizado por Jakiunde y STM-San Telmo Museoa sobre “Robótica y Feminismo”, celebrado el 28 de noviembre, han participado las profesoras de la facultad Txelo Ruiz y Elena Lazkano.

En la charla se hizo una revisión de la inteligencia artificial, empezando por los trabajos pioneros de Ada Lovelace, pionera de la informática en el siglo XIX. Se revisaron los principales hitos de su historia y se analizó su situación actual, especialmente desde el punto de vista de la ciencia de datos y el big data. Asimismo, se planteó si la perspectiva de género ha tenido influencia (y la tiene) en esta situación, y cómo la inteligencia artificial puede ser un aliado o un enemigo del feminismo.

EUSKARAREN EGUNA: Abenduak 4, 10:20etan Ada Lovelacen

Hurrengo igandean, abenduaren 3an, Euskararen Nazioarteko Eguna izango da. Guk, berriz, hurrengo astelehenean ospatuko dugu fakultean, eta horretarako eskolak eten egingo ditugu, 10:10etik 11:05era arte. Tarte horretan, 40 urte hauetan euskarak fakultatean izan duen eboluzioa kontatuko dizugu, lagun berezi baten laguntzarekin (edo bi lagun berezien laguntzarekin? 😉 …).

Ekitaldia:

     Zer: Euskararen eboluzioa Informatika Fakultatean. Clownklusioak.

     Non: Informatika Fakultateko Ada Lovelace aretoa

     Noiz: Abenduaren 4an, astelehena, 10:20an

     Nork: Kepa Sarasola irakaslea eta Beatriz Egizabal clowna

Honen inguruan, fakultatearen 40. urteurrena dela-eta, bertako kide batzuen eskutik 2 liburuxka idatzi dira aurten:

Azkenik, 2 liburuxken inguruko poster bat ere egin dugu, fakultateko txokoren batean zintzilikatzeko asmoz, baina oraingoz ekitaldira ere eramango duguna. Ikusiko duzu!

ANIMA ZAITEZ ekitaldira! Interesgarria eta dibertigarria izango da eta!


 El próximo domingo, 3 de diciembre, es el Día Internacional del Euskera. En la facultad, sin embargo, lo celebraremos el lunes y para ello interrumpiremos las clases de 10:10 a 11:05. En ese espacio de tiempo os queremos contar la evolución que ha tenido el euskera en la facultad en sus 40 años y para ello contamos con la

Porcentaje de asignaturas que pudo realizar en euskera el alumnado de la facultad en función del año de matriculación

colaboración de un personaje especial (bueno, o de dos personajes especiales en realidad? 😉 …).

Evento:

     Qué: Euskararen eboluzioa Informatika Fakultatean. Clownklusioak.

     Idioma: Euskera

     Dónde: Sala Ada Lovelace de la Facultad de Informática

     Cuándo: Lunes, 4 de diciembre, a las 10:20

     Quién: El profesor Kepa Sarasola y la clown Beatriz Egizabal

 En torno a este tema, y en el contexto del 40 aniversario de la facultad, este año se han escrito dos “librillos”:

 Finalmente, en base a estos dos documentos hemos preparado también un póster, con la intención de colocarlo en alguna pared de la facultad, pero que también llevaremos a la presentación del día 4. Allí podrás verlo!

 ANÍMATE A VENIR a la presentación! Será interesante y divertida!

Klaudio Harluxet pionero en el uso del euskera en la informḿatica desde 1975.

2017/11/28 Hitzaldia / Conferencia: Tecnología Blockchain

Hizlaria /Ponente:  Urko Larrañaga (UPV/EHU – Teknalia)
Izenburua/Título:   Tecnología Blockchain
Hizkuntza/idioma: Gaztelania/Castellano
Data/Fecha:            2017/11/28
Ordua/ Hora:         17:00
Tokia/Lugar:          Ada Lovelace aretoa, Informatika fakultatea UPV/EHU

Resumen:

Blockchain es una de las tecnologías más de moda, pero, ¿que es el Blockchain? ¿La tecnología Blockchain y los Bitcoin son lo mismo? En la charla se detallarán los fundamentos básicos de la tecnología Blockchain, así como los distintos tipos de Blockchain que existen. En base a ello, se mostrarán sus posibles aplicaciones, a través de casos de uso en los que se ha optado por aplicar la tecnología Blockchain.

También se tratará más en detalle una prueba de concepto llevada a cabo para dar solución al problema de la trazabilidad, así como cual es el cometido de la tecnología Blockchainen en el ámbito de las criptomonedas.

Breve CV:

En los últimos años he estudiado y utilizado la tecnología Blockchain tanto en un entorno académico como profesional. Soy empleado de Izertis, empresa en la que formo parte del equipo de Blockchain.

También soy parte de Ikaros TIC Solvers, dónde a día de hoy me encuentro desarrollando un sistema de reputación sobre Blockchain, con el objetivo de crear un sistema donde se gestionen los aspectos de desconfianza entre los distintos participantes de las transacciones.

Desde el punto de vista del desarrollo y gestión del software me interesan especialmente los aspectos relacionados con la ciberseguridad y considero que la tecnología Blockchain será una de las tecnologías disruptivas del futuro por lo cual mi propósito es continuar ahondando en dicha tecnología. He presentado y defendido mi Trabajo Fin de Máster hace dos meses y en la misma estudié y desarrollé una solución al problema de la trazabilidad de los productos a través de Blockchain.

2017_11_30 Hitzaldia/Charla: SAT y SMT para problemas combinatorios

Hizlaria /Ponente:  Mateu Villaret Auselle (Universitat de Girona)
Izenburua/Título:
   SAT y SMT para problemas combinatorios
Hizkuntza/idioma: Gaztelania/Castellano
Data/Fecha:               2017/11/30
Ordua/ Hora:           11:00
Tokia/Lugar:           Ada Lovelace aretoa, Informatika fakultatea UPV/EHU
Antolatzaileak / Organizadores:       Lorea & Ufi Bailab

 [EU]

Laburpena:

Problema konbinatorioak gure eguneroko bizitzaren zati dira. Ikastetxeetako ordutegien prestaketak edo eginkizunen programazio efizienteak, hala nola patata frijituak paketatzeak edo sudokuen gisako denbora-pasek, berezko konplexutasun handia dute, eta denbora esponentzial bat behar izaten dute ebazteko. Problema multzo horren barne SAT aurkitzen dugu: formula proposizional bat betegarria den erabakitzeko problema.

SATen adierazkortasunak beste problema konplexu batzuk hartara murriztu ahal izatea errazten du. Gainera, azken urteetan ikertzaile askoren arreta erakarri du, eta gaur egun milaka klausula eta aldagai dituzten formulak ebazteko gai diren SAT-solver direlakoak azaldu dira.

Hitzaldi honen lehen zatian SAT zer den, SAT-solver-en osagai nagusiak zein diren eta SATen hedapen nagusietako bat zertan datzan azalduko dugu: SAT modulu teoriak delakoa (SMT).

Hitzaldiaren bigarren zatian, problema konbinatorio horiek ebazteko SAT eta SMT nola erabili ditugun azalduko dugu, bereziki zereginen programazio eraginkorraren problema eta modulu teoriak planifikazio-arena.

Curriculum laburra:

Mateu Villaret Gironako Unibertsitateko Professor Agregat da. Unibertsitate horretako Logic & Programming (LAP) ikertaldearen arduraduna izan da 5 urtez. Bere ikerketa logika konputazionalaren inguruan kokatzen da, hasieran dedukzio automatikoaren esparruan, eta azken aldian, problema konbinatorio zailak ebazteko erabiliz. Ikerketa horren fruitu dira izen handiko nazioarteko berrogeita hamar argitalpen, hogeita hamar kolaboratzaile baino gehiagorekin egindakoak.

Universitat Politècnica de Catalunya-n doktore da. Hainbat doktoretza-tesi zuzendu ditu. Horien emaitza dira hainbat tresna lehiakor, hala nola Rantanplan, zenbakizko planifikazioko problemetarako, eta rcpsp2smt zereginen programazioko proble-metarako.

 [ES]

Resumen:

Los problemas combinatorios forman parte de nuestra vida cotidiana. Tanto la confección de horarios en centros educativos, o la programación eficiente de tareas, como el empaquetado de patatas fritas o la resolución de pasatiempos como los sudokus, esconden una complejidad intrínseca extraordinaria que puede requerir de un tiempo exponencial para su resolu-ción. Dentro de esta familia de problemas se encuentra SAT: el problema de decidir si una fórmula proposicional es satisfactible.

La expresividad de SAT hace fácil que se puedan reducir otros problemas complejos a él. Además, en los últimos años ha captado la atención de un gran número de investiga- dores, haciendo que hoy en día existan SAT-solvers capaces de resolver fórmulas con centenares de miles de cláusulas y variables.

En la primera parte de esta charla explica- remos qué es SAT, cuáles son los principales ingredientes de los SAT-solvers y en qué consiste una de las principales extensiones de SAT: SAT módulo teorías (SMT).
En la segunda parte de la charla, explicaremos como hemos utilizado SAT y SMT para resolver dichos problemas combinatorios, en particular el de programación eficiente de tareas y el de planificación módulo teorías.

Mateu Villaret (CV):

Mateu Villaret es Professor Agregat en la Universitat de Girona. Ha sido durante cinco años responsable del grupo de investigación Logic & Programming (LAP) de dicha universidad. Su investigación se enmarca en el entorno de la lógica computacional, ini- cialmente en el ámbito de la deducción automática y últimamente usándola para resolver problemas combinatorios difíciles. Esta investigación se ha concretado en unas cincuenta publicaciones internacionales de prestigio con más de treinta colaboradores.

Es doctor por la Universitat Politècnica de Catalunya. Ha dirigido varias tesis doctora- les fruto de las cuales han surgido diferentes herramientas competitivas como son Rantanplan para problemas de planificación numérica y rcpsp2smt para problemas de programación de tareas.